Что такое статический анализ?