renatahodovan / picireny
Hierarchical Delta Debugging Framework
☆58Updated 3 weeks ago
Alternatives and similar repositories for picireny:
Users that are interested in picireny are comparing it to the libraries listed below
- Parallel Delta Debugging Framework☆50Updated last month
- Constraint solver based on coverage-guided fuzzing☆240Updated last year
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆15Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Static Slicer for LLVM☆65Updated 9 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆133Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 4 years ago
- ☆51Updated 8 years ago
- Semantic program repair system for C programs☆97Updated 2 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- A dynamic analysis framework for C and C++ programs☆27Updated 7 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆163Updated 7 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Clade is a tool for extracting information about software build process and source code☆20Updated last year
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆48Updated 8 years ago