UML类图是软件建模中最常用的图形化表示之一。类间二元关系是UML类图中的重要组成部分，它包括关联、聚合、组合关系等。鉴于UML在软件建模中的广泛应用，在软件的开发维护过程中，从代码中识别哪些类之间存在关联、聚合、组合关系有助于程序的理解和维护。　　 UML中关联关系、聚合关系和组合关系有着不同的定义以及设计语义，但是缺乏和实现层面对应的概念模型。人们通过构建实现层面的二元关系的模型来识别二元关系。论文首先对当前二元关系提取的研究工作进行简单的回顾和总结，并指出现有研究方法中的一些缺陷和不足。第一，现存的实现层面的模型不够成熟，这使得二元关系识别的准确性方面有所欠缺。第二，部分研究无法检查待分析程序是否严格遵循他们所提出的模型，这会造成错误识别。本文从提高识别精度的角度出发，提出了利用流敏感、上下文敏感的指针分析结果识别二元关系的方法。　　 论文的工作主要包括：　　 (1)设计实现一种上下文敏感、流敏感、属性域敏感的指针分析，并且在指针分析过程中建立调用图。　　 (2)建立一个比较全面的关联关系、聚合关系、组合关系的实现层模型。　　 (3)设计和实现了基于指针分析的类间二元关系识别工具，首先利用指针分析的结果构建对象图，然后通过对象图和调用图识别二元关系实现层模型中的各个要素，并且依此识别类间二元关系。