Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> 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



Plenty 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: