一句话：提出 OPAL 中的模块化协作程序分析，试图兼顾静态分析的模块化与性能。
现有方法在组合多个静态分析以推导相互独立属性时，通常只能在模块化与性能之间取舍：声明式方法有利于模块化及自动的、与具体分析无关的优化，命令式方法则便于针对特定分析进行手工优化。OPAL 中的模块化协作程序分析试图结合两者优势，使多个分析能够模块化地协同工作，同时保持高效执行。摘要未给出具体实验数据或量化结果，论文主要从框架设计与实现层面论述该方案的可行性。
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.