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:
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 9 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
- esbonio ([Sphinx] Python Documentation Generator) language server extension for coc.nvim☆12Jan 12, 2024Updated 2 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.
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- clang based C++ code indexer and web browser, sbexr.rabexc.org☆30Jan 12, 2020Updated 6 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- 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
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 5 years ago
- Clang AST viewer☆69Apr 19, 2017Updated 9 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 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.
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆38Nov 8, 2019Updated 6 years ago
- tinkering with befinitiv's wifibroadcast project☆11Dec 5, 2015Updated 10 years ago
- Slides and resources from CPPP 2019☆11Sep 27, 2019Updated 6 years ago
- ☆10Mar 31, 2016Updated 10 years ago
- Dump data from LG VCR HDD☆13Jan 17, 2017Updated 9 years ago
- Paper and test code for C++ bindings/API for userspace RCU☆15Aug 4, 2025Updated 11 months ago
- Noah for Windows☆28Feb 1, 2021Updated 5 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆52Aug 19, 2015Updated 10 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
- 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.
- load word embeddings to Torch.Tensor☆14May 12, 2016Updated 10 years ago
- A tool to dump OpenCL platform/device information☆10Sep 15, 2020Updated 5 years 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
- Simple tool to monitor connectivity by pinging an external server☆16Apr 20, 2024Updated 2 years ago
- Examine, a memory leak checker on Windows☆14Jun 4, 2016Updated 10 years ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 2 years ago
- A compact implementation of the Cyphal/UDP protocol in C for high-integrity real-time embedded systems☆23Jul 2, 2026Updated last week
- µSer portable serialization library for C++☆10Oct 25, 2020Updated 5 years ago
- Qt 编写的鉴权流程封装组件☆10Feb 17, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Recreation of Lode Runner The Legend Returns☆14Feb 13, 2020Updated 6 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 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 3 months ago
- Clang SA checkers developed as part of the Melange framework☆17Nov 30, 2015Updated 10 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,583Updated this week