The source code checker