一种复杂数据结构在代码静态测试中的处理方法和装置专利登记公告

专利名称：一种复杂数据结构在代码静态测试中的处理方法和装置

摘要：本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据类型拆分后得到的每个独立变量进行独立分析，更新相应的控制流图节点信息；输出更新后的控制流图；本发明同时还公开了一种复杂数据结构在代码静态测试中的处理装置，通过本发明的方案，能够解决静态测试中对复杂数据类型整体建模分析不完善所产生的漏报问题，在一定程度上提高静态测试的精度。

专利类型：发明专利

专利号：CN201210071743.9

专利申请（专利权）人：北京邮电大学

专利发明（设计）人：黄俊飞;周虹伯;宫云战;金大海;王雅文

主权项：一种复杂数据结构在代码静态测试中的处理方法，其特征在于，该方法包括：在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据类型拆分后得到的每个独立变量进行独立分析，更新相应的控制流图节点信息；输出更新后的控制流图。

专利地区：北京