arXiv· Sixuan Dang·· 1 天前推荐指数28
DualGuard：兼顾顺序与推测执行的统一内存安全框架
DualGuard: Comprehensive and Efficient Memory Safety across Sequential and Speculative Execution
AI 导读
DualGuard 提出统一框架，在非推测与推测执行下同时保障内存安全，通过静态分析与运行时强制在 LLVM 基础设施中实现。它将内存行为分为四类并识别最小组合需求，从而组合既有缓解措施、避免冗余防护。评测显示其开销较碎片化防御的朴素组合降低 3%-72%，部分场景甚至低于仅保障单一执行模式的方案。
来源：arXiv · arxiv.org