Alternatives and similar repositories for cff:

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

• costa-group / gasol-optimizer
  ☆107Updated last month
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆173Updated 4 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆77Updated 3 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 2 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated 5 months ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆125Updated 2 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆137Updated last year
• libevm / cpo
  Chief Proxy Operator
  ☆132Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 2 months ago
• FrankieIsLost / TWAMM
  ☆124Updated 3 years ago
• euler-xyz / uni-v3-twap-manipulation
  ☆116Updated 9 months ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆75Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆94Updated 2 years ago
• libevm / uniswapv3-by-examples
  UniswapV3 by examples
  ☆142Updated 2 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• Jon-Becker / heimdall
  Powerful Ethereum Smart-Contract Toolkit
  ☆86Updated last year
• para-dave / twamm
  TWAMM Reference Implementation
  ☆120Updated 3 years ago
• calvwang9 / oracle-manipulation
  Price oracle manipulation attacks in defi
  ☆49Updated 2 years ago
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆77Updated last year
• 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
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆102Updated 2 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated 2 years ago
• AztecProtocol / huff
  Repository for Huff - an EVM programming language
  ☆233Updated 4 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆59Updated last year
• winnsterx / searcherbuilder.pics
  ☆39Updated last year