私のBookShelf

Data Flow Analysis – Applications Overview of DFA Preliminaries of DFA Reaching Definitions Analysis Live Variables Analysis Available Expressions Analysis Overview How Data Flows on CFG? How application-specific Data <- Abstraction Flows through the

静态分析 第二课 IR、3AC and CFG Intermediate Representation——中间表示 特性：简便的、有利于静态程序分析 源程序->IR Compilers and Static Analyzers AST vs IR IR: Three-Address Code(3AC) 3AC in Real Static Analyzer: Soot Static SIgnal ssignment(SSA) Basic Blocks(BB) Control Flow Graphs(

静态分析 第一课 静态分析介绍 本人是北邮19级学生，最近需要使用soot进行java静态分析，但是没有任何静态分析的基础，在北邮人论坛里学长给我推荐了B站南京大学的一个软件分析的网课，感触颇深 这是本人的个人笔记，记得不是很全，主要是为了自己能看得懂 下面这个是南京大学学长的笔记，我认为很有参考价值 https://blog.youkuaiyun.com/zhang971105/article/details/109046458 PL和静态分析 为什么学习静态分析 什么是静态分析 静态分析特征和例子 PL Pro