A tool for checking code