Top #symbolic-execution Tools & Software

Explore 2 hand-picked tools and software tagged with symbolic-execution — ranked by popularity and community signals.

Popular Trending Recent Name A-Z

mythril

github

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

Security Python
★ 4,237

manticore

github

Symbolic execution tool

Security Python
★ 3,847