Using static analysis to find bugs. - Ayewah, Nathaniel