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
- ☆30Updated 3 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- 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
- ☆25Updated 3 years ago
- DBGBench Website:☆18Updated 3 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆73Updated this week
- A unification-based alias analysis and related tools☆31Updated 4 months ago
- ☆15Updated last week
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- ☆29Updated 3 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 2 months ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 7 months ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆22Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- Tool for mutation testing of C programs☆20Updated 4 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆50Updated 3 months ago
- ☆55Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 10 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated last year
- A framework for testing compilers' type checkers☆17Updated 3 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- ☆16Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆42Updated 7 months ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆23Updated 6 months ago
- ☆37Updated 3 months ago