Tags

51 个页面

符号执行

Manticore发现ENS漏洞 - 智能合约安全分析实战

当心语言陷阱：Trail of Bits首次Vyper智能合约审计报告

使用DeepState进行API模糊测试（第一部分）——深入解析红黑树测试

DeepState 集成集成式模糊测试技术解析

Manticore：面向人类的符号执行工具 - 技术解析与应用案例

使用符号执行与区块链尸检——Trail of Bits在Devcon IV的技术实践

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

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

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

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