Современные технологии статического анализа кода
Евгений Рыжков
Многие разработчики до сих пор думают, что статический анализ кода – это утилита типа lint из 80-х годов, которая с помощью регулярных выражений находит только самые примитивные ошибки. К счастью, это давно не так. Анализ потока данных, символьное выполнение, аннотиров…
...