Разработан модуль статического анализа для Python, предназначенный для поиска уязвимостей типа IDOR. Инструмент использует математическую логику для отслеживания связей между идентификаторами пользователей, объектами базы данных и проверками прав доступа, что позволяет выявлять ошибки, которые могут пропускать DAST-решения или эвристические методы анализа.
Модуль состоит из трех уровней: анализа исходного кода для поиска обработчиков запросов, сбора протокола данных и вынесения вердикта. Поддерживаются фреймворки Django, DRF, Flask и FastAPI. Система классифицирует данные по методу SIAOD, разделяя обычный ввод пользователя, идентификаторы для выбора объектов и ссылки на сами объекты.
Ключевое отличие подхода заключается в разграничении пользовательского ввода и идентификаторов, которые атакующий использует для выбора конкретной записи. Инструмент проверяет, доходит ли выбранный атакующим ID до выборки объекта и существует ли проверка, связывающая этот объект с текущим субъектом, что снижает количество ложных срабатываний.
Автор проекта сравнил свое решение с существующими инструментами, такими как Guardmarly и методами анализа на основе OpenAPI-спецификаций. В отличие от них, новый модуль анализирует доминирование проверок на пути исполнения кода и сопоставляет их с конкретными объектами, что позволяет точнее определять наличие защиты от несанкционированного доступа.
