"Secure Programming with Static Analysis" - читать интересную книгу автора (Brian Chess, Jacob West)