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
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- ☆32Updated 5 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
- ☆15Updated last month
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- ☆56Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated 4 months ago
- ☆25Updated 3 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆15Updated last year
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 7 months ago
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- ☆32Updated 3 weeks ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆78Updated last month
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Learning and Teaching Software Analysis and Verification via SVF☆23Updated 10 months ago
- A Computational Graph Generator for AI Compiler Fuzzing☆14Updated last year
- Program dependence graph in LLVM☆34Updated 9 months ago
- ☆30Updated 3 years ago
- Tool for mutation testing of C programs☆20Updated 4 years ago
- KLEEF Symbolic Execution Engine☆15Updated 2 months ago
- An automatic API misuse checker for C programs!☆19Updated 5 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- ☆14Updated last year
- DBGBench Website:☆18Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 8 months ago
- ☆39Updated 5 months ago
- ☆16Updated 5 years ago