分类：静态分析

2021
07-06

详解静态分析技术符号执行

目录1.引言2.关于符号执行的一个故事3.经典的符号执行技术4.现代符号执行技术5.主要挑战和解决方案5.1.路径爆炸(PathExplosion)5.2.约束求解(ConstraintSolving)5.3.内存建模(MemoryModeling)6.符号执行工具7.结束语1.引言程序静态分析（ProgramStaticAnalysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护... 继续阅读 >