本文针对可信执行环境（TEE）与低层语言（如 LLVM IR）结合时面临的安全分区问题展开研究。TEE 通过 enclave 提供硬件级隔离，但仅依靠它无法保证信息流安全；LLVM 这类语言允许不受限制的指针操作和非结构化控制流，进一步加剧了信息泄漏风险。同时，手工将应用划分成 enclave 部件与非 enclave 部件既繁琐又易错，且缺乏细粒度控制。作者提出一种三步走方案：首先形式化基于 LLVM IR 的 enclave 无关演算 SIR，设计新型宽松类型系统，结合信息流控制与安全感知的粗粒度内存安全，以抵御低级攻击者；然后将 SIR 扩展为 enclave 感知演算 SIREN，其非干涉性保证能抵御可观察任意非 enclave 内存的更强攻击者；最后实现类型驱动、类型保持的 SIR 到 SIREN 编译，自动生成安全的 enclave 感知程序，消除了手工分区过程，同时保持对 host-enclave 边界的细粒度控制。文中实现了 SPLITR 工具，并在 Intel SGX 硬件上用 13 个微基准和现实负载（包括 SGXGauge 应用）进行评测；SPLITR 能扩展到 OpenSSL（425,953 条 LLVM IR 指令），支持在 enclave TCB 大小、host-enclave 转换次数、边界数据移动量等目标之间权衡。对于 OpenSSL，面向转换次数优化可将其从 393 降为 187。运行时开销方面，短时运行负载主要被固定的 enclave 开销主导，而长时运行应用能更好地摊销这些开销，接近原生性能。该研究的最重要贡献是首次为 LLVM 系语言提供安全构造的自动分区形式化框架，并为编译优化、硬件隔离结合信息流控制提供了可行的工程验证。

内存安全错误仍然是C和C++中严重漏洞的主要来源。传统的基于位置的消毒器（如LLVM的ASan）虽然广泛使用，但只能检测缓冲区溢出等有限类型的错误，且开销较高。基于指针的消毒器提供了更强的安全保障，但以往的实现因高开销和兼容性问题难以在生产环境中部署。本文提出了PTSan，一种基于LLVM的实用内存安全消毒器。PTSan通过在每个指针的高位存储对象标识符，并在固定大小的运行时表中存储对象边界，从而在有限的活跃对象预算与低开销、优化器可见性和通用硬件支持之间取得平衡。由于标识符随指针值传播，LLVM的数据流分析可以自然地传播它，无需显式的逐指针元数据指令。PTSan将元数据查找与检查执行分离，均以LLVM IR表示，从而支持检查的提升、消除和合并，以及基于整个函数最小割的兼容性标签剥离放置。当硬件支持Intel线性地址掩码（LAM）时，可进一步消除剩余的标签剥离指令。在通用硬件上，PTSan的开销与最快的已发布基于位置的消毒器相当：SPEC CPU 2017在x86-64上的几何平均开销为57.2%（使用Intel LAM时为46.4%），ARM64上为54.7%，在应用型的LLVM MultiSource套件上为31.5%（x86-64）。这大约是具有类似指针-对象权限保证的先前系统已发布开销百分比的三分之一，同时独立内存安全测试套件测量显示，PTSan保持了跨对象、非对象和时间检测覆盖范围。其物理内存开销接近原生，这对于生产部署至关重要。本文还通过实际服务器和安全工作负载展示了实用开销。结果表明，PTSan将实用的基于指针的内存安全引入了仅需重新编译的消毒器部署模型。

该研究提出了一种名为QuickSafe的针对性加固技术，旨在防御内存损坏漏洞。传统的内存安全方案（如ASLR、堆栈保护）往往存在性能开销大或覆盖范围有限的问题。QuickSafe的核心思路是通过静态分析和运行时监控，仅对关键内存操作进行加固，从而在安全性和性能之间取得平衡。方法包括：首先识别程序中易受攻击的内存访问模式，然后插入轻量级的检查机制，仅在必要时激活保护。实验在常见基准测试和真实应用上进行，结果表明QuickSafe能够有效防止多种内存损坏攻击（如缓冲区溢出、use-after-free），且平均性能开销低于5%，显著优于现有全量加固方案。该工作为内存安全提供了一种实用的折中方案，特别适合对性能敏感的系统。