Trail of Bits, AI 보안 패치용 patching-bugs 및 regression-hunt 플러그인 공개

• Trail of Bits가 patching-bugs와 regression-hunt 플러그인을 공개하여 엔지니어가 패치 개발과 회귀 테스트를 AI 에이전트에 위임할 수 있도록 함
• regression-hunt는 베이스라인 Codex 에이전트 대비 95% 신뢰 수준(14~38%)에서 위양성(false-positive) 탐지 건수를 25% 감소시킴
• Patch the Planet 이니셔티브의 병합된 PR 130건 이상을 검토하여 21건의 회귀 버그를 확인함 (기능 16건, 성능 1건, 빌드/테스트 4건)
• 모든 주장에 대해 실행 중인 인스턴스에 대한 라이브 개념 증명(live proof of concept)을 요구하여 근거 기반 검증을 보장함

Design Principles

• 좋은 패치나 실제 회귀 버그의 기준에 대한 구체적인 판단만 기록하여 에이전트의 재량권을 최소화하는 의견 기반 가이드라인 적용
• 모듈화된 단계 구성으로 스킬을 단독 또는 병렬로 사용할 수 있으며, 고정된 스키마를 통해 이전 단계의 작업을 검증함
• 모든 결론은 실제 사용자 인터페이스를 통해 실행 중인 프로젝트 인스턴스에 대한 라이브 개념 증명을 기반으로 함

Workflow Mechanics

• regression-hunt는 코드 변경 사항을 실제 인터페이스로 추적하여 후보 회귀 버그를 나열한 뒤, 새로운 컨텍스트의 에이전트에서 재현 및 재실행함
• patching-bugs는 원본 코드 실패, 패치된 코드 통과, 완전한 되돌림 시 다시 실패라는 3단계 증명을 요구함
• 특정 버그 인스턴스 수정이 아닌 근본적인 보안 불변식(invariant) 복구에 초점을 맞춘 인вариан트 기반 수리 방식 적용

Configuration and Context

• 유효한 버그 리포트의 자산, 신뢰 경계, 증거 요구 사항을 정의하기 위해 THREAT_MODEL.md 파일 필수
• 빌드 프로세스, 수정 범위, 회귀 테스트 요구 사항을 에이전트에 지시하기 위해 PATCHING_GUIDELINES.md 또는 AGENTS.md 파일 사용
• 유지보수자가 프로젝트 고유 보안 가정을 제공하여 에이전트가 프로젝트의 확립된 규칙 내에서 작동하도록 보장함