本文面向无源码场景下的 AArch64 机器码漏洞检测问题，提出了一种基于数字孪生（Digital Twin）的可解释检测方法。传统二进制分析手段往往依赖符号执行或模糊测试，计算开销大且难以覆盖多步利用模式；同时很多现有工具只报告孤立的危险指令，无法给出完整上下文。该方法首先在虚拟机或模拟器中具体执行目标程序，记录寄存器、处理器标志、内存内容以及活跃分配块的完整状态，将每条指令转换为包含指令名称、操作数值和后指令状态的跟踪事件。漏洞模式被形式化为带测试的 Kleene 代数（KAT）中的符号规则，每条规则由事件序列和针对机器状态的谓词构成，因此可以表达跨多条指令的复杂行为。这些规则被编译成有限自动机，在扫描跟踪时无需调用 SMT 求解器，保证了效率。实验覆盖了三个典型 CWE：整数溢出（CWE-190）、空指针解引用（CWE-476）和堆缓冲区溢出（CWE-122）。系统在预定义漏洞样本上成功检出全部三类漏洞，且对安全样本不产生误报。每次检测结果均包含触发的规则、跟踪位置和具体状态数值，从而提供可复现、可解释的漏洞定位依据。其主要贡献在于：提出面向 AArch64 二进制程序的数字孪生跟踪模型，引入 KAT 规则表达漏洞模式，并设计了无需 SMT 的自动机扫描机制，显著提升了检测结果的可理解性。适合从事二进制分析、固件安全以及漏洞挖掘的研究人员与蓝队工程师阅读。

内核隔离执行环境（IEE）是当前研究热点，旨在通过特权分离保护内核中的关键资源和监控模块。然而，现有 IEE 方案均需作为引用监控器来隔离页表并验证其更新，导致显著性能开销。本文提出 Tide，一种基于 AArch64 架构输出地址大小硬件特性的新型内核级 IEE，能够将页表隔离的检查工作卸载到硬件，从而降低开销。Tide 利用阶段二转换（stage-2 translation）来扩展物理地址范围，灵活映射 IEE 内存并对物理内存施加额外访问控制；同时设计了一种新型门控机制，通过临时禁用地址翻译安全地进入 IEE，并确保该操作仅在固定位置执行。实验结果表明，在保护关键内核结构和安全工具时，Tide 的性能优于所有现有 IEE 方案。本文适合内核安全研究者、操作系统开发者及关注硬件辅助安全机制的工程师阅读。