静态分析
文章平均质量分 94
Cross_Entropy
这个作者很懒,什么都没留下…
展开
-
《软件分析》课程笔记(一)
熊英飞老师《软件分析》课程笔记视频链接:https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW原创 2021-07-13 16:15:31 · 541 阅读 · 1 评论 -
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis 通过路径依赖分析计算析取形式的循环总结
摘要对于程序分析来说,循环是非常难以处理的结构,特别是多种路径相互交错的复杂循环。文章首先基于在循环条件中的变量的更新和循环路径的执行顺序对多路径的循环进行分类,进而来理解循环的复杂性。之后,文章提出分析框架Proteus。该框架把循环和我们感兴趣的变量集合作为输入,然后通过分析,可以得到关于这些变量经过循环之后的变化情况的摘要。文章主要的贡献是利用路径依赖自动机(path dependency automaton, PDA)来捕获路径之间的执行依赖。然后利用DFS遍历PDA来对所有可行的执行路径的原创 2021-06-30 15:14:32 · 256 阅读 · 0 评论 -
文献阅读:通过溯因推理生成不变式 Inductive Invariant Generation via Abductive Inference
摘要原创 2021-06-05 18:58:17 · 342 阅读 · 0 评论 -
静态分析:Intermediate Representation
文章目录Intermediate Representation1. 编译器和静态分析器2. AST vs. IR3. IR: Three-Address Code(3AC)4. 3AC在静态分析中的实际应用:Soot5. Static Single Assignment(SSA)Control Flow Analysis6. Basic Blocks(BB)7. Control Flow Graphs(CFG)Intermediate Representation类似编译器会把 source code原创 2021-02-28 14:27:32 · 633 阅读 · 1 评论