GramTest: A tool for Grammar based Test case generation
☆89Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for gramtest
Users that are interested in gramtest are comparing it to the libraries listed below
Sorting:
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- Path based Dynamic Analysis☆118Mar 25, 2017Updated 8 years ago
- Test case minimizer for afl-fuzz☆28Jul 19, 2017Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- JDCallgraph - Dynamic call graph generation for Java.☆20Oct 12, 2020Updated 5 years ago
- Very WIP taint analysis for DynamoRIO (ARM)☆21Apr 10, 2018Updated 7 years ago
- ☆22Mar 14, 2016Updated 10 years ago
- covFuzz☆34Jun 8, 2017Updated 8 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74May 24, 2019Updated 6 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Code from MSc thesis on combining learning and fuzzing☆19Jul 30, 2018Updated 7 years ago
- KLEE in the browser☆54Feb 12, 2026Updated last month
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Tools for stress testing applications.☆12Sep 20, 2020Updated 5 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 3 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- a grammar based feedback fuzzer☆166Jul 1, 2023Updated 2 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆197Apr 21, 2020Updated 5 years ago
- The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"☆27Nov 29, 2018Updated 7 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- ☆82Aug 20, 2025Updated 7 months ago
- A Genetic File, Syscall and Network Fuzzer.☆58May 28, 2017Updated 8 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- ☆132Oct 10, 2019Updated 6 years ago
- A library to generate AST, CFG, PDG for Java program☆15Jun 13, 2021Updated 4 years ago
- ☆64Oct 24, 2015Updated 10 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- My little fuzzing framework inspired by grinder☆100Oct 9, 2017Updated 8 years ago
- DOM fuzzers - not maintained anymore☆17Oct 10, 2019Updated 6 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- A fuzzer. Work in progress!☆21Sep 8, 2017Updated 8 years ago