referencing a
null pointer, on the other hand, should stop analysis, as there is no way for
the program to meaningfully continue after such an error.

<p>If analysis can continue, then the most recent <tt>ExplodedNode</tt> 
generated by the checker can be passed to the <tt>BugReport</tt> constructor 
without additional modification. This <tt>ExplodedNode</tt> will be the one 
returned by the most recent call to <a
href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1CheckerContext.html#a264f48d97809707