专利详情

专利名称	软件程序中变量的不安全使用的检测方法
申请号	CN201010500543.1	专利类型	发明专利
公开（公告）号	CN101937396A	公开（授权）日	2011.01.05
申请（专利权）人	中国科学院软件研究所	发明（设计）人	伍晓泉;魏峻;高楚舒
主分类号	G06F11/36(2006.01)I	IPC主分类号	G06F11/36(2006.01)I
专利有效期	软件程序中变量的不安全使用的检测方法至软件程序中变量的不安全使用的检测方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种软件程序变量的不安全使用的检测方法，属于程序分析技术领域，包括如下步骤：1)建立软件程序的控制流图；2)根据控制流图，对程序进行层次化的数据流分析，获得程序中每一个变量的操作序列；3)检测每个操作序列中是否出现变量的不安全使用。本发明所提出的软件程序变量的不安全使用的检测方法，能快速检测到变量的不安全使用，运用在程序软件的开发早期，能及早发现程序中，特别是程序的异常处理代码中的缺陷，改善代码质量，提高软件的可靠性，降低软件开发成本。