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☆29Updated 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☆15Oct 15, 2025Updated 4 months ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆34Nov 8, 2019Updated 6 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Aug 4, 2023Updated 2 years ago
- ThingSet SDK for Zephyr RTOS☆20Dec 19, 2025Updated 2 months ago
- OpenMRC: Open Source MISRA-C Rule Checker based on Eclipse CDT(C/C++ Development Tooling).☆29Nov 16, 2022Updated 3 years ago
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- Analyses C/C++ build output for code size, static variables, and stack usage☆79May 28, 2020Updated 5 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.☆589Updated this week
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 27, 2026Updated last week
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated 2 months ago
- ☆10Mar 31, 2016Updated 9 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Jenkins accurev plugin☆16Aug 26, 2024Updated last year
- ☆10Feb 19, 2016Updated 10 years ago
- An AVR Arduino bootloader that supports uploads over Ethernet (via TFTP) and Serial.☆14Mar 25, 2022Updated 3 years ago
- The Concurrent Design Desktop Application and Excel Integration compliant with ECSS-E-TM-10-25 Annex A and Annex C☆29Jan 12, 2026Updated last month
- Franca to ARA interface integration and demo code☆26May 11, 2019Updated 6 years ago
- Precision Time Protocol (ptp) tiny implementation aimed at embedding.☆13Mar 22, 2017Updated 8 years 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
- A Qt widget and QML component for rendering online and offline tile-based maps with Python (PySide6) support.☆23Feb 2, 2026Updated last month
- BLE_to_TCP Gateway☆12Oct 11, 2016Updated 9 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
- An implementation of Microsoft Debug Adapter Protocol server which works with GDB.☆30Jan 23, 2024Updated 2 years ago
- Microsoft's Embedded Tools VS Code extension. The repo is now deprecated and archived.☆50Dec 18, 2025Updated 2 months ago
- Fork of: https://sourceforge.net/p/wxsvg/git/☆12Apr 4, 2023Updated 2 years ago
- A set of demos as supplements of cell-phone-ux-demo☆13Feb 7, 2026Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- FreeRTOS tracing using BareCTF and Trace Compass☆12Aug 23, 2021Updated 4 years ago
- A journey in mutation testing☆13Jul 26, 2016Updated 9 years ago
- ☆16Updated this week
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago