Pinned Repositories
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.
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
efcf-ethmutator
efcf-framework
EF/CF - Extremely Fast smart Contract Fuzzing
0x4b16b2's Repositories
0x4b16b2/avalanche
Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.
0x4b16b2/Awesome-Grammar-Fuzzing
A curated list of Grammar based fuzzing research papers, codes, tutorials
0x4b16b2/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.
0x4b16b2/ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
0x4b16b2/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
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/NeoDiff
Differential fuzzing for Smart Contract VMs
0x4b16b2/ProMutator
ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
0x4b16b2/evogfuzzplusplus
Evolutionary Grammar-Based Fuzzing Framework to detect Failures
0x4b16b2/frameshifter
Grammar-based HTTP/2 fuzzer with mutation ability
0x4b16b2/Gramatron
Coverage-guided grammar aware fuzzer that uses grammar automatons
0x4b16b2/gramfuzz
gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
0x4b16b2/kharma
Grammar-based fuzzing corpus generator
0x4b16b2/nautilus
A grammar based feedback Fuzzer
0x4b16b2/Picus
Automated verification of uniqueness property for ZKP circuits
0x4b16b2/PonyGE2
PonyGE2: grammatical evolution and variants in Python
0x4b16b2/rlf
0x4b16b2/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
0x4b16b2/SolcTrans
Machine Translation-based Fine-grained Comments Generation for Solidity Smart Contracts
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/tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
0x4b16b2/W55
w55_defi_re_taint