A source-code analysis tool.