揭示中间表示在静态分析中的力量：综述
编程语言
2024-05-22 v1 软件工程
摘要
静态分析技术通过分析和描绘程序行为，无需实际执行即可增强程序的安全性、性能和可靠性。本质上，静态分析以目标程序的中间表示（IR）作为输入，以检索必要的程序信息并理解程序。然而，除了作为信息提供者之外，关于IR对静态分析的好处缺乏系统分析。一般来说，一个现代静态分析框架应该具备对不同语言进行多种分析的能力，以最少的时间消耗产生可靠的结果，并提供广泛的定制选项。在这篇综述中，我们系统地描述了这些目标，并从IR的角度回顾了潜在的解决方案。它可以作为静态分析领域学习者和实践者更好地理解IR设计的手册。同时，为研究人员揭示了大量的研究机会。
引用
@article{arxiv.2405.12841,
title = {Unveiling the Power of Intermediate Representations for Static Analysis: A Survey},
author = {Bowen Zhang and Wei Chen and Hung-Chun Chiu and Charles Zhang},
journal= {arXiv preprint arXiv:2405.12841},
year = {2024}
}