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
• mrash / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆484Updated last year
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 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
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆124Updated 7 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆186Updated 3 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 years ago
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆99Updated 6 months ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆134Updated 5 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆55Updated last year
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 2 weeks ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆312Updated 5 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆137Updated 7 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆280Updated last year
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆68Updated 6 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆261Updated 3 months ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• yotamr / traces
  API tracing framework for Linux C/C++ applications
  ☆160Updated 9 years ago
• axw / cmonster
  Python wrapper for the Clang C++ preprocessor and parser.
  ☆128Updated 11 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆116Updated 2 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆249Updated 6 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆142Updated 7 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated last year
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated 2 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆420Updated 2 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago