Not avoided altogether. Static checkers cannot possibly follow all code paths, and they generally err on the side of false negatives rather than risking too many false positives causing people to disable them.
I wasn’t aware they preferred type II errors. That makes sense, but I don’t really expect tools like that to work across modules.
It depends on the specific tool and how it's configured. But that has been my experience with many tools configured with their recommended settings.