MarkRedeman / ast-based-mutations
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
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter☆25Updated 2 weeks ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- Code coverage reporting tool☆51Updated 8 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Lightweight tool for slicing☆35Updated this week
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- ☆38Updated 6 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Linux call graph visualization☆28Updated 6 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- PHP language analyses in Rascal☆27Updated 4 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆121Updated 2 years ago
- Fuzzers for the Linux kernel☆112Updated 8 years ago
- A Control Flow Graph implementation in PHP☆244Updated 2 weeks ago
- ☆53Updated 7 years ago
- ☆13Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 5 months ago
- fuzzing framework based on libfuzzer and clang sanitizer☆165Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆227Updated 3 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- ☆11Updated 2 months ago
- KLEE / CSE Project☆44Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- Modular And Compositional analysis with KLEE Engine☆116Updated 5 years ago