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☆178May 21, 2018Updated 7 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 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
- Toolset to do differential testing on the Clang Static Analyzer☆22Nov 21, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆30Mar 20, 2026Updated last week
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 9 years ago
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 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
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries☆245Feb 15, 2017Updated 9 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆35Nov 8, 2019Updated 6 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
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- Clang AST viewer☆69Apr 19, 2017Updated 8 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- Dump data from LG VCR HDD☆13Jan 17, 2017Updated 9 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆50Aug 19, 2015Updated 10 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.
- a simple header-only json serialization solution for c++ based on picojson☆13Dec 25, 2016Updated 9 years ago
- Noah for Windows☆26Feb 1, 2021Updated 5 years ago
- Building Analysis Ready Data of Sentinel-1 time series☆21Updated this week
- A delicious Python treat that makes on-target testing sweet and satisfying.☆40Mar 20, 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
- Clang environment configured as a cross-compiler for ARMv4 & ARMv5 without any GCC dependency☆12Jan 8, 2018Updated 8 years ago
- A tool to dump OpenCL platform/device information☆10Sep 15, 2020Updated 5 years ago
- 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
- An open hardware reference design of a 500 W integrated propeller drive based on the Mitochondrik LV motor control chip. It includes a mo…☆14Aug 21, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Examine, a memory leak checker on Windows☆13Jun 4, 2016Updated 9 years ago
- Find headers that are slow to compile☆12Mar 2, 2018Updated 8 years ago
- Enencumbered allows Cucumber to support step definitions written in D☆15Jul 10, 2016Updated 9 years ago
- Source code for 'Expert .NET 2.0 IL Assembler' by Serge Lidin☆17Mar 29, 2017Updated 9 years ago
- µSer portable serialization library for C++☆10Oct 25, 2020Updated 5 years ago
- Recreation of Lode Runner The Legend Returns☆14Feb 13, 2020Updated 6 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 13 years ago