Alternatives and similar repositories for evm_llvm:

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

• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• sigp / beacon-fuzz
  Differential Fuzzer for Ethereum 2.0
  ☆165Updated last year
• nevillegrech / MadMax
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆133Updated 2 years ago
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆30Updated 5 years ago
• muellerberndt / laser-ethereum
  Symbolic virtual machine for Ethereum
  ☆69Updated 6 years ago
• VeraBE / VeriMan
  Analysis tool for Solidity smart contracts. Prototype.
  ☆37Updated last year
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆30Updated last year
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆97Updated last month
• danhper / evm-analyzer
  Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  ☆24Updated 4 years ago
• costa-group / gasol-optimizer
  ☆108Updated 2 weeks ago
• ethereum / evmcodegen
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆25Updated 6 years ago
• crytic / echidna-parade
  ☆28Updated last year
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆74Updated 2 years ago
• ethereum / act
  Smart contract specification language
  ☆238Updated 2 weeks ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆62Updated 6 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆46Updated 3 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆104Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 5 months ago
• iden3 / rapidsnark-old
  fast zksnark prover
  ☆119Updated last year
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆123Updated 3 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆161Updated 3 years ago
• GuthL / roll_up_circom_tutorial
  This repository contains a tutorial on how to build roll_up with Circom
  ☆84Updated 6 years ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆247Updated 9 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 10 months ago
• microsoft / verisol
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆251Updated 2 years ago
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆122Updated last year
• ethereum / py_pairing
  This archived repository lacks recent updates. Developers seeking an actively maintained alternative should consider ethereum/py_ecc
  ☆110Updated 4 months ago