swtv-kaist / MUSIC
MUSIC: MUtation analySIs tool with High Configurability and Extensibility
☆17Updated last year
Alternatives and similar repositories for MUSIC:
Users that are interested in MUSIC are comparing it to the libraries listed below
- ☆33Updated 6 years ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 2 months ago
- DBGBench Website:☆18Updated 4 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆10Updated 9 years ago
- ☆20Updated 6 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- ☆19Updated 3 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Static Analyzer and Verifier☆47Updated 5 months ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 7 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- A framework for using test case generators to locate errors in C programs☆9Updated 6 years ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- A database of real-world C/C++ defaults to experiment in software engineering research☆47Updated last year
- SUPA☆28Updated 4 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated this week
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 11 months ago
- ☆25Updated 3 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- ☆32Updated 3 weeks ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- ☆23Updated 4 years ago
- Concolic analysis tool for Java☆21Updated last year
- ☆16Updated 5 years ago