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