Slide "Static code analysis"