This tool is claimed to be able to find and fix bugs.