Alternatives and similar repositories for cert-rosecheckers

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

• jubnzv / MISRA-Example-Suite
  @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
  ☆34Updated 6 years ago
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆172Updated 7 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆39Updated 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…
  ☆46Updated 8 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆178Updated 3 weeks ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆118Updated 2 years ago
• TimesysGit / vigiles-buildroot
  Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.
  ☆11Updated 2 weeks ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 3 weeks ago
• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆27Updated 4 months ago
• TDacik / Deadlock_and_Racer
  Frama-C plugins for deadlock and data race detection
  ☆14Updated 3 weeks ago
• CycloneDX / cyclonedx-conan
  Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan
  ☆26Updated 2 years ago
• yonamine / autocheck
  Following AUTOSAR guidelines can be easy and free!
  ☆21Updated last year
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆28Updated last year
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆22Updated 5 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆64Updated last month
• Armin-Montigny / MCDC
  Create minimum MCDC test sets for a boolean expression
  ☆45Updated 4 years ago
• tkashi-github / MISRA-C_Check
  MISRA-C Check on VSCode
  ☆27Updated 4 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆38Updated 2 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 2 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆20Updated 4 months ago
• suspended / Clang-Static-Analyzer-Checkers
  Clang Static Analyzer with use-after-free and double-free checkers
  ☆15Updated 10 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆26Updated 4 years ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆111Updated last year
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆43Updated last year
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Updated 8 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆143Updated 5 years ago
• naivesystems / analyze
  NaiveSystems Analyze is a static analysis tool for code security and compliance.
  ☆193Updated last week