-
公开(公告)号:US08327339B2
公开(公告)日:2012-12-04
申请号:US12165533
申请日:2008-06-30
IPC分类号: G06F9/44
CPC分类号: G06F8/70
摘要: A method for detecting user input dependence in software code. The method including representing the software code with a reachability graph having: a plurality of nodes, where a root node of the plurality of nodes represents an input controlled by a user; a first directed edge connecting a first node of the plurality of nodes and a second node of the plurality of nodes, where the first directed edge represents a data dependency; and a second directed edge connecting a third node of the plurality of nodes and a fourth node of the plurality of nodes, wherein the second directed edge represents a data dependency. The method also includes identifying a fifth node of the plurality of nodes as a reachable node from the root node by traversing the reachability graph from the root node to the reachable node; and marking a portion of the software code represented by the reachable node as user input dependant.
摘要翻译: 一种用于检测软件代码中的用户输入依赖性的方法。 所述方法包括用可达性图表示所述软件代码,所述可达性图具有:多个节点,所述多个节点中的根节点表示由用户控制的输入; 连接所述多个节点中的第一节点和所述多个节点中的第二节点的第一有向边,其中所述第一有向边表示数据依赖性; 以及连接所述多个节点中的第三节点和所述多个节点中的第四节点的第二有向边,其中所述第二有向边表示数据依赖性。 该方法还包括通过从根节点到可达节点的可达性图来从根节点将多个节点中的第五节点标识为可到达节点; 并且由可达节点表示的软件代码的一部分标记为用户输入依赖。
-
公开(公告)号:US20090328009A1
公开(公告)日:2009-12-31
申请号:US12165533
申请日:2008-06-30
IPC分类号: G06F9/44
CPC分类号: G06F8/70
摘要: A method for detecting user input dependence in software code. The method including representing the software code with a reachability graph having: a plurality of nodes, where a root node of the plurality of nodes represents an input controlled by a user; a first directed edge connecting a first node of the plurality of nodes and a second node of the plurality of nodes, where the first directed edge represents a data dependency; and a second directed edge connecting a third node of the plurality of nodes and a fourth node of the plurality of nodes, wherein the second directed edge represents a data dependency. The method also includes identifying a fifth node of the plurality of nodes as a reachable node from the root node by traversing the reachability graph from the root node to the reachable node; and marking a portion of the software code represented by the reachable node as user input dependant.
摘要翻译: 一种用于检测软件代码中的用户输入依赖性的方法。 所述方法包括用可达性图表示所述软件代码,所述可达性图具有:多个节点,所述多个节点中的根节点表示由用户控制的输入; 连接所述多个节点中的第一节点和所述多个节点中的第二节点的第一有向边,其中所述第一有向边表示数据依赖性; 以及连接所述多个节点中的第三节点和所述多个节点中的第四节点的第二有向边,其中所述第二有向边表示数据依赖性。 该方法还包括通过从根节点到可达节点的可达性图来从根节点将多个节点中的第五节点标识为可到达节点; 并且由可达节点表示的软件代码的一部分标记为用户输入依赖。
-