The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Workshop about the different types of reentrancy attacks

Diff your Github against Etherscan.

A binary lifter and analysis framework for Ethereum smart contracts

Simplify Ethereum security analysis and testing

A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.

Pre-built security properties for commonly forked DeFi protocols

A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

A repository documenting security incident reports at Curve Finance.

Hacks/Vulns/Audits Compilation

A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities,…

Experimental tool to ease the review of smart contracts upgrades

🍋 An open dataset containing smart contract audit issues from various sources.

Python package with core transaction decoding functions.

A simple template to perform whitehacks safely

Example of the whitehack for Curve exploit 30/07/23

Solidity Audit Report Generator

Smart contracts which are formally verified

Python tools for the K Framework

Curated list of rug checkers, token security scanners, contract vulnerability audit tools, etc.

This repository contains list of resources to aid your journey of mastering Ethereum Virtual Machine. If you find any resource missing, you can create a pull request and be a contributor of the pro…