2025年10月10日 — 软件分析测试与验证
[SATV 0x01] Introduction: Program Analysis
#软件分析
分类
软件分析测试与验证
共 10 篇
2025年10月10日 — 软件分析测试与验证
[SATV 0x02] The LLVM Framework
#LLVM
#IR
2025年10月10日 — 软件分析测试与验证
[SATV 0x03] Software Specifications
#软件测试理论
2025年10月10日 — 软件分析测试与验证
[SATV 0x04] Random (Fuzz) Testing
#fuzz
2025年10月10日 — 软件分析测试与验证
[SATV 0x05] Metamorphic Testing & Property-based Testing
#蜕变测试
#性质测试
2025年10月10日 — 软件分析测试与验证
[SATV 0x06] Delta Debugging
#deltaDebugging
2025年10月10日 — 软件分析测试与验证
[SATV 0x07] Data Flow Analysis
#数据流分析
2025年10月10日 — 软件分析测试与验证
[SATV 0x08] Pointer Analysis
#指针分析
2025年10月10日 — 软件分析测试与验证
[SATV 0x09] Taint Analysis
#信息流分析
#污点分析
2025年10月10日 — 软件分析测试与验证
[SATV 0x0a] Dynamic Symbolic Execution
#符号执行