Email Record: Using static analysis to find bugs.