time-of-check to time-of-use

Bulkhead框架使用LLM自动化容器逃逸漏洞检测

一个名为Bulkhead的新框架已被开发出来，用于自动检测和修复容器逃逸漏洞，特别是路径遍历（PaTra）缺陷。该系统将大型语言模型（LLM）与形式化方法相结合，以分析容器化代码，识别不安全的宿主机-容器交互，并生成概念验证（proof-of-concept）漏洞利用程序来指导修复过程。Bulkhead旨在通过提供一个可扩展且高效的解决方案来保护利用容器内共享资源的AI工作负载，从而克服现有内核级保护和手动代码审计的局限性。