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☆181May 21, 2018Updated 8 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 8 years ago
- Helper scripts for C++ static analysis☆20Jul 20, 2021Updated 4 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
- Toolset to do differential testing on the Clang Static Analyzer☆22Nov 21, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- esbonio ([Sphinx] Python Documentation Generator) language server extension for coc.nvim☆12Jan 12, 2024Updated 2 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆35May 13, 2026Updated last month
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Bazel C++ Pybind11 Sample☆12Mar 23, 2026Updated 2 months ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- Yocto based Linux distribution for Internet of Things capable low profile SBCs.☆12Jun 8, 2019Updated 7 years ago
- Examples of clang-tidy plugins☆36Apr 8, 2025Updated last year
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries☆245Feb 15, 2017Updated 9 years ago
- A Lock Free Bipartite Buffer Library written in standard C++11☆14May 21, 2023Updated 3 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- git-cvs is a tool to incrementally import changesets from CVS into a Git repository with stable commit hashes.☆15Oct 29, 2015Updated 10 years ago
- Clang AST viewer☆69Apr 19, 2017Updated 9 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆37Nov 8, 2019Updated 6 years ago
- ChibiOS based USB bootloader. (Outdated, see fpoussin/Motolink for examples)☆13Sep 26, 2014Updated 11 years ago
- A fork of http://code.google.com/p/jpeg-opencl/☆11Dec 26, 2012Updated 13 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Slides and resources from CPPP 2019☆11Sep 27, 2019Updated 6 years ago
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 11 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☆51Aug 19, 2015Updated 10 years ago
- ☆13Dec 28, 2013Updated 12 years ago
- A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.☆21Sep 22, 2020Updated 5 years ago
- load word embeddings to Torch.Tensor☆14May 12, 2016Updated 10 years ago
- An open hardware reference design of a 500 W integrated propeller drive based on the Mitochondrik LV motor control chip. It includes a mo…☆14Aug 21, 2024Updated last year
- CANaerospace library cloned from bitbucket☆15Jul 15, 2018Updated 7 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.
- 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 8 months ago
- Generate and compile LaTeX documents in the cloud☆17Aug 24, 2014Updated 11 years ago
- Symbols for swiss cantons based on their coat of arms.☆10Jul 17, 2019Updated 6 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 13 years ago
- C++ variant data type with on-the-fly conversion☆12May 15, 2025Updated last year
- C++ standard proposals☆16Mar 24, 2026Updated 2 months ago