The zimcheck tool(source code)