一种针对I/O API迁移的稳健静态分析方法

《Proceedings of the ACM on Programming Languages》：A Sound Static Analysis Approach to I/O API Migration

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

　　

摘要

现代存储技术的进步要求开发新的输入/输出（I/O）API，以充分发挥其性能优势。然而，将现有软件迁移到不同的API会面临重大挑战，因为计算模型不匹配，且涉及状态化、非连续的多API调用部位的代码结构较为复杂。我们提出了Sprout这一新系统，它可以自动将程序迁移到不同的I/O API，并保证程序行为的一致性。Sprout利用基于数据流的分析方法来识别语义变量，从而实现类型状态分析，以匹配API的语义并合成迁移后的程序。通过对实际C程序的实验验证，证明了我们方法的效率和有效性。此外，我们还表明Sprout可以应用于其他领域，例如数据库。