Manticore
Audit de Smart ContractsGratuit
// DESCRIPTION
Symbolic execution tool for analysis of binaries and smart contracts.
// TAGS
symbolicethereumpythonanalysis
3,700 stars
0 views
1/26/2026
[ AD_SLOT: resource-content ]
// RELATED_RESOURCES
En vedette
Slither
Audit de Smart ContractsStatic analyzer for Solidity smart contracts. Automatically detects vulnerabilities.
solidityethereumaudit
ACCÈS
En vedette
Mythril
Audit de Smart ContractsSecurity analysis tool for EVM smart contracts. Symbolic execution.
ethereumsoliditysymbolic
3,900
ACCÈS
En vedette
Aderyn
Audit de Smart ContractsRust-based static analyzer for Solidity contract vulnerabilities.
soliditystatic-analysisrust
1,200
ACCÈS
En vedette
Echidna
Audit de Smart ContractsProperty-based fuzzer for Ethereum smart contracts.
fuzzingethereumhaskell
2,700
ACCÈS