用于分析软件的方法和设备

摘要

本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法，包括：使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素，所述元素包括节点和边，其中计算机评估系统依赖图。系统依赖图的评估包括：选择在软件代码说明中被修改的变量，遍历到系统依赖图的所选择的元素，所选择的元素与所选择的变量相关联，仅评估系统依赖图的所选择的元素，和识别所选择的元素中其处修改了所选择的变量的状态的元素。

主权项

一种用于评估机器可执行的软件代码说明的计算机实施的方法，包括：使用计算机生成对应于软件代码说明的系统依赖图，所述系统依赖图包括元素，所述元素包括节点和边，其中计算机评估系统依赖图，系统依赖图的所述评估包括：选择在软件代码说明中被修改的变量；遍历到系统依赖图的所选择的元素，所选择的元素与所选择的变量相关联；其中遍历到系统依赖图的所选择的元素包括从在其处所选择的变量被修改的开始点跟踪所选择的变量、并以逆向分析方式工作以跟随所选择的节点和所选择的边直至到达所选择的变量的初始点；仅评估系统依赖图的所选择的元素；和识别所选择的元素中其处修改了所选择的变量的状态的元素。