yuejia / Milu
A higher order mutation testing tool
☆58Updated 3 years ago
Related projects: ⓘ
- Semantic program repair system for C programs☆97Updated last year
- Static Slicer for LLVM☆65Updated 8 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Dynamic detection of likely invariants☆214Updated 2 weeks ago
- Tool for mutation testing of C programs☆19Updated 4 years ago
- CREST is a concolic test generation tool for C.☆157Updated 4 years ago
- A library for building abstract interpretation-based analyses☆230Updated 4 months ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆222Updated this week
- ☆15Updated this week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆309Updated 7 months ago
- ☆16Updated this week
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- Lightweight tool for slicing☆34Updated this week
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆210Updated 5 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆96Updated last month
- The Ultimate program analysis framework.☆194Updated this week
- A mutation tool for source and IR☆13Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- drawing graphs for llvm ir. data flow and control flow☆40Updated 7 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆273Updated 4 months ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆157Updated 3 months ago
- ☆15Updated 5 years ago
- Dynamic Program Slicing in LLVM Compiler☆133Updated 6 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆19Updated last year
- ☆23Updated 9 years ago
- SeaHorn Verification Framework☆436Updated 2 weeks ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago