Alternatives and similar repositories for covpare

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

• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆144Updated 5 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• google / centipede
  ☆252Updated 2 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆160Updated 2 years ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆111Updated last year
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆65Updated 6 years ago
• Ericsson / clang
  Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
  ☆15Updated 5 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated last month
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆184Updated 3 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 4 years ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆134Updated 5 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 7 months ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 5 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆281Updated last year
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆23Updated last week
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆124Updated 7 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆260Updated last month
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆115Updated 2 years ago
• DeadCodeProductions / dead
  ☆52Updated 2 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆29Updated 2 years ago
• mrash / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆480Updated last year
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated 2 years ago
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆302Updated 6 years ago