A git repo created for java3-secor

Trade on Pump.fun Programmatically

Pip compatible CodeBLEU metric implementation available for linux/macos/win

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

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

The RunBugRun dataset of executable bugs

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!

Solidity grammar for tree sitter

Noir is a domain specific language for zero knowledge proofs

GoogleTest - Google Testing and Mocking Framework

DEFI Focus Smart Contract Security Capture the Flag

A comprehensive list of security practices for DeFi protocols.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust implementation of the Ethereum Virtual Machine.

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Solving the Ethernaut CTF with Echidna

Decompiler at the heart of Eveem.org

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

The reference implementation of the ERC-721 non-fungible token standard.

Reproduce DeFi hacked incidents using Foundry.