Alternatives and similar repositories for cert-rosecheckers

Users that are interested in cert-rosecheckers are comparing it to the libraries listed below

• TimesysGit / vigiles-buildroot
  Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.
  ☆10Updated last month
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• iamkhalil / autosarcpp14-checker
  ☆16Updated 3 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 10 months ago
• CycloneDX / cyclonedx-conan
  Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan
  ☆25Updated last year
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• ashwinraghav / Cqual
  Type qualifiers for C
  ☆16Updated 13 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated this week
• coveooss / clang-tidy-plugin-examples
  Examples of clang-tidy plugins
  ☆19Updated last month
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 11 months ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆37Updated 2 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆29Updated 2 years ago
• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆26Updated 2 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆22Updated last month
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆28Updated 4 months ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆109Updated last year
• rettichschnidi / clang-misracpp2008
  An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…
  ☆45Updated 7 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 5 months ago
• seahorn / verify-c-common
  ☆17Updated 11 months ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 5 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆50Updated 3 weeks ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆53Updated 2 years ago
• TDacik / Deadlock_and_Racer
  Frama-C plugins for deadlock and data race detection
  ☆12Updated 2 weeks ago