Comment by derekerdmann

Static analyzers are NOT formal methods. Reporting no issues just means your tool didn’t find anything, not that your program is correct.