Email Record: Advanced symbolic analysis for compilers :