Статический анализ обращений к массивам в последовательных Си-программахтезисы доклада