Software is [safety-critical] when an incorrect response or an incorrectly timed response can result in significant loss to its users; in the most extreme case, loss of life may result from such failures.
Cppcheck allows you to create your own rules files, but I don't know how much of cppcheck's functionality is exposed. …
c++ testing static-code-analysis cppcheck safety-critical