Isolated Execution Environment for eBPF
a year ago
- #eBPF
- #Linux Kernel
- #Security
- Linux内核中的eBPF验证器面临安全漏洞和复杂性的挑战，这促使人们提出一种新的执行环境来隔离BPF程序以增强安全性。
- 验证器的工作流程包括预处理、控制流图检查（CFG）和全路径分析，以确保控制流完整性和内存安全。
- 全路径分析通过飞行中检查（inflight）和着陆检查（landing）来验证安全属性，追踪BPF对象的大小、权限和指针边界以防止未授权访问。
- 安全目标包括内存安全（SG-1）、防止信息泄露（SG-2）和缓解拒绝服务攻击（SG-3）。
- 验证器在能力与正确性困境中挣扎，包括状态爆炸问题和实现缺陷，这导致了对非特权eBPF程序的限制。
- 受JavaScript执行模型启发，提出了一种结合验证与隔离的混合安全框架，以平衡静态分析与动态执行的关系。