"Static Analysis" - читать интересную книгу автора (Patrick Cousot)