11,8 тыс подписчиков
Новый метод позволяет искать уязвимости без запуска ПО
#наука_мгу
На факультете вычислительной математики и кибернетики МГУ разработан новый метод, позволяющий ускорить статический анализ программного обеспечения. Статический анализ используется для поиска ошибок и уязвимостей без запуска программ, однако при обработке сложных проектов объем логических условий быстро возрастает, что снижает производительность анализа.
Ученые предложили метод подстановок и многоуровневую систему упрощения логических формул, возникающих в процессе символьного выполнения программ. Разработанный подход позволяет уменьшить сложность вычислений, сократить потребление ресурсов и повысить эффективность поиска потенциальных уязвимостей в крупных программных системах.
Около минуты
8 июня