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
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• bulwahn / linux-kernel-analysis
  Collection of scripts to analyse the Linux kernel
  ☆10Updated 5 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 4 months ago
• iamkhalil / autosarcpp14-checker
  ☆16Updated 3 years ago
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆22Updated 5 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆35Updated 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 4 months ago
• tarun27sh / gdb_graphs
  To visualize function call flow for a C/C++ program using gdb and python
  ☆101Updated 11 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆48Updated this week
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• christoph2 / objutils
  Process HEX files in Python
  ☆33Updated 2 months ago
• ashwinraghav / Cqual
  Type qualifiers for C
  ☆16Updated 13 years ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆109Updated last year
• COVESA / franca_ara_integration
  Franca to ARA interface integration and demo code
  ☆26Updated 5 years ago
• devicetree-org / lopper
  ☆39Updated this week
• elisa-tech / Safety_Architecture_WG
  Repository to store the code developed in the context of the Safety Architecture WG
  ☆17Updated 5 months ago
• seL4 / camkes-vm-examples
  ☆17Updated 3 weeks ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆14Updated 2 years ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆27Updated 3 months ago
• yonamine / autocheck
  Following AUTOSAR guidelines can be easy and free!
  ☆18Updated last year
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• CycloneDX / cyclonedx-conan
  Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan
  ☆25Updated last year
• TDacik / Deadlock_and_Racer
  Frama-C plugins for deadlock and data race detection
  ☆12Updated 4 months ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• bao-project / bao-helloworld
  ☆9Updated 2 months ago