Paper Open Original ↗
Manticore: Symbolic Execution for Binaries and Smart Contracts
Type
Academic paper
Client
—
Date
2019
Domain
Systems
Effort
—
Section
—
Related
- 2026-02 Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits Talk
- 2026 Auditing Scapy With Agents Talk
- 2025 Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software Talk
- 2025 Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge Talk
- 2025 Buttercup and DARPA's AI Cyber Challenge, Ringzer0 Talk
- 2025 Our experience competing in the AI Cyber Challenge Talk
