Proj

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis

Iterative algo, Another View Old View: New View: 每次迭代都是 […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 16 CFL-Reachability and IFDS

Feasible and Realizable Paths Given a path, determine w […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 15 Soundiness

Soundness & Soundiness Soundness: the analysis capt […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 01 Intro

Static Analysis Static analysis analyzes a program P to […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 08 Pointer Analysis && 09 Pointer Analysis Foundations (I)

Motivation 明显，类层次分析没法很好完成invokeinterface的分析。 Intro 作用： […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 11 Pointer Analysis Context Sensitivity

Problem of Context-Insensitive Pointer Analysis 明显Java的 […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 02 Intermediate Representation

程序编译过程源码首先经过Scanner/Lexer做词法分析成为token stream，接着，再经过par […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 07 Interprocedural Analysis

Motivation 目的：处理method calls 方法：沿着interprocedural contr […]

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 14 Datalog-Based Program Analysis

Motivation 目的：套用数理逻辑思路 Datalog：声明式语言（这里需要和c++这种命令式语言做出区 […]