Alternatives and similar repositories for MAIAN:

Users that are interested in MAIAN are comparing it to the libraries listed below

• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆75Updated last year
• costa-group / gasol-optimizer
  ☆107Updated last month
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆165Updated this week
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆77Updated 10 months ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆145Updated 5 months ago
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆205Updated last year
• t4sk / damn-vulnerable-defi
  ☆28Updated 3 years ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 4 months ago
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆120Updated last year
• christoftorres / ConFuzzius
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆87Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• uni-due-syssec / eth-reentrancy-attack-patterns
  Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
  ☆109Updated 5 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• OpenZeppelin / solidity-ast
  TypeScript types and a JSON Schema for the Solidity AST
  ☆93Updated 3 months ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆202Updated 10 months ago
• andstor / verified-smart-contracts
  Verified Ethereum Smart Contract dataset
  ☆28Updated last year
• nevillegrech / MadMax
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆131Updated 2 years ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆62Updated 6 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆175Updated 4 months ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 4 years ago
• beyondacm / SmartEmbed
  A Tool for clone detection and bug detection in smart contracts
  ☆106Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆77Updated last year
• iFrostizz / solhunt
  Hunt for common bad practices in Solidity smart contracts !
  ☆122Updated last year
• 0xisk / awesome-solidity-security
  The purpose of this repo is to list all the related Research Papers focused on Smart-contracts security topics. As well as listing all th…
  ☆41Updated 3 years ago
• DependableSystemsLab / SolidiFI
  SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
  ☆76Updated 11 months ago
• smartdec / classification
  Classification of smart contract vulnerabilities
  ☆82Updated 6 years ago
• crytic / echidna-action
  GitHub Action to run Echidna, the Ethereum smart contract fuzzer
  ☆60Updated 11 months ago
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆130Updated last month
• defi-formal / cff
  Miner extractable value modeling and tools.
  ☆65Updated 3 years ago
• MikeSpa / DamnVulnerableDeFi
  Damn Vulnerable DeFi Solution
  ☆18Updated 2 years ago