Secure programming with static analysis - Chess, Brian (Addison-Wesley, 2007)