Rules for Developing Safety Critical Code [pdf]

Re:Rules for Developing Safety Critical Code [pdf] by bprs on Friday January 16, 2015 @07:52AM (#8898519)

Any recommendation of a good static source code analyzer for C++ ?

[ Parent | on HN ]

Re:Rules for Developing Safety Critical Code [pdf] by RogerL on Friday January 16, 2015 @09:54AM (#8899201)

PVS Studio has always seemed to catch the most errors for me. It is by far worth the price if you s/w is at all important to you. But no tool is perfect. I also run cppcheck, Microsoft's VS (never liked that one much).

Haven't tried Clang because I am on Windows for my C++ stuff.

[ Parent | on HN ]

Re:Rules for Developing Safety Critical Code [pdf] by AndreyKarpov on Saturday January 17, 2015 @04:45AM (#8903978)

Updatable List of Open-Source Projects Checked with PVS-Studio: http://www.viva64.com/en/a/0084/

[ Parent | on HN ]