![]() ![]() ![]() So initially we have been critical to the MISRA standards and haven't planned to introduce them for a long time. Eventually, he'll be able to focus on bugs. A developer can run it on a large code base and be certain that he won't be overwhelmed by the incredible number of warnings on his coding style. We decided that PVS-Studio will be the analyzer which is specifically looking for errors. However, in this case analyzers become very noisy and they generate a huge number of warnings, in which bug related warnings can be hardly found. They suggest how to name the variables better, remind to paste comments at the beginning of the file, and so on. Many analyzers are on a different path and implement diagnostics related to coding standards. You can run PVS-Studio on a code base to detect old errors and then use the analyzer regularly to find new defects as early as possible. We believe, the ability to simply start using our analyzer in an already existing large project is its strong point. ![]() The purpose of the standards is to improve safety, portability and reliability of programs for embedded systems. These are standards of software development in C and C++ languages, created by MISRA (Motor Industry Software Reliability Association). Now time has come for MISRA C and MISRA C++ standards. Mapping tables of PVS-Studio diagnostics to different standards: In addition, to comply better to these standards, several new diagnostics were implemented and the old ones were extended. Basically support itself came down to classifying diagnostics which have already been implemented in the analyzer according to these standards. ![]() This year we took up supporting of such standards, as CWE and SEI CERT in the PVS-Studio analyzer. It provides the mapping table of the PVS-Studio diagnostics and rules described in the MISRA C:2012 and MISRA C++:2008. Our site now has the new section " Classification of PVS-Studio warnings according to the standards: MISRA C, MISRA C++". ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |