manticore

manticore

Python Package Index

Releases1.22K

Frequency2 days

Last Release over 2 years ago

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.

Log in to subscribe

Linked projects

Python Package Index

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.

trailofbits/manticore

Symbolic execution tool