3 ms·
Static analyzers are NOT formal methods. Reporting no issues just means your tool didn’t find anything, not that your program is correct.
by derekerdmann 3y ago
Static analyzers are NOT formal methods. Reporting no issues just means your tool didn’t find anything, not that your program is correct.
- adrianN 3y agoFormal methods do not necessarily prove the absence of bugs either.
- worik 3y ago> Formal methods do not necessarily prove the absence of bugs either. They can demonstrate the bugs, when found, are in the specifications Or in the methods....
- int0x80 3y agoIf a static analyzer is sound, which is something that can be mathematically proven (formal method), will find ALL existing issues plus some false positives if it's not complete (which is almost always the case).