Secure Programming With Static Analysis by Brian Chess & Jacob West