eBPF 验证器安全困境与新型隔离执行环境

eBPF 作为 Linux 内核基础技术，其验证器面临安全漏洞和复杂性挑战。研究人员提出了一种新的范式：将 BPF 程序定义为需要专用隔离的内核模式应用程序，并设计了一种新的执行环境来隔离 BPF 程序，增强 eBPF 的安全性和可扩展性。该项目对 Linux v6.16 中的 eBPF 验证器进行了深入分析，揭示了其全路径分析中存在的安全属性、能力困境和正确性困境，并提出了结合验证和隔离的混合安全框架，为 eBPF 的未来发展指明方向。