А.1. Статический анализ программы