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☆184May 21, 2018Updated 8 years ago
- Clang-Tidy checks for MISRA C 2023 and MISRA C 2012☆20Mar 28, 2026Updated 7 months ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆39Oct 5, 2026Updated 3 weeks ago
- ☆19Jan 31, 2014Updated 12 years ago
- Generates C-Function wrappers and mocks for use in C++☆12Dec 15, 2012Updated 13 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Bazel C++ Pybind11 Sample☆12Oct 20, 2026Updated last week
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆12May 20, 2019Updated 7 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆24Nov 21, 2022Updated 3 years ago
- CMSIS v3.20 Bootstrapping Templates for GNU ARM Tools☆14Apr 25, 2017Updated 9 years ago
- A C++ builld time analyzer☆13Apr 22, 2024Updated 2 years ago
- Examples of clang-tidy plugins☆37Apr 8, 2025Updated last year
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆40Nov 8, 2019Updated 6 years ago
- Convert setup.cfg, etc. to pyproject.toml files☆14Mar 30, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- clang based C++ code indexer and web browser, sbexr.rabexc.org☆30Jan 12, 2020Updated 6 years ago
- Work with micro-controller special function register in gdb.☆18May 16, 2017Updated 9 years ago
- Wan 2.2 Animate VFX workflow for AI face, head, and full character replacement in motion. Designed for production-style compositing with …☆31Dec 30, 2025Updated 10 months ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆10May 5, 2026Updated 5 months ago
- ☆13Jul 27, 2026Updated 3 months ago
- Minimal Rust Crates for Blinking LEDs☆11Aug 27, 2017Updated 9 years ago
- Assembly code to use for Windows kernel shellcode to edit winlogon.exe ACL☆13Mar 6, 2017Updated 9 years ago
- ECE 5745 Tutorial 6: Automated ASIC Flow☆10Feb 4, 2022Updated 4 years ago
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LLVM-based Static Analysis Framework☆43Updated this week
- VulnMiner: A Comprehensive Framework for Vulnerability Detection in C/C++ Source Code☆13Apr 24, 2024Updated 2 years ago
- 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
- Tool for providing static analysis of items in Clang's compilation database.☆13May 11, 2021Updated 5 years ago
- This repository contains CGRA-ME Framework from University of Toronto. This is uploaded in this repository only for quick and easy access…☆13Nov 15, 2021Updated 4 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- ☆10Updated this week
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Dump data from LG VCR HDD☆13Jan 17, 2017Updated 9 years ago
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18May 25, 2026Updated 5 months ago
- The PE for the second generation CGRA (garnet).☆18Updated this week
- Simple generic timeline editor for Qt☆10Sep 25, 2013Updated 13 years ago
- Paper and test code for C++ bindings/API for userspace RCU☆15Aug 4, 2025Updated last year
- A highly optimized ComfyUI wrapper for **DreamID-V**, bringing robust identity-preserving video generation to ComfyUI. This implementatio…☆39Jan 12, 2026Updated 9 months ago