Tags

51 个页面

符号执行

Maat：让符号执行变得简单高效

密码学原语的混合执行分析：Sandshrew工具实战解析

使用DeepState进行API模糊测试实战（第二部分）——变异测试与符号执行深度解析

混合模糊测试：强化Echidna的漏洞挖掘能力

深入探索符号执行：使用KLEE与mcsema分析二进制文件

使用DeepState与Eclipser进行单元测试模糊测试：突破传统符号执行的限制

Manticore GUI 轻松上手 - 符号执行引擎的交互式插件开发

使用DeepState和Eclipser进行模糊单元测试：高效漏洞挖掘新方案

使用KLEE-Native进行二进制符号执行：漏洞挖掘新范式

使用DeepState和Eclipser进行单元测试模糊测试