Given a software project, we inspected code to find bugs and inconsistencies, and record and fix them. We also used automatic tools to find bugs.