wangbo15 / accmutLinks
Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
☆10Updated 7 years ago
Alternatives and similar repositories for accmut
Users that are interested in accmut are comparing it to the libraries listed below
Sorting:
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Static Analyzer and Verifier☆47Updated 8 months ago
- ☆17Updated last year
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 12 years ago
- ☆10Updated 4 years ago
- TracerX Symbolic Virtual Machine☆33Updated last month
- Semantic program repair system for C programs☆100Updated 2 years ago
- Map2Check: Finding Software Vulnerabilities☆29Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 4 years ago
- KLEE's version of uClibc☆53Updated last year
- ☆20Updated 4 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- 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
- Static Slicer for LLVM☆66Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- SUPA☆28Updated 5 years ago
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated last month
- Step by step manual for building KLEE☆18Updated 7 years ago
- Hierarchical Delta Debugging Framework☆59Updated 6 months ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year