Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching

可信执行环境（TEE）通过硬件隔离保护敏感数据和计算免受受损操作系统的攻击。然而，TEE应用不可避免地需要通过SDK接口与不可信的操作系统交互，不当的代码分区可能导致严重漏洞，如数据泄露和代码注入。先前工作提出了静态分析工具检测此类问题，但

历史摘要 · 未重新核验 · arXiv cs.CR