Tags

15 个页面

符号执行

Manticore 0.3.0发布：符号执行引擎的重大升级

智能合约验证变得更简单 - Manticore验证工具详解

Maat：让符号执行变得简单 - 跨架构多功能符号执行框架

2017年度回顾：自动化漏洞挖掘、符号执行与区块链安全的技术突破

四月渗透季 - Trail of Bits博客聚焦二进制分析与漏洞研究