软件动态分析方法概览

摘要 综述了软件动态分析方法，主要侧重于软件安全验证工具支持的适用于系统软件的方法。其中详细介绍了模糊分析、运行时验证和动态符号执行技术。由于收集动态污点数据分析方法和工具的技术细节比较复杂，因此不包括这些方法和工具。对模糊处理和动态符号执行的审查主要集中在解决工具运行过程中出现的各种问题的技术，而不是数量超过 100 的特定工具。此外，还考虑了模糊对抗技术。