Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Cmake Scripts | 489 | 9 months ago | 8 | apache-2.0 | CMake | |||||
A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation. | ||||||||||
Seahorn | 391 | 6 months ago | 20 | other | C | |||||
SeaHorn Verification Framework | ||||||||||
Bpfcov | 99 | 2 years ago | 2 | bsd-2-clause | C | |||||
Source-code based coverage for eBPF programs actually running in the Linux kernel | ||||||||||
Cov | 93 | 1 | 5 years ago | 5 | August 29, 2018 | 15 | mit | Rust | ||
LLVM-GCOV Source coverage for Rust | ||||||||||
Bpf Fuzzer | 78 | 5 years ago | 1 | other | C | |||||
fuzzing framework based on libfuzzer and clang sanitizer | ||||||||||
Tortoisefuzz | 64 | 2 years ago | 1 | C | ||||||
C Cpp Coverage For Clion | 35 | 2 years ago | 6 | mit | Kotlin | |||||
Get coverage data in CLion using gcov or llvm-cov | ||||||||||
Llcov | 35 | 8 years ago | 1 | other | C | |||||
LLVM-based, flexible, live coverage instrumentation for C/C++ code | ||||||||||
Instrim | 35 | 4 years ago | 3 | mit | C++ | |||||
InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing | ||||||||||
Fuzvisor | 31 | 3 years ago | apache-2.0 | Rust | ||||||
A framework provides an interface to monitor and control fuzzers |