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

Static Analysis

Static analysis analyzes a program P to reason about its behaviors and determines whether it satisfies some properties before running P.
e.g: 是否有潜在内存泄漏
Static Analysis一般是对实际程序模型的简化，使结果保持sound, imprecise, cheap，设计时应保证abstract+overapproximation

Over-approximation

Transfer functions： how to evaluate different program statements on abstract values，一般需要根据问题特别设计
Control flow