Adding Null-Dereference Warnings to Clang: A Guided Tour
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.
Chad Smith
Writing about software, tools, and building things.