Static analyzers often also find issues that look suspicious and indicate that there's an error but don't have to really be an error. For instance here the chec

Static analyzers often also find issues that look suspicious and indicate that there's an error but don't have to really be an error. For instance here the check for variables that are always true. Another issues is that some analyses of static analyzers are too costly to do by the compiler.