软件程序中变量的不安全使用的检测方法

摘要

本发明公开了一种软件程序变量的不安全使用的检测方法，属于程序分析技术领域，包括如下步骤：1)建立软件程序的控制流图；2)根据控制流图，对程序进行层次化的数据流分析，获得程序中每一个变量的操作序列；3)检测每个操作序列中是否出现变量的不安全使用。本发明所提出的软件程序变量的不安全使用的检测方法，能快速检测到变量的不安全使用，运用在程序软件的开发早期，能及早发现程序中，特别是程序的异常处理代码中的缺陷，改善代码质量，提高软件的可靠性，降低软件开发成本。