shellygr/ECFChecker external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

shellygr/ECFChecker

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/shellygr/ECFChecker)

Close

shellygr / ECFCheckerView on GitHubMore

• External links
• Readme badge

A dynamic checker for the ECF property incorporated into geth

☆15Oct 27, 2017Updated 8 years ago

Alternatives and similar repositories for ECFChecker

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

• Secbrain / VulHunter

  View on GitHub
  ☆19Feb 22, 2024Updated 2 years ago
• andymeneely / attack-surface-metrics

  View on GitHub
  Scripts for collecting metrics of the attack surface
  ☆15Jun 10, 2021Updated 4 years ago
• eth-sri / verx-benchmarks

  View on GitHub
  ☆20Nov 11, 2019Updated 6 years ago
• eth-sri / securify

  View on GitHub
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆223Jan 23, 2020Updated 6 years ago
• duaraghav8 / solparse

  View on GitHub
  Solidity Parser for Solium
  ☆29Apr 17, 2023Updated 2 years ago
• christoftorres / HoneyBadger

  View on GitHub
  A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).
  ☆102Mar 7, 2023Updated 2 years ago
• danhper / evm-analyzer

  View on GitHub
  Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  ☆26Oct 31, 2020Updated 5 years ago
• microsoft / verisol

  View on GitHub
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆257Dec 8, 2022Updated 3 years ago
• Jiachi-Chen / DefectChecker

  View on GitHub
  ☆30Dec 28, 2024Updated last year
• nevillegrech / MadMax

  View on GitHub
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆137Dec 7, 2022Updated 3 years ago
• nescio007 / teether

  View on GitHub
  ☆137Jul 27, 2021Updated 4 years ago
• eurecom-s3 / dissecting_afl

  View on GitHub
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Oct 3, 2022Updated 3 years ago
• HexHive / datashield

  View on GitHub
  ☆17Jan 1, 2021Updated 5 years ago
• joshwatson / binaryninja-microcorruption

  View on GitHub
  BinaryView Plugin for Microcorruption CTF memory dumps
  ☆13Jul 16, 2019Updated 6 years ago
• aunyks / vitruvius

  View on GitHub
  🛠 Elementary data structures in Solidity for Ethereum Smart Contracts.
  ☆18Apr 4, 2018Updated 7 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• runtimeverification / k-editor-support

  View on GitHub
  Plugin files for editing K files
  ☆12Aug 20, 2024Updated last year
• zunderlab / zunderlab.github.io

  View on GitHub
  Zunder Lab website
  ☆12Jan 19, 2023Updated 3 years ago
• DieracDelta / DuckeeGO

  View on GitHub
  Concolic Exection Engine for Golang
  ☆10May 16, 2018Updated 7 years ago
• lunixbochs / crossldso

  View on GitHub
  link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux
  ☆10Feb 5, 2020Updated 6 years ago
• PonziDetection / PonziGuard

  View on GitHub
  ☆11May 30, 2024Updated last year
• oldeurope / rwthctf2012

  View on GitHub
  ☆40Nov 24, 2013Updated 12 years ago
• serpilliere / miasm-docker

  View on GitHub
  Docker files for Miasm
  ☆17Apr 27, 2018Updated 7 years ago
• DetegiCE / Github-Readme-ScoreSaber

  View on GitHub
  May I show your ScoreSaber rank to GitHub readme?
  ☆11Jun 9, 2024Updated last year
• ejiro / newsclips-node-app

  View on GitHub
  Front-end application utilizing the news-composer-network, a fabric blockchain implementation
  ☆10Oct 5, 2017Updated 8 years ago
• peng-gao-lab / p4control

  View on GitHub
  P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
  ☆11May 20, 2024Updated last year
• ctf-mt / eth-escape-ctf-2024

  View on GitHub
  Public repo for ETH Escape CTF @ Devcon 2024: https://devcon.org/
  ☆13Dec 11, 2024Updated last year
• lucasduffey / binja_smali

  View on GitHub
  ☆11Mar 26, 2018Updated 7 years ago
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• s3team / loop

  View on GitHub
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆52Jan 19, 2016Updated 10 years ago
• seclab-ucr / SyzGen_setup

  View on GitHub
  ☆48Oct 28, 2021Updated 4 years ago
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆14Jul 2, 2013Updated 12 years ago
• s3team / Amoeba

  View on GitHub
  Amoeba: Binary Code Diverisfication through Composite Software Diversification
  ☆10Aug 3, 2017Updated 8 years ago
• liobaheimbach / Non-Atomic-Arbitrage-in-Decentralized-Finance

  View on GitHub
  ☆11Mar 20, 2024Updated last year
• ctfhacker / ni-rs

  View on GitHub
  Radamsa written in c ported to Rust
  ☆11May 10, 2023Updated 2 years ago
• mudgen / emoji-token

  View on GitHub
  💎 Token
  ☆10Jan 27, 2024Updated 2 years ago
• mccutchen / speculatively

  View on GitHub
  Package speculatively provides a simple mechanism to re-execute a task in parallel only after some initial timeout has elapsed.
  ☆10Jul 11, 2025Updated 7 months ago
• thebabush / binja_sibyl

  View on GitHub
  A (Miasm2 + binaryninja) based function divination.
  ☆15Oct 22, 2017Updated 8 years ago
• usyd-blockchain / vandal

  View on GitHub
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆168Aug 5, 2021Updated 4 years ago