Secure Programming With Static Analysis door Brian Chess & Jacob West