Text this: Secure programming with static analysis /