实时操作系统（RTOS）在读取用户空间内存时，如果多次读取同一地址且未保证一致性，容易产生双重获取（double-fetch）漏洞。传统静态分析无法检查商业现货（COTS）RTOS内核，而依赖宽时间窗口阈值的动态启发式方法误报率高且模拟开销大。针对这一问题，本文提出 ISOLATOS，这是首个硬件支持的 COTS RTOS 双重获取漏洞检测框架。ISOLATOS 利用现代 CPU 的内核隔离特性（如基于页错误捕获跨域访问），通过触发页错误来记录每次用户内存获取的元数据，并根据系统调用生命周期判定同一次系统调用中的多次获取是否为双重获取漏洞。研究团队在 QNX、VxWorks 和 seL4 三个广泛使用的 RTOS 上进行了评估，结果表明 ISOLATOS 相比最先进的基于模拟的检测器，运行时开销降低了 79.3 倍，同时具有更低的误报率。该方法发现了 43 个先前未知的 COTS RTOS 漏洞，其中 41 个获得厂商确认，2 个被分配了 CVE 编号。此外，作者在汽车系统中验证了这些漏洞的实际影响。该研究为 COTS RTOS 的安全性分析提供了新思路，特别适用于对封闭内核进行漏洞挖掘的场景。

该论文提出了一种名为 SafeFetch 的实用双取（double-fetch）漏洞防御机制。双取漏洞是一类经典的内核竞争条件漏洞，攻击者通过在两次内核数据获取之间修改数据，绕过安全检查，导致权限提升或信息泄露。现有防御方法如永久修复或动态检测存在性能开销大、部署困难等问题。SafeFetch 基于内核获取缓存（Kernel-Fetch Caching）思想，在内核中缓存首次获取的数据，后续获取直接返回缓存内容，从而消除竞争窗口。作者在 Linux 内核上实现了原型，并评估了性能开销和安全性。实验表明，SafeFetch 能够有效防御已知的双取漏洞，且性能开销极低（平均 < 1%），具备实际部署的可行性。该工作为内核安全提供了一种轻量级、通用的防御方案。