Alternatives and similar repositories for covpare

Users that are interested in covpare are comparing it to the libraries listed below

• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆145Updated 5 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 3 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 9 years ago
• mrash / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆487Updated last year
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆186Updated 3 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated 2 years ago
• Ericsson / clang
  Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
  ☆15Updated 6 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 8 months ago
• google / centipede
  ☆253Updated 2 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆68Updated 7 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆252Updated 6 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆33Updated 2 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 7 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Updated last year
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆143Updated 7 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆120Updated 2 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Updated last year
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆203Updated 3 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆140Updated 7 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Updated last month
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆135Updated 5 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆240Updated 2 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆90Updated last week
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆113Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 2 months ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆228Updated this week
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆124Updated 6 years ago