一种面向对象程序的控制流图构造方法

摘要

本发明提出一种面向对象程序的控制流图构造方法，该方法包括以下步骤：1)根据源代码构造抽象语法树；2)基于抽象语法树构造类继承关系图；3)根据语句位置关系为方法构造粗粒度的控制流子图，进而利用节点拆解以及虚拟Finally节点方法来构造细粒度的控制流子图；4)采用异常上浮方法来分析异常抛出点以及嵌套异常处理结构的控制流；5)解析方法调用信息，构造基于语句的控制流图；6)合并不引起程序执行顺序改变的语句集合形成基本模块，构造基于基本模块的控制流图。该发明的构造方法不但支持分析多态特征对控制流的影响，而且支持多层嵌套的异常处理结构的控制流分析。