Text this: Advanced Symbolic Analysis for Compilers