All geek questions in one place

Has anyone created a C file for checking code verification tools for MISRA-2004?

We use PC-Lint to check the code of our sources for compliance with MISRA-2004. Since this is a security project and we are heading for the TUV certificate, we need to show evidence of our confidence in this tool (they do not accept anything like "I have used it many times").

Our goal is to have a complete set of negative tests, checking the tool for each MISRA-2004 rule, breaking it and causing an error or warning with the tool.

Has anyone already done this and are you ready to share your result / C code?

+3
source share
3 answers

- MISRA, MISRA "Exemplar Suite" MISRA . (), " MISRA C". exhuastive, .

+2

, , , Gimpel MISRA 1998, 2004 . , , Lint , , , .

, MISRA: 2004. MISRA 1998.

+1

- QA-C MISRA

0

Source: https://habr.com/ru/post/1784701/

More articles:


All Articles