现代存储技术发展催生新型I/O API，但迁移现有软件面临计算模型不匹配和复杂状态管理挑战。本文提出Sprout系统，通过流敏感指针分析识别语义变量，结合类型状态分析实现API语义匹配，并生成行为等效的迁移程序。实验证明该方法能有效处理真实C程序，且可 ...