主要围绕静态审计的定位，介绍静态分析的本质及开源静态分析技术的发展；针对如何进行自动化分析、如何分析变量函数之间的关联、如何提高静态分析的准确度等问题提出一些解决措施。从而引出对静态审计的局限与发展的思考
目标定位
思路|关联
局限|展望
2021-08-08 13:00:13
4.64MB