Text this: Static analysis of regular expressions