SmartContractSecurity / ethereum-analyzer-suites-runner

Related projects: ⓘ

• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• muellerberndt / laser-ethereum
  Symbolic virtual machine for Ethereum
  ☆68Updated 6 years ago
• trailofbits / devcon
  ☆18Updated this week
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 6 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 2 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆37Updated 3 years ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆29Updated last year
• Consensys / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆40Updated 6 years ago
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated last year
• mattdf / audits
  Audit reports and signatures
  ☆9Updated 6 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated last year
• Consensys / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆41Updated 3 years ago
• BlockChainCompany / solhydra
  ☆28Updated this week
• runtimeverification / erc777-semantics
  ☆11Updated 2 years ago
• pdaian / bootcamp-security
  IC3 Bootcamp Security Project
  ☆23Updated 7 years ago
• Consensys / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 4 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 4 years ago
• duaraghav8 / solparse
  Solidity Parser for Solium
  ☆29Updated last year
• federicobond / soli
  A set of utilities (currently in alpha) for exploring Solidity contracts
  ☆23Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• TovarishFin / smart-contract-boilerplate
  Boilerplate for smart contract development which includes all needed basic tools and linting
  ☆17Updated 5 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆28Updated 5 years ago
• pdaian / hackthiscontract
  http://hackthiscontract.io/
  ☆50Updated last year
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 5 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• chriseth / patricia-trie
  ☆61Updated 2 years ago
• sneakerhax / Outsmarting-Smart-Contracts
  ☆24Updated this week