Creed: поиск уязвимостей в коде через выявление скрытых допущений разработчика

Запрос «найди уязвимости» заставляет модель угадывать по знакомым шаблонам, поэтому смысловые дыры она пропускает. Метод Creed позволяет находить логические уязвимости в одной функции: забытую проверку владельца заказа, утечку через разницу в ответах «неверный логин» и «неверный пароль». Фишка: не ищи дыру, а выпиши, что автор считает само собой разумеющимся, и проверь, держится ли это. Модель работает с допущениями разработчика и сверяет намерение с реальным кодом. В итоге на одну подтверждённую уязвимость приходится около 8 находок вместо примерно 11 у конкурентов.