STM Registry

This website is an open-source, non-profit, regularly updated online registry for smart contract threat mitigation (STM Registry).

Contact e-mail: ivanovn1 [at] msu [dot] edu

We welcome suggestions and corrections.

• STM-001: Oyente
• STM-002: Mythril
• STM-003: Securify
• STM-004: Maian
• STM-005: Manticore
• STM-006: KEVM
• STM-007: ZEUS
• STM-008: Sereum aka Seth
• STM-009: ECFChecker
• STM-010: teEther
• STM-011: Hydra
• STM-012: Erays
• STM-013: TokenScope
• STM-014: Osiris
• STM-015: Vandal
• STM-016: FSolidM
• STM-017: ContractFuzzer
• STM-018: S-GRAM/Ether*
• STM-019: MadMax
• STM-020: SmartCheck
• STM-021: ReGuard
• STM-022: GASPER
• STM-023:
• STM-024: Lolisa
• STM-025: SASC
• STM-026:
• STM-027: Solidity* / EVM*
• STM-028:
• STM-029: Model-Checking
• STM-030: EtherTrust
• STM-031: Flint
• STM-032: HoneyBadger
• STM-033: ILF
• STM-034: VeriSolid
• STM-035: solc-verify
• STM-036: Slither
• STM-037: sCompile
• STM-038: NPChecker
• STM-039: BitML
• STM-040: CESC
• STM-041: EasyFlow
• STM-042: VULTRON
• STM-043: SAFEVM
• STM-044: EthRacer
• STM-045: SolidityCheck
• STM-046: EVMFuzz
• STM-047: EVulHunter
• STM-048: GasFuzz aka V-Gas
• STM-049: NeuCheck
• STM-050: SolAnalyser + MuContract
• STM-051: SoliAudit
• STM-052: MPro
• STM-053:
• STM-054: Gastap
• STM-055:
• STM-056: KSolidity
• STM-057: VerX
• STM-058: VeriSmart
• STM-059: TxSpector
• STM-060:
• STM-061: ETHBMC
• STM-062: SODA
• STM-063: eThor
• STM-064: ÆGIS
• STM-065: SafePay
• STM-066: Solar
• STM-067: EVMFuzzer
• STM-068: ModCon
• STM-069: Harvey
• STM-070: Solythesis
• STM-071: Ethainter
• STM-072: sFuzz
• STM-073: Seraph
• STM-074: Clairvoyance
• STM-075: Artemis
• STM-076: Echidna
• STM-077: EShield
• STM-078: SMARTSHIELD
• STM-079: ETHPLOIT
• STM-080:
• STM-081: EthScope
• STM-082: ContractWard
• STM-083: RA
• STM-084:
• STM-085: OpenBalthazar
• STM-086: sGUARD
• STM-087: SmartPulse
• STM-088: SeRIF
• STM-089: EVMPatch
• STM-090:
• STM-091: DEFIER
• STM-092: SmarTest
• STM-093: EOSAFE
• STM-094:
• STM-095: ConFuzzius
• STM-096:
• STM-097: STC, STV
• STM-098: Horus
• STM-099: BlockEye
• STM-100: Sailfish
• STM-101: DeFiRanger
• STM-102: ESCORT
• STM-103: DEFECTCHECKER
• STM-104:
• STM-105: HFContractFuzzer
• STM-106: Solidifier
• STM-107: SafelyAdministrated
• STM-108: EXGEN
• STM-109: EtherProv
• STM-110:
• STM-111:
• STM-112:
• STM-113: Findel
• STM-114: ContractLarva
• STM-115:
• STM-116: Solicitous
• STM-117: VeriSol
• STM-118: SmartScopy
• STM-119: WANA
• STM-120: E-EVM
• STM-121: AMEVulDetector
• STM-122: Javadity
• STM-123:
• STM-124:
• STM-125:
• STM-126: SmartInspect
• STM-127: Colored Petri Net (CPN)
• STM-128:
• STM-129:
• STM-130: EMV*
• STM-131: OpenZeppelin Contracts
• STM-132: MythX
• STM-133: Contract Library

This website does not use any cookies or analytics, and it does not collect any data about its visitors. User privacy matters!