论文标题
蛋白石中的模块化协作计划分析
Modular Collaborative Program Analysis in OPAL
论文作者
论文摘要
当前方法结合了多种静态分析，这些分析得出了不同的独立特性，侧重于模块化或性能。声明性方法促进了模块化和自动化，独立于分析的优化，而命令式方法促进了手册，分析特定的优化。 在本文中，我们提出了一种静态分析的新方法，以利用黑板系统的模块化并结合了声明性和命令性技术。我们的方法允许交换性和可扩展分析的扩展，以提高声音（i）ness，精度和可伸缩性，并明确地可以组合原本不相容的分析。通过将我们的方法集成到蛋白石框架中，我们能够实施各种不同的分析，包括一项分析，该分析优于DOOP（最先进的点对点分析框架）DOOP的等效分析。
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations. In this paper, we present a novel approach to static analyses that leverages the modularity of blackboard systems and combines declarative and imperative techniques. Our approach allows exchangeability, and pluggable extension of analyses in order to improve sound(i)ness, precision, and scalability and explicitly enables the combination of otherwise incompatible analyses. With our approach integrated in the OPAL framework, we were able to implement various dissimilar analyses, including a points-to analysis that outperforms an equivalent analysis from Doop, the state-of-the-art points-to analysis framework.
