ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
ENCRUST:在活体支架上进行封装替换和代理细化以实现安全的C到Rust翻译
机构 * Korea University(高丽大学) ; University of Houston(休斯顿大学) ; State University of New York Korea(纽约州立大学韩国分校)
专题命中 记忆与上下文管理 :agentic(title,abstract);agent(abstract);分类 cs.AI、cs.SE
AI总结 ENCRUST通过封装替换和代理细化方法,解决C到Rust翻译中的类型不匹配和不安全构造问题,通过ABI保持封装模式和整体代码库验证,实现安全且可编译的转换。