An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead)
☆48Nov 10, 2017Updated 8 years ago
Alternatives and similar repositories for clang-misracpp2008
Users that are interested in clang-misracpp2008 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆183May 21, 2018Updated 8 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 9 years ago
- Helper scripts for C++ static analysis☆20Jul 20, 2021Updated 5 years ago
- Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)☆15Nov 27, 2019Updated 6 years ago
- Clang-Tidy checks for MISRA C 2023 and MISRA C 2012☆18Mar 28, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Toolset to do differential testing on the Clang Static Analyzer☆23Nov 21, 2022Updated 3 years ago
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 10 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆37May 13, 2026Updated 2 months ago
- Portable way to interface your SmartMesh device over its serial interface☆12Oct 1, 2015Updated 10 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 11 years ago
- CANaerospace library cloned from bitbucket☆15Jul 15, 2018Updated 8 years ago
- A Lock Free Bipartite Buffer Library written in standard C++11☆14May 21, 2023Updated 3 years ago
- Clang AST viewer☆68Apr 19, 2017Updated 9 years ago
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- ChibiOS based USB bootloader. (Outdated, see fpoussin/Motolink for examples)☆13Sep 26, 2014Updated 11 years ago
- Examples of clang-tidy plugins☆36Apr 8, 2025Updated last year
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- ☆10Mar 31, 2016Updated 10 years ago
- Generic Conan recipes for CMake and Python projects.☆15Sep 25, 2019Updated 6 years ago
- Dump data from LG VCR HDD☆13Jan 17, 2017Updated 9 years ago
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- Some tools for JSGF grammar expansion. Generate sentences from a JSGF Grammar. I originally wrote this over the course of a week, so I se…☆17Oct 6, 2025Updated 10 months ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- A delicious Python treat that makes on-target testing sweet and satisfying.☆40Mar 20, 2025Updated last year
- CRAX: software CRash analysis for Automatic eXploit generation☆53Aug 19, 2015Updated 10 years ago
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- Recreation of Lode Runner The Legend Returns☆15Feb 13, 2020Updated 6 years ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 2 years ago
- Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries☆245Feb 15, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- C++ variant data type with on-the-fly conversion☆12May 15, 2025Updated last year
- C++ standard proposals☆16Mar 24, 2026Updated 4 months ago
- Clang SA checkers developed as part of the Melange framework☆17Nov 30, 2015Updated 10 years ago
- GLSL development environment☆32May 13, 2022Updated 4 years ago
- Clank is a Java-port of popular Clang frontend☆38Oct 27, 2017Updated 8 years ago
- Clang environment configured as a cross-compiler for ARMv4 & ARMv5 without any GCC dependency☆12Jan 8, 2018Updated 8 years ago