克里斯蒂安·普罗布斯特。 图书馆的模块化控制流分析。 （英语） Zbl 1015.68508号 Hermenegildo，Manuel V.（编辑）等，《静态分析》。2002年9月17日至20日在西班牙马德里举行的2002年SAS第九届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2477, 165-179 (2002). 摘要：分析面向对象语言时的一个问题是，由于动态调度，静态不知道确切的控制流图。然而，为了应用大量已知的过程间分析，这是必需的。面向对象设置中的控制流分析旨在确定变量的运行时类型，从而允许可能的目标方法实现。我们提出了一种流敏感分析，允许单独处理库，从而有效地分析整个程序。有关整个系列，请参见[Zbl 1001.00049号]. 引用于1文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 软件：PAG公司 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Probst}，莱克特。票据计算。科学。2477165--179（2002年；Zbl 1015.68508） 全文： 链接