Статический анализ кода с одной стороны тема изученная и становится мейнстримом в цикле разработки крупных компаний и не очень. Однако сам по себе статический анализ имеет множество нюансов и граней, не все то, что статический анализ - это действительно статический анализ, тем более когда дело касается безопасности - возникают свои особенности и нюансы. Немного лайтового блюза про анализ и анализаторы
Слайды в комментариях