最近在学习软件分析相关知识的过程中，很多老师都推荐了Soot这个代码分析工具，所以我就去学习了一下soot的基本用法。soot项目在github上的地址为：https://github.com/Sab ...

本文是针对南京大学《软件分析》谭添老师的视频课的课堂笔记。 1.Motivation 此前我们讨论的问题都是过程内的，也就是不涉及到方法调用。然而实际程序中方法调用屡见不鲜，继续采用之前的分析方法 ...

本文是对于南京大学李樾和谭添老师开设的《软件分析》课程视频的笔记总结。相对应的视频在可以再B站上观看。 1.Motivation 上节回顾 在笔记3里我学习了CHA有关的概念和用法，用一个例子来 ...

长期以来，SAP提供的标准ABAP开发工具是我们对代码进行检查的唯一方式。这意味着我们只能对ABAP服务器上的ABAP代码做出分析，而离线代码则成为了纯粹的文本，开发者无法对其进行检查。abaplin ...

1.背景 中间代码是指一种应用于抽象机器的编程语言，它设计的目的，是用来帮助我们分析计算机程序。在编译的过程中，编译器会在将源代码转换成目标机器上机器码的过程中，先把源代码转换成一种中间的表述形式。 ...

1数据流分析基础 1.1停机问题-抽象方法 针对基础篇中的停机问题，我们可以试用抽象方法去尝试解决问题。邪恶程序存在的关键在于程序中有if存在 。因此可以采取以下方式。 1.1.1忽略掉所有程序 ...

对于指针分析尤其是Java指针分析来说，上下文敏感是最有效的提升精度的方法，上下文敏感的指针分析是指针分析领域最近几年研究的热点，上下文敏感不是指针分析独有的技术，理论上所有跨函数间的分析都会涉及到上 ...

本文是对于北京大学熊英飞老师《软件分析》课件以及南京大学李樾老师《软件分析》课程视频的总结。 1.哥德尔不完备定理及其在软件分析中应用 1.1定理内容 对任意能表示自然数的系统，一定有定理不能 ...

...

摘要：从云服务厂商的角度来给大家介绍一下，当前业界围绕该领域要做哪些事情。 本文分享自华为云社区《基于软件分析的智能化开发新型服务与技术》，作者：敏捷的小智 。 本文以技术文章的方式回顾梁老 ...