Static analysis tools can really be very useful, and they can detect potential errors. But there are always boundary cases. Some rules simply state "Don't do this", which might be a wise rule in general but frequently there are cases where the developer knows the general rule but decides that it does not apply in this particular case.