Tags

25 个页面

动态分析

DIFFER：革新程序转换验证的智能测试工具

DIFFER：革新程序转换验证的差分测试工具

Manticore：面向人类的符号执行工具

Go语言中正确使用Panic与Recover的技术指南

驯服文件解析风险的两款新工具：PolyFile与PolyTracker

动态程序分析的挑战与静态分析工具PointsTo的解决方案

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

从零开始构建LLVM Sanitizer：编译器与运行时分析实战

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

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