It is relatively easy to check these things with static analyzers, if nothing else.