Are there any open-source or free tools out there, that check the MISRA C compliance?
Free tools to check compliance with MISRA C?
32.4k Views Asked by Vladimir Keleshev At
2
There are 2 best solutions below
2
begarco
On
Cppcheck (free and open source) has an official addon allowing to check MISRA-C 2012 rules.
The way to do so:
- cppcheck --dump file.c
- python misra.py file.c.dump
You can simply find misra.py in your Cppcheck installation or here: https://github.com/danmar/cppcheck/blob/master/addons/misra.py
Related Questions in C
- How to call a C language function from x86 assembly code?
- What does: "char *argv[]" mean?
- User input sanitization program, which takes a specific amount of arguments and passes the execution to a bash script
- How to crop a BMP image in half using C
- How can I get the difference in minutes between two dates and hours?
- Why will this code compile although it defines two variables with the same name?
- Compiling eBPF program in Docker fails due to missing '__u64' type
- Why can't I use the file pointer after the first read attempt fails?
- #include Header files in C with definition too
- OpenCV2 on CLion
- What is causing the store latency in this program?
- How to refer to the filepath of test data in test sourcecode?
- 9 Digit Addresses in Hexadecimal System in MacOS
- My server TCP doesn't receive messages from the client in C
- Printing the characters obtained from the array s using printf?
Related Questions in STANDARDS
- Does the qsort() function provide performance guarantees?
- Are all Oracle alert log errors 5 Digits long?
- Are these three default constructors equivalent in C++?
- Concept vs. Typename Parameter in Template Template
- Why does std::memory_order_acq_rel always trigger warnings in C++11?
- I am trying create standard logic app with workflows in it using arm template
- in my date column some rows i have 10/12/2007 and in some rows 10-12-2007 now i want to transfer the date into 2007-12-10 in big query
- Why can't C++ using-declaration expose a protected member of base as a public member of derived?
- Is `int(int) const` a valid function type in C++23?
- Why doesn't std::source_location provide lengths to avoid performance penalty in C++20?
- Why isn't it an error if the arguments are more than required in std::format?
- How much of the C++ standard library requires compiler support?
- How to ensure that the input of a function is within a list of options?
- Is it safe to use fmax for integer types in C?
- Graphql date range as input field
Related Questions in MISRA
- MISRA C:2012 11.3 violation casting (float *) to (uint32_t *)
- How to exclude files for MISRA compliance in make file
- MISRA C:2012 Rule 14.3
- Efficient solutions for vector type definitions and data protection in C
- Fix misra 14.4 violation in macro function
- How to generate a Rule Compliance report with Helix QaC that includes the line of code where a violation occurred?
- MISRA C advises against malloc, does this mean calloc is far more secure?
- Cppcheck GUI : How to enable Cppcheck MISRA addons via the GUI?
- MISRA C:2012 Rule 11.3 A cast shall not be performed between a pointer to object type and a pointer to a different object type
- Confirmation for inappropriate choice of macro definition name in C
- How to add headerfile path in Cppcheck
- Unable to Handle MISRA error 13.2 using a volatile pointer
- MISRA-C Violations for function like macros in Trusted Firmware-A(TFA) code
- Why inline functions also need prototypes (MISRA C 2012 Rule 8.4)
- friend inline functions violates MISRA C 2012 Rule 8.10
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular # Hahtags
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
Relatively speaking, PC-Lint is virtually free when compared to full-blown static analysis tools with MISRA compliance checks. Furthermore, I have found that PC-Lint does a better job of reporting than those expensive (i.e. >$20,000) tools.