Tags

51 个页面

符号执行

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

使用符号执行驯服受nanomite保护的MIPS二进制文件：No Such Crackme

模糊测试与符号执行的云端融合：GRR与PySymEmu的技术突破

首个Vyper审计：探索区块链语言的安全边界

使用Manticore和符号执行技术发现智能合约漏洞

深入浅出符号执行技术：mcsema与KLEE的二进制分析突破

渗透测试盛会Infiltrate：二进制分析与漏洞研究的前沿技术

在密码学原语上执行混合符号执行：Sandshrew工具解析

以太坊安全实战：智能合约漏洞挖掘与防御技术解析

ManticoreUI 图形化符号执行工具的优化与漏洞挖掘实践