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:
- 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 5 months ago
- Toolset to do differential testing on the Clang Static Analyzer☆24Nov 21, 2022Updated 3 years ago
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆38May 13, 2026Updated 4 months ago
- ☆19Sep 18, 2021Updated 5 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 11 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆39Nov 8, 2019Updated 6 years ago
- Clang AST viewer☆70Apr 19, 2017Updated 9 years ago
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 5 years ago
- tinkering with befinitiv's wifibroadcast project☆11Dec 5, 2015Updated 10 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years 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.
- ChibiOS based USB bootloader. (Outdated, see fpoussin/Motolink for examples)☆13Sep 26, 2014Updated 11 years ago
- Examples of clang-tidy plugins☆37Apr 8, 2025Updated last year
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- Paper and test code for C++ bindings/API for userspace RCU☆15Aug 4, 2025Updated last year
- 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
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 12 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- The Interface Exchange Framework. Tools for processing interface/API descriptions in different formats, including the IFEX core format.…☆24Aug 20, 2026Updated 3 weeks 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.
- 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
- Source code for 'Expert .NET 2.0 IL Assembler' by Serge Lidin☆17Mar 29, 2017Updated 9 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆53Aug 19, 2015Updated 11 years ago
- µSer portable serialization library for C++☆10Oct 25, 2020Updated 5 years ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 3 years ago
- Recreation of Lode Runner The Legend Returns☆15Feb 13, 2020Updated 6 years ago
- Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries☆244Feb 15, 2017Updated 9 years ago
- ☆38Jan 4, 2015Updated 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.
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Python tool to fetch data from the Huawei E3372 HiLink LTE Stick or the E5332 UMTS hotspot via their XML APIs.☆11Mar 25, 2016Updated 10 years ago
- C++ standard proposals☆16Mar 24, 2026Updated 5 months ago
- A little script that can convert Clang-Tidy output to a JUnit XML file.☆30Apr 19, 2026Updated 5 months ago
- Program Round-off Error Certifier via Static Analysis☆60Updated this week
- An Irssi script to notify the user about incoming messages☆15Jun 18, 2019Updated 7 years ago
- Publish C++ vulnerability rules working drafts on github pages☆23Updated this week