0x4b16b2's repositories
atnwalk
ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequences that represent high-level structured data.
chameleon
Grammar-based input generation for fuzzing
ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
daedaluzz
Benchmark Generator for Smart-Contract Fuzzers
efcf-framework
EF/CF - Extremely Fast smart Contract Fuzzing
EvmIL
A simple intermediate language for generating EVM bytecode.
ilf
AI based fuzzer based on imitation learning
MuFuzz
MuFuzz: Enlightening Smart Contract Fuzzing via State-Oriented Mutation and Dynamic Energy Adjustment (ISSTA 2023 Under Review)
evogfuzzplusplus
Evolutionary Grammar-Based Fuzzing Framework to detect Failures
F2
F2 is a fast grammar based fuzzzer building on the advances made by F1 and fzero fuzzers.
grammarinator
ANTLR v4 grammar-based test generator
kharma
Grammar-based fuzzing corpus generator
nautilus
A grammar based feedback Fuzzer
peacock
Fast and effective grammar-based fuzzing based on Gramatron
Picus
Automated verification of uniqueness property for ZKP circuits
ropfuscator
ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).
Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
StAGFuzzer
Pattern-Aware Phase Alternation for Fuzzing Smart Contracts
TokenAuditor
[QRS'22] TokenAuditor: Detecting Manipulation Risk in Token Smart Contract by Fuzzing
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
W55
w55_defi_re_taint