Agree. Even when all static analyzers in the world would say "Error free" it doesn't mean that your code is really error free. It just says that their implementation wasn't able to detect the other possible errors in your code.
Btw. one of the first steps to zero-defect software is an appropriate programming language. I wouldn't choose C oder C++ but Ada or SPARK or so.
2 comments
[ 2.8 ms ] story [ 10.2 ms ] threadThe one thing that may possibly create zero-defect software is formal proof, but that is far from being practical.
Btw. one of the first steps to zero-defect software is an appropriate programming language. I wouldn't choose C oder C++ but Ada or SPARK or so.