magsilva / proteumLinks
Tool for mutation testing of C programs
☆20Updated 5 years ago
Alternatives and similar repositories for proteum
Users that are interested in proteum are comparing it to the libraries listed below
Sorting:
- A mutation tool for source and IR☆13Updated 7 years ago
- Dynamic detection of likely invariants☆237Updated last week
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 9 months ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆83Updated this week
- A unification-based alias analysis and related tools☆35Updated last year
- Semantic program repair system for C programs☆101Updated 3 years ago
- ☆16Updated 3 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆85Updated last year
- ☆95Updated 7 months ago
- A higher order mutation testing tool☆58Updated 4 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆185Updated 4 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆166Updated last month
- Pointer Analysis with Tunable Precision☆26Updated 9 years ago
- static analysis benchmarks from Toyota ITC☆116Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated last year
- Toolset to do differential testing on the Clang Static Analyzer☆22Updated 2 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Symbolic PathFinder☆160Updated last month
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆54Updated 4 years ago
- ☆20Updated 4 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆330Updated this week
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Program dependence graph in LLVM☆42Updated 2 months ago