renatahodovan / picirenyLinks
Hierarchical Delta Debugging Framework
☆59Updated 6 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☆52Updated 6 months ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Python Symbolic Execution☆69Updated 5 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 11 months ago
- ☆52Updated 9 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- KLEE / CSE Project☆45Updated 5 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- Lightweight tool for slicing☆35Updated last month
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- Map2Check: Finding Software Vulnerabilities☆29Updated 4 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…☆16Updated 3 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Domain-Specific Fuzzing with Waypoints☆238Updated 2 years ago
- Dynamic detection of likely invariants☆224Updated this week
- A dynamic analysis framework for C and C++ programs☆29Updated 2 weeks ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago