Chad Smith

A guided tour of how clang catches null-pointer dereferences at compile time, following your code from text to AST to control-flow graph to the dataflow analysis that flags unsafe derefs.