Alternatives and similar repositories for cert-rosecheckers

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

• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆38Updated last year
• yonamine / autocheck
  Following AUTOSAR guidelines can be easy and free!
  ☆21Updated 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 7 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 3 months ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆111Updated last year
• OP-TEE / optee_docs
  This git contains the official documentation for the OP-TEE project
  ☆65Updated last month
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• ashwinraghav / Cqual
  Type qualifiers for C
  ☆16Updated 13 years ago
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆22Updated 5 years ago
• Armin-Montigny / MCDC
  Create minimum MCDC test sets for a boolean expression
  ☆43Updated 4 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Updated 8 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
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆169Updated 7 years ago
• jubnzv / MISRA-Example-Suite
  @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
  ☆31Updated 5 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆55Updated 4 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• Linaro / OpenCSD
  CoreSight trace stream decoder developed openly
  ☆168Updated 2 months ago
• CycloneDX / cyclonedx-conan
  Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan
  ☆26Updated last year
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆173Updated this week
• PeterHallonmark / clang-tidy-automotive
  Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012
  ☆15Updated 2 weeks ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆115Updated 2 years ago
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆26Updated last year
• tarun27sh / gdb_graphs
  To visualize function call flow for a C/C++ program using gdb and python
  ☆101Updated last year
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• hwangcc23 / ptm2human
  ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…
  ☆54Updated 6 months ago
• TimesysGit / vigiles-buildroot
  Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.
  ☆11Updated last month
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆105Updated 8 months ago
• TDacik / Deadlock_and_Racer
  Frama-C plugins for deadlock and data race detection
  ☆14Updated 2 months ago
• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆26Updated last month