Static Analysis in Motion. - Brian Chess; Kris Britton; Chris Eng; Bill Pugh; Lakshmikanth Raghavan; Jacob West (IEEE Secur. Priv., 2012)