jeffchen006

nft-empirical-study

OpenTracer

An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer

vyper-select

A tool to quickly switch between Vyper compiler versions. Same usage as solc-select

SmartEmbed

A Tool for clone detection and bug detection in smart contracts

Trace2Inv-Artifact-FSE24

Trace2Inv-Invariant-Study-FSE24

jeffchen006.github.io

This is my personal website

Academic_Smart_Contract_Papers

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

arbiter

Code that runs code that runs code to study how code runs code.

blockchain_conference_paper

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

cryo

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

etherscan-labels

Full label data dump of top EVM chains in JSON/CSV.

foundry

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

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

group-website

heimdall-rs

Heimdall is an advanced Ethereum smart contract toolkit for forensic and heuristic analysis.

hevm

symbolic EVM evaluator

ityfuzz

Blazing Fast Hybrid Fuzzer for Smart Contracts

learn-evm-attacks

Learn & Contribute on previously exploited vulnerabilities across several EVM projects.

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

russol-alpha

A tool for synthesis of Rust code, very early prototype

slither

Static Analyzer for Solidity and Vyper

smart-contract-clone-detection

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

storage-layout-extractor

A tool that performs extraction of storage layouts based on EVM bytecode.

surya

A set of utilities for exploring Solidity contracts

temp

TxSpector

TxSpectorHelper