TestingResearchIllinois / srciror
A mutation tool for source and IR
☆13Updated 6 years ago
Alternatives and similar repositories for srciror:
Users that are interested in srciror are comparing it to the libraries listed below
- ☆32Updated 5 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- ☆16Updated 2 months ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆68Updated 5 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆36Updated last year
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆76Updated last week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- ☆25Updated 3 years ago
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- ☆16Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆32Updated last month
- ☆10Updated 5 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆41Updated 4 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆25Updated 8 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- DBGBench Website:☆18Updated 4 years ago
- ☆56Updated last year
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- ☆11Updated 4 years ago
- Lightweight tool for slicing☆35Updated 3 weeks ago
- Program dependence graph in LLVM☆35Updated 9 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago