Understanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness. The static analysis quality depends on the analysis techniques used, but the best combination of such techniques may be different for different programs. To find the best combination of analysis techniques for specific programs, recent work has proposed parametric static analysis . It considers static analysis as black-box parameterized by analysis parameters , which are techniques that may be configured without analysis details. We formally define the parametric static analysis, and we survey analysis parameters and their parameter selection in the literature. We also discuss open challenges and future directions of the parametric static analysis.

中文翻译：

---

参数静态分析综述

了解程序行为对于验证程序属性或优化程序很重要。静态分析是一种广泛使用的技术，通过抽象解释来近似程序行为。为了评估静态分析的质量，研究人员使用了三个指标：性能、精度和可靠性。静态分析质量取决于所使用的分析技术，但这些技术的最佳组合对于不同的程序可能会有所不同。为了找到特定程序的最佳分析技术组合，最近的工作提出了参数静态分析. 它将静态分析视为参数化的黑盒分析参数，这些技术可以在没有分析细节的情况下进行配置。我们正式定义了参数静态分析，并在文献中调查了分析参数及其参数选择。我们还讨论了参数静态分析的开放挑战和未来方向。