renatahodovan / picirenyView external linksLinks
Hierarchical Delta Debugging Framework
☆60Nov 23, 2025Updated 2 months ago
Alternatives and similar repositories for picireny
Users that are interested in picireny are comparing it to the libraries listed below
Sorting:
- Parallel Delta Debugging Framework☆55Nov 23, 2025Updated 2 months ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago
- Debugging library to quickly get the minimal crashing test case☆38May 17, 2018Updated 7 years ago
- A System for Debloating C/C++ Programs☆31Jul 16, 2021Updated 4 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 10 months ago
- language-agnostic program reducer.☆200Dec 5, 2025Updated 2 months ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 9 years ago
- ☆12Jun 14, 2023Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- ANTLR v4 grammar-based test generator☆415Jan 30, 2026Updated 2 weeks ago
- Simple grammar-based test case generator☆40Feb 9, 2026Updated last week
- ☆36May 4, 2025Updated 9 months ago
- A framework for testing compilers' type checkers☆64Aug 2, 2024Updated last year
- Python module to detect, analyze and id application bugs☆21May 23, 2025Updated 8 months ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Jul 3, 2025Updated 7 months ago
- Reader and writer of HDF5 files☆18Jul 15, 2017Updated 8 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Fuzzinator Random Testing Framework☆194Nov 23, 2025Updated 2 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Feb 9, 2026Updated last week
- Yet Another Random Program Generator☆543Nov 24, 2025Updated 2 months ago
- ☆27Mar 16, 2023Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Jan 22, 2025Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Fito is a python library that helps to organize your data so you can access it in a more understandable and easy way☆10Feb 26, 2018Updated 7 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago