연구진이 LLM과 형식적 방법을 결합한 컨테이너 탈출 취약점 자동 감지 및 복구 프레임워크 'Bulkhead'를 개발했어요. Bulkhead는 호스트-컨테이너 상호작용으로 인한 경로 탐색(PaTra) 취약점을 다차원 지식 패턴으로 분석하고, 취약점 감지 및 패치 생성을 자동화해요. 감지 파이프라인은 고위험 기능 패턴을 적용해 취약점 진입점을 찾고, 패치 파이프라인은 모델 검증 템플릿을 활용해 복구 정확성을 보장해요.