Text this: Program analysis revisited /