Pinned 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.
avalanche
Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.
Awesome-Grammar-Fuzzing
A curated list of Grammar based fuzzing research papers, codes, tutorials
bulk-examples-generator
Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured data for training models in AI, or like a grammar fuzzer for find bugs.
chameleon
Grammar-based input generation for fuzzing
ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
daedaluzz
Benchmark Generator for Smart-Contract Fuzzers
DeFiTainter
DeFiWarder
0x4b16b2's Repositories
0x4b16b2/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.
0x4b16b2/chameleon
Grammar-based input generation for fuzzing
0x4b16b2/ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
0x4b16b2/daedaluzz
Benchmark Generator for Smart-Contract Fuzzers
0x4b16b2/DeFiTainter
0x4b16b2/DeFiWarder
0x4b16b2/efcf-ethmutator
0x4b16b2/efcf-framework
EF/CF - Extremely Fast smart Contract Fuzzing
0x4b16b2/EvmIL
A simple intermediate language for generating EVM bytecode.
0x4b16b2/ilf
AI based fuzzer based on imitation learning
0x4b16b2/MuFuzz
MuFuzz: Enlightening Smart Contract Fuzzing via State-Oriented Mutation and Dynamic Energy Adjustment (ISSTA 2023 Under Review)
0x4b16b2/evogfuzzplusplus
Evolutionary Grammar-Based Fuzzing Framework to detect Failures
0x4b16b2/F2
F2 is a fast grammar based fuzzzer building on the advances made by F1 and fzero fuzzers.
0x4b16b2/FlashSyn-Artifact-Demo
0x4b16b2/FlashSyn-Artifact-ICSE24
0x4b16b2/Gadget-Planner
0x4b16b2/grammarinator
ANTLR v4 grammar-based test generator
0x4b16b2/kharma
Grammar-based fuzzing corpus generator
0x4b16b2/nautilus
A grammar based feedback Fuzzer
0x4b16b2/peacock
Fast and effective grammar-based fuzzing based on Gramatron
0x4b16b2/Picus
Automated verification of uniqueness property for ZKP circuits
0x4b16b2/rlf
0x4b16b2/ropfuscator
ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).
0x4b16b2/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
0x4b16b2/StAGFuzzer
Pattern-Aware Phase Alternation for Fuzzing Smart Contracts
0x4b16b2/TokenAuditor
[QRS'22] TokenAuditor: Detecting Manipulation Risk in Token Smart Contract by Fuzzing
0x4b16b2/Trace2Inv-Artifact-FSE24
0x4b16b2/tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
0x4b16b2/TxSpector
0x4b16b2/W55
w55_defi_re_taint