Email Record: Improving Static Analysis for Software Security at Compile-time and Runtime /