GramTest: A tool for Grammar based Test case generation
☆90Sep 23, 2023Updated 3 years ago
Alternatives and similar repositories for gramtest
Users that are interested in gramtest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- Path based Dynamic Analysis☆118Mar 25, 2017Updated 9 years ago
- Test case minimizer for afl-fuzz☆29Jul 19, 2017Updated 9 years ago
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 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
- A programmatic sense of fantasy for the virtual minds of the coming AI revolution.☆18Mar 3, 2025Updated last year
- Very WIP taint analysis for DynamoRIO (ARM)☆21Apr 10, 2018Updated 8 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 7 years ago
- covFuzz☆34Jun 8, 2017Updated 9 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lightweight UNIX-friendly text editor optimized for Dvorak and QWERTY keyboards☆10Mar 2, 2014Updated 12 years ago
- Qt QML GUI events playback library, intended for auto test.☆10Aug 1, 2018Updated 8 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- REIL translation library☆36May 6, 2016Updated 10 years ago
- KLEE in the browser☆54Feb 12, 2026Updated 7 months ago
- A library for GNU make to schedule rules as jobs with qsub or sbatch☆11Mar 7, 2013Updated 13 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆73May 24, 2019Updated 7 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- An imperative, statically but weakly typed systems programming language with manual memory management.☆13Jul 15, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Sep 29, 2025Updated last year
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 4 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆196Apr 21, 2020Updated 6 years ago
- Time-varying values with start and end times.☆16Aug 9, 2026Updated 2 months ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- ☆82Aug 20, 2025Updated last year
- a grammar based feedback fuzzer☆169Jul 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A library to generate AST, CFG, PDG for Java program☆17Jun 13, 2021Updated 5 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- Decentralized or self-hosted encryption archives that work on any internet device.☆15Mar 8, 2017Updated 9 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
- ☆21Feb 15, 2022Updated 4 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58May 28, 2017Updated 9 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago