首页> 中国专利> 一种复杂数据结构在代码静态测试中的处理方法和装置

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

摘要

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

著录项

  • 公开/公告号CN102662829B

    专利类型发明专利

  • 公开/公告日2015-02-18

    原文格式PDF

  • 申请/专利权人 北京邮电大学;

    申请/专利号CN201210071743.9

  • 申请日2012-03-16

  • 分类号G06F11/36(20060101);

  • 代理机构11270 北京派特恩知识产权代理有限公司;

  • 代理人张颖玲;程立民

  • 地址 100876 北京市海淀区西土城路10号

  • 入库时间 2022-08-23 09:23:46

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2018-03-30

    未缴年费专利权终止 IPC(主分类):G06F 11/36 授权公告日:20150218 终止日期:20170316 申请日:20120316

    专利权的终止

  • 2015-02-18

    授权

    授权

  • 2015-02-18

    授权

    授权

  • 2012-11-07

    实质审查的生效 IPC(主分类):G06F 11/36 申请日:20120316

    实质审查的生效

  • 2012-11-07

    实质审查的生效 IPC(主分类):G06F 11/36 申请日:20120316

    实质审查的生效

  • 2012-09-12

    公开

    公开

  • 2012-09-12

    公开

    公开

查看全部

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号