Text this: Advanced symbolic analysis for compilers :