rettichschnidi / clang-tidy-misraView external linksLinks
MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
☆175May 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
Sorting:
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆28Updated this week
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Oct 15, 2025Updated 4 months ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,532Feb 10, 2026Updated last week
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆34Nov 8, 2019Updated 6 years ago
- MISRA-C:2004 simplest rules checker☆28Feb 24, 2011Updated 14 years ago
- ThingSet SDK for Zephyr RTOS☆19Dec 19, 2025Updated last month
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 2 months ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Analyses C/C++ build output for code size, static variables, and stack usage☆79May 28, 2020Updated 5 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated last month
- ☆10Mar 31, 2016Updated 9 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Nov 11, 2025Updated 3 months ago
- An AVR Arduino bootloader that supports uploads over Ethernet (via TFTP) and Serial.☆14Mar 25, 2022Updated 3 years ago
- ☆10Feb 19, 2016Updated 9 years ago
- MISRA-C Check on VSCode☆27Jan 4, 2021Updated 5 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Franca to ARA interface integration and demo code☆26May 11, 2019Updated 6 years ago
- A Qt widget and QML component for rendering online and offline tile-based maps with Python (PySide6) support.☆23Feb 2, 2026Updated 2 weeks ago
- BLE_to_TCP Gateway☆12Oct 11, 2016Updated 9 years ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆12Apr 28, 2025Updated 9 months ago
- Expose application JMX properties via SNMP☆21Feb 16, 2022Updated 4 years ago
- Thread Border Router based on OpenWRT and wpantund☆11Aug 20, 2018Updated 7 years ago
- Precision Time Protocol (ptp) tiny implementation aimed at embedding.☆13Mar 22, 2017Updated 8 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- ☆12Jun 13, 2021Updated 4 years ago
- Microsoft's Embedded Tools VS Code extension. The repo is now deprecated and archived.☆49Dec 18, 2025Updated last month
- An implementation of Microsoft Debug Adapter Protocol server which works with GDB.☆30Jan 23, 2024Updated 2 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- A set of demos as supplements of cell-phone-ux-demo☆13Feb 7, 2026Updated last week