Tags

51 个页面

符号执行

智能合约验证新利器：Manticore-Verifier 简化安全属性测试

使用DeepState进行API模糊测试（第一部分）

2017年回顾：自动化漏洞发现、符号执行与区块链安全突破

混合模糊测试：强化Echidna的尖刺

Manticore中的符号路径合并技术解析

加密技术实战指南：构建安全应用的密码学基石

使用DeepState进行API模糊测试（第二部分）：变异测试与符号执行

Maat：让符号执行触手可及

ManticoreUI 改造之旅：提升符号执行与漏洞挖掘效率

深入解析Vyper：首个智能合约语言安全审计报告