Alternatives and similar repositories for cff

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

• costa-group / gasol-optimizer
  ☆109Updated this week
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Updated 3 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆76Updated 2 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆135Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• FrankieIsLost / TWAMM
  ☆125Updated 3 years ago
• pdaian / mev
  Miner extractable value modeling and tools.
  ☆125Updated 3 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆146Updated 10 months ago
• libevm / cpo
  Chief Proxy Operator
  ☆134Updated 3 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆189Updated last month
• CodeForcer / greeden-geth
  Geth client which picks the most profitable blocks to mine using a greedy algorithm
  ☆81Updated 3 years ago
• flashbots / eth2-research
  Assessing the nature and impact of MEV in eth2.
  ☆68Updated 2 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• csienslab / ProMutator
  ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
  ☆39Updated 3 years ago
• Jon-Becker / heimdall
  Powerful Ethereum Smart-Contract Toolkit
  ☆89Updated 2 years ago
• nerolation / mevboost.pics
  Analysis of MEV-Boost, PBS and Block building on Ethereum
  ☆104Updated last year
• manifoldfinance / mev-corpus
  MEV Data Corpus
  ☆94Updated 2 years ago
• euler-xyz / uni-v3-twap-manipulation
  ☆118Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 4 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 7 months ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆148Updated last week
• uni-due-syssec / eth-reentrancy-attack-patterns
  Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
  ☆111Updated 5 years ago
• yieldprotocol / yield-liquidator-v2
  Smart contract that allows to buy collateral from Yield v2 vaults under auction using flash loans
  ☆77Updated 2 years ago
• OpenZeppelin / contract-bots-gang
  ☆68Updated 2 years ago
• para-dave / twamm
  TWAMM Reference Implementation
  ☆123Updated 3 years ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 10 months ago