You can tune an analysis to be considerably more conservative and reduce false positives. The analysis becomes more like a semantically aware formatter. Doing most things related to pointers will lead to FPs, but you can still get value even if you are terrified of FPs.
We do lots of checks. Most of our code is C++ where we get a fair amount "free", and the few times where type checks get in the way they are easy to bypass in a natural way.
You can tune an analysis to be considerably more conservative and reduce false positives. The analysis becomes more like a semantically aware formatter. Doing most things related to pointers will lead to FPs, but you can still get value even if you are terrified of FPs.