MarkRedeman / ast-based-mutationsLinks
A proof of concept which generates mutations based on an abstract syntax tree
☆15Updated 8 years ago
Alternatives and similar repositories for ast-based-mutations
Users that are interested in ast-based-mutations are comparing it to the libraries listed below
Sorting:
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter☆30Updated last week
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 3 years ago
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆17Updated 8 months ago
- ☆53Updated 7 years ago
- Collection of syzkaller bug reproducers for Linux☆45Updated 3 years ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- ☆15Updated 5 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Updated 3 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆41Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- We hinder fuzzing☆68Updated 3 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- A project to run fuzzing jobs at scale with Kubernetes.☆147Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- Challenging testcases for fuzzers☆71Updated last year
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- ☆82Updated 9 months ago
- Fuzzers for the Linux kernel☆117Updated 8 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆77Updated 5 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- ☆20Updated 4 years ago
- ☆47Updated 5 years ago
- fuzzing related paper☆227Updated 3 years ago