4 ms·
> Nearly all of the "bugs" found by the static analyzer won't actually be bugs Which static analyzer is this? Every tool I've used only finds bugs the are prov
by NavinF 3y ago
> Nearly all of the "bugs" found by the static analyzer won't actually be bugs
Which static analyzer is this? Every tool I've used only finds bugs the are provable so the false positive rate is essential zero
- kevin_thibedeau 3y agoPlenty of C/C++ static analysis tools have pedantic rules that flag correct code. Effective use of them means going through which rules you want to disable to minimize the unproductive make-work of satisfying the machine.