Identification of Centrally Managed Aggregations in Design Patterns Using Shape Analysis
基于形态分析识别设计模式中的集中管理式聚集

针对常见的利用指针或引用的聚集实现方式，提出一种基于形态分析的一对多聚集关系的自动识别方法。首先，扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征。然后，给出基于控制流上链表形态结构的变化识别聚集管理行为的方法。最后，通过开源软件JEdit中的实例分析展示了该方法的有效性。