A source code checking tool.