gsalzer / ethutilsLinks
Utilities for the Analysis of Ethereum Smart Contracts
☆14Updated 6 months ago
Alternatives and similar repositories for ethutils
Users that are interested in ethutils are comparing it to the libraries listed below
Sorting:
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆131Updated last year
- ☆27Updated 2 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38Updated 2 years ago
- EVM CFG recovery☆126Updated 2 years ago
- ☆48Updated last year
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆24Updated last year
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Updated 2 years ago
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆23Updated last week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆115Updated 6 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Updated 6 months ago
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆193Updated 5 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Updated 3 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆355Updated last week
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Updated 10 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆235Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆617Updated this week
- Bugs in commonly forked DeFi protocols☆489Updated 4 months ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Updated last year
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Updated 2 months ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆197Updated 2 years ago
- A curated list of awesome smart contract datasets☆56Updated last year
- Source code of EtherSolve: static analysis of Ethereum bytecode☆77Updated 4 months ago
- ☆17Updated 2 years ago
- ☆61Updated 3 years ago
- ☆24Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆141Updated 4 months ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆451Updated this week
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆275Updated 2 weeks ago
- Automated Vulnerability Detection for Solana Smart Contracts☆37Updated last year
- Pre-built security properties for common Ethereum operations☆357Updated last week