TestingResearchIllinois / srciror
A mutation tool for source and IR
☆13Updated 6 years ago
Related projects: ⓘ
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- ☆25Updated 3 months ago
- Tool for mutation testing of C programs☆19Updated 4 years 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 last year
- ☆25Updated 3 years ago
- An empirical study on patch correctness☆15Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week
- A Computational Graph Generator for AI Compiler Fuzzing☆13Updated last year
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- ☆53Updated 9 months ago
- An automatic API misuse checker for C programs!☆18Updated 5 years ago
- ☆30Updated this week
- ☆12Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- ☆16Updated 5 years ago
- ☆28Updated 3 years ago
- Examples for NASAC 2019 interrupt race detection competition☆9Updated 4 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆44Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- ☆74Updated last year
- ☆25Updated 3 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- A framework for testing compilers' type checkers☆17Updated this week
- Teaching and Learning Software Verification via SVF☆32Updated 3 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆39Updated last week
- ☆37Updated 8 months ago
- ☆9Updated 5 years ago