Text this: Static analysis of software :