Email Record: Static analysis of software