Alternatives and similar repositories for cert-rosecheckers:

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

• ashwinraghav / Cqual
  Type qualifiers for C
  ☆16Updated 13 years ago
• TDacik / Deadlock_Racer
  Frama-C plugins for deadlock and data race detection
  ☆12Updated 3 months ago
• seahorn / verify-c-common
  ☆16Updated 10 months ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 3 months ago
• TimesysGit / vigiles-buildroot
  Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.
  ☆10Updated last week
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆109Updated last year
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆14Updated 5 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆22Updated 4 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 4 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 10 months ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 5 months ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 11 months ago
• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆26Updated 2 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆35Updated last year
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• tarun27sh / gdb_graphs
  To visualize function call flow for a C/C++ program using gdb and python
  ☆101Updated 10 months ago
• WUSTL-CSPL / RT-TEE
  ☆26Updated 2 years ago
• seL4 / camkes-vm-examples
  ☆16Updated this week
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• 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
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 5 months ago
• yonamine / autocheck
  Following AUTOSAR guidelines can be easy and free!
  ☆18Updated last year
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year