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
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:
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆180May 21, 2018Updated 7 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 8 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
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆34Apr 3, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 9 years ago
- ☆18Sep 18, 2021Updated 4 years ago
- esbonio ([Sphinx] Python Documentation Generator) language server extension for coc.nvim☆12Jan 12, 2024Updated 2 years ago
- Work with micro-controller special function register in gdb.☆17May 16, 2017Updated 8 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Examples of clang-tidy plugins☆34Apr 8, 2025Updated last year
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries☆245Feb 15, 2017Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 4 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆36Nov 8, 2019Updated 6 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 11 years ago
- Clang AST viewer☆69Apr 19, 2017Updated 9 years ago
- A C++ library for parsing and manipulating JSGF grammar files.☆14Feb 13, 2024Updated 2 years ago
- ChibiOS based USB bootloader. (Outdated, see fpoussin/Motolink for examples)☆13Sep 26, 2014Updated 11 years ago
- ☆10Mar 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.
- 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 9 months ago
- CRAX: software CRash analysis for Automatic eXploit generation☆50Aug 19, 2015Updated 10 years ago
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 11 years ago
- load word embeddings to Torch.Tensor☆14May 12, 2016Updated 9 years ago
- Clang environment configured as a cross-compiler for ARMv4 & ARMv5 without any GCC dependency☆12Jan 8, 2018Updated 8 years ago
- OSFV infrastructure with automated tests and scripts for managing test results☆23Updated this week
- 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
- Examine, a memory leak checker on Windows☆14Jun 4, 2016Updated 9 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.
- Find headers that are slow to compile☆12Mar 2, 2018Updated 8 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☆21Mar 7, 2026Updated 2 months ago
- Source code for 'Expert .NET 2.0 IL Assembler' by Serge Lidin☆17Mar 29, 2017Updated 9 years ago
- Qt 编写的鉴权流程封装组件☆10Feb 17, 2017Updated 9 years ago
- Generate and compile LaTeX documents in the cloud☆17Aug 24, 2014Updated 11 years ago
- Symbols for swiss cantons based on their coat of arms.☆10Jul 17, 2019Updated 6 years ago