187
click to vote
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...