zachriggle / covpareLinks
Simple tool for comparing gcov/llvm-cov output between runs
☆21Updated 10 years ago
Alternatives and similar repositories for covpare
Users that are interested in covpare are comparing it to the libraries listed below
Sorting:
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)☆15Updated 5 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆126Updated 11 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Code coverage reporting tool☆51Updated 8 years ago
- API tracing framework for Linux C/C++ applications☆158Updated 9 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆78Updated 13 years ago
- Constraint solver based on coverage-guided fuzzing☆247Updated last year
- Configurable instrumentation of LLVM bitcode☆34Updated 2 months ago
- Static Slicer for LLVM☆66Updated 9 years ago
- Dynamic Program Slicing in LLVM Compiler☆138Updated 6 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆86Updated 4 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- A plugin for Clang compiler☆118Updated 3 years ago
- Load-time selective binary rewriting☆158Updated 2 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆182Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 11 months ago
- Manipulate C-family ASTs with Clang☆69Updated 10 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆134Updated 6 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆201Updated 6 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- A framework for instrumenting build tools☆89Updated 6 months ago
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- minimal symbolic model checker & fuzzer☆112Updated 10 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago