В МГУ предложили метод ускорения статического анализа программ

Дата публикации: 08-06-2026 10:26:42

На факультете вычислительной математики и кибернетики МГУ создали метод, ускоряющий анализ программ на наличие ошибок и уязвимостей. Результаты были представлены в рамках конференции «Ломоносовские чтения».
Статический анализ позволяет проверять программное обеспечение без запуска программы. В процессе формируются логические условия, которые описывают возможные значения переменных в различных точках программы. При изучении различных путей выполнения алгоритма такие условия быстро усложняются и увеличиваются в размере. Это делает процесс медленнее, увеличивает потребление памяти и снижает масштабируемость при работе с большими программными проектами.
В работе рассматриваются методы упрощения таких условий, реализованные в статическом анализаторе SharpChecker, входящем в состав системы анализа программ Svace. Предложен метод подстановок, позволяющий упрощать логические формулы, возникающие в процессе символьного выполнения программы. Использование равенств между выражениями позволяет заменять переменные и уменьшать сложность логических условий.
Кроме того, разработана многоуровневая система упрощения формул. Она применяется по мере построения новых условий и включает выявление противоречивых ограничений, применение преобразований на основе законов булевой алгебры и эвристические ограничения сложности формул.
«Одним из ключевых элементов системы является метод подстановок. Он позволяет использовать равенства между выражениями для упрощения других ограничений внутри предикатных формул и тем самым уменьшать их сложность при статическом анализе программ», — отметил доцент кафедры системного программирования факультета ВМК МГУ Валерий Игнатьев.

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	В МГУ прошла одна из старейших конференций России по компьютерной лингвистике	0	5	26-06-2026
2	В МГУ предложили способ точной оценки качества автоматической сортировки писем	0	5	16-06-2026
3	В МГУ предложили метод распознавания 3D–объектов с меньшими затратами памяти	5	7	24-06-2026
4	Интервью с Грегом Кроа-Хартманом о созданных через AI отчётах об ошибках	0	7	26-03-2026
5	Этика и академическая честность в эпоху нейросетей: где грань между умным помощником и плагиатом?	0	8	01-01-1970
6	X. Главное происходит здесь.	0	8	27-06-2026
7	Аналитика. В Саратовской области внедряется SMS-правосудие	0	5	26-06-2026
8	Безопасность на скорости кода: ИИ-триаж и кодфикс в Solar appScreener 3.16 в 10 раз увеличивают емкость команды AppSec	5	7	24-06-2026
9	Эксперт Скорб: премия "Вызов" сделала химию модной для российских корпораций	0	0	20-02-2025
10	В России создали программу, в разы снижающую затраты на проектирование ветроустановок	0	0	17-07-2019

Классификация: . Схожих патентов: 0. Схожих новостей: 10. Тональность: 5. Информативность: 7. Источник: cs.msu.ru.