[TwoBit]

VC++ analysis is useful aside from the fact that it mistakenly thinks every pointer usage is a potential null pointer, but I've gotten better results with clang static analysis.

[marshray]

Every pointer is potentially null, until proven otherwise (which in the general case means solving the halting problem).