MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
☆178May 21, 2018Updated 7 years ago
Alternatives and similar repositories for clang-tidy-misra
Users that are interested in clang-tidy-misra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆47Nov 10, 2017Updated 8 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆81Nov 4, 2021Updated 4 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆22Nov 21, 2022Updated 3 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆30Mar 20, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from…☆134Mar 20, 2024Updated 2 years ago
- MISRA_rules☆16Dec 5, 2020Updated 5 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,550Updated this week
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆35Nov 8, 2019Updated 6 years ago
- Helper scripts for C++ static analysis☆20Jul 20, 2021Updated 4 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- OpenMRC: Open Source MISRA-C Rule Checker based on Eclipse CDT(C/C++ Development Tooling).☆30Nov 16, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ThingSet SDK for Zephyr RTOS☆20Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 5 months ago
- C++ EDSL for describing dsp structures☆57Dec 4, 2017Updated 8 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.☆591Updated this week
- Peter Sommerlad's Simple Strong Typing☆34Oct 11, 2023Updated 2 years ago
- CAN Firewall project☆13Dec 17, 2015Updated 10 years ago
- Fork of: https://sourceforge.net/p/wxsvg/git/☆12Apr 4, 2023Updated 2 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- DEPRECATED! -> Project moved to xPack Dev Tools ->☆19May 25, 2019Updated 6 years ago
- Fortran Front-End☆14Jun 9, 2021Updated 4 years ago
- C Quality Metrics☆69Jun 14, 2022Updated 3 years ago
- Portable ASCII and Unicode string manipulation functions for C++.☆21May 14, 2017Updated 8 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- Material for hawkBit 101☆16Oct 30, 2019Updated 6 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Rules for usage of C language in critical systems☆61Mar 24, 2021Updated 5 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.
- Speedier handling of clang-tidy checking☆68May 9, 2019Updated 6 years ago
- Qt wrapper around Polkit-1 client libraries☆16Mar 7, 2026Updated 3 weeks ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- type-safe and low-boilerplate bit level serialization☆127Nov 5, 2021Updated 4 years ago
- a python package for PX4 ecl ekf analysis☆12Jun 12, 2025Updated 9 months ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Aug 4, 2023Updated 2 years ago