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

版权声明：本文为xuesu原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://www.cnblogs.com/xuesu/p/14234198.html