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.
  ☆143Updated 5 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 3 years ago
• mrash / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆486Updated last year
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 7 months 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
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Updated last year
• google / centipede
  ☆253Updated 2 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆187Updated 3 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆120Updated 2 years ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆133Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 3 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆164Updated 3 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆422Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆248Updated last year
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆302Updated 6 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆238Updated 2 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 10 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Updated last month
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago
• saswatanand / symexbib
  A bibliography of papers related to symbolic execution
  ☆290Updated 9 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated last month
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆126Updated 7 years ago
• sslab-gatech / qsym
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆656Updated 3 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆313Updated 5 years ago