Add section on the Clang Static Analyzer