Trail of Bits выпустила два новых плагина, patching-bugs и regression-hunt, предназначенных для автоматизации разработки исправлений и проверки регрессий для инженеров. Плагин patching-bugs выявляет ошибки, создает исправления и тестирует их, в то время как regression-hunt проверяет, что изменения кода не нарушают существующую функциональность. Эти инструменты являются продуктом инициативы Patch the Planet и основаны на обширном анализе исправлений безопасности и сессий инженеров. Они предлагают сопровождающим структурированный процесс, доказательства и лучшие практики для повышения эффективности их исправлений. Предварительные оценки показывают, что regression-hunt значительно снижает количество ложных срабатываний по сравнению с базовым ИИ-агентом.Компания внедрила эти плагины после того, как обнаружила регрессии в собственных исправлениях безопасности, осознав необходимость стандартизированных подходов как к созданию исправлений, так и к обнаружению регрессий. Плагины включают модульные шаги, строгие схемы ввода/вывода и выполнение доказательств концепции в реальном времени для каждого утверждения. Regression-hunt строго определяет регрессии и включает модели угроз для обеспечения полноты, что приводит к меньшему количеству ложных срабатываний ценой некоторых пограничных случаев. Patching-bugs обобщает лучшие практики из тысяч сессий ИИ, подчеркивая комплексное трехстороннее доказательство и ремонт, управляемый инвариантами.Будущая разработка будет сосредоточена на оценке patching-bugs, обучении на следах агентов и повышении настраиваемости. Для максимальной эффективности плагины требуют знания конкретного проекта, такие как THREAT_MODEL.md и PATCHING_GUIDELINES.md. Отрасль все больше нуждается в решениях на базе ИИ для ускорения процесса исправления ошибок, балансируя скорость и качество, и эти плагины призваны внести свой вклад в эту цель. Разработчикам рекомендуется устанавливать и использовать плагины, предоставлять контекст проекта и делиться отзывами для формирования будущих версий.