Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
☆113Oct 14, 2019Updated 7 years ago
Alternatives and similar repositories for eth-reentrancy-attack-patterns
Users that are interested in eth-reentrancy-attack-patterns are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Smart Contract Security Practice | Lv1 Fallback Attack☆16Jan 13, 2022Updated 4 years ago
- JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).☆230Nov 11, 2020Updated 5 years ago
- a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance☆498Jun 22, 2024Updated 2 years ago
- Everything related to blockchain security☆11Sep 4, 2019Updated 7 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Dec 30, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆690Oct 27, 2026Updated last week
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆216Dec 25, 2023Updated 2 years ago
- Smart Contract Weakness Classification and Test Cases☆902Aug 6, 2024Updated 2 years ago
- ☆20Nov 11, 2019Updated 6 years ago
- The purpose of this repo is to list all the related Research Papers focused on Smart-contracts security topics. As well as listing all th…☆45Oct 4, 2021Updated 5 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- ☆20Oct 2, 2020Updated 6 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆86Jul 24, 2020Updated 6 years ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆103Mar 7, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Complex numbers for Solidity☆56Aug 20, 2026Updated 2 months ago
- Website for blockchain-related tools☆44Dec 10, 2022Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆378Sep 9, 2026Updated last month
- Examples of Solidity security issues☆2,226Feb 24, 2023Updated 3 years ago
- ☆50Jan 14, 2025Updated last year
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆64Mar 7, 2023Updated 3 years ago
- Secure by design reentrancy guards☆55May 9, 2023Updated 3 years ago
- ☆16Apr 25, 2023Updated 3 years ago
- Ethereum smart contract fuzzer☆3,189Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🚀 Try the Learn EVM Explorer we just launched!!!☆1,798Feb 20, 2026Updated 8 months ago
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 9 years ago
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆244Dec 7, 2022Updated 3 years ago
- A collection of smart contract vulnerabilities along with prevention methods☆2,498Feb 8, 2026Updated 8 months ago
- A Solidity smart contract auditing checklist☆367Mar 6, 2023Updated 3 years ago
- Securify v2.0☆635May 25, 2025Updated last year
- A curated list of blockchain security Capture the Flag (CTF) competitions☆1,633Mar 11, 2024Updated 2 years ago
- Comprehensive list of known attack vectors and common anti-patterns☆1,526Sep 23, 2022Updated 4 years ago
- a safety verifier for Solidity smart contracts☆95Jan 17, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Ethereum/EVM Node Security Toolkit☆68Jun 24, 2024Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆139Dec 7, 2022Updated 3 years ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆60May 11, 2021Updated 5 years ago
- Static Analyzer for Solidity and Vyper☆6,400Updated this week
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆633Feb 15, 2024Updated 2 years ago
- A chronological and (hopefully) complete list of reentrancy attacks to date.☆1,628Jul 20, 2026Updated 3 months ago