公开(公告)号：US09710355B2

公开(公告)日：2017-07-18

申请号：US12687154

申请日：2010-01-14

申请人： David Bartolomeo ,  Todd L. King

发明人： David Bartolomeo ,  Todd L. King

IPC分类号： G06F9/44 ,  G06F9/45 ,  G06F11/36

CPC分类号： G06F11/3604 ,  G06F11/36

摘要： Systems and methods are described herein for selectively loading code elements included in a plurality of software entities comprising a target software entity and one or more reference software entities to facilitate analysis of the target software entity by a code analysis tool, such as a static code analysis tool. In one embodiment, all of the code elements in the target software entity are loaded while only those code elements included in the reference software entities that are determined to be most important from a dependency standpoint are loaded. The loaded code elements may be used to obtain suitable definitions of the code elements included in the target software entity for the purpose of code analysis.

公开(公告)号：US20110173594A1

公开(公告)日：2011-07-14

申请号：US12687154

申请日：2010-01-14

申请人： David Bartolomeo ,  Todd L. King

发明人： David Bartolomeo ,  Todd L. King

IPC分类号： G06F9/445

CPC分类号： G06F11/3604 ,  G06F11/36

摘要： Systems and methods are described herein for selectively loading code elements included in a plurality of software entities comprising a target software entity and one or more reference software entities to facilitate analysis of the target software entity by a code analysis tool, such as a static code analysis tool. In one embodiment, all of the code elements in the target software entity are loaded while only those code elements included in the reference software entities that are determined to be most important from a dependency standpoint are loaded. The loaded code elements may be used to obtain suitable definitions of the code elements included in the target software entity for the purpose of code analysis.

摘要翻译： 本文描述了系统和方法，用于选择性地加载包括在包括目标软件实体和一个或多个参考软件实体的多个软件实体中的代码元素，以便于通过代码分析工具分析目标软件实体，诸如静态代码分析 工具。 在一个实施例中，加载目标软件实体中的所有代码元素，而仅加载包括在从依赖关系观点确定为最重要的参考软件实体中的那些代码元素。 加载的代码元素可以用于为代码分析的目的获得包括在目标软件实体中的代码元素的合适定义。

公开(公告)号：US20110145799A1

公开(公告)日：2011-06-16

申请号：US12636708

申请日：2009-12-12

申请人： David Bartolomeo

发明人： David Bartolomeo

IPC分类号： G06F9/44

CPC分类号： G06F11/3604

摘要： Methods, systems, and computer-readable media are disclosed to perform path-sensitive dataflow analysis including path refinement. A path-insensitive dataflow analysis may be performed on a control flow graph (CFG) of a computer program to detect a set of potential defects in the computer program. A path-sensitive dataflow analysis may be performed to identify one or more infeasible paths of the CFG without modifying the CFG. Potential defects associated with the one or more infeasible paths may be removed from the set of potential defects to produce a resulting reduced set of potential defects. The resulting reduced set of potential defects may be output.

摘要翻译： 公开了方法，系统和计算机可读介质来执行包括路径细化的路径敏感数据流分析。 可以对计算机程序的控制流程图（CFG）执行路径不敏感数据流分析，以检测计算机程序中的一组潜在缺陷。 可以执行路径敏感数据流分析以识别CFG的一个或多个不可行路径，而不修改CFG。 与一个或多个不可行路径相关联的潜在缺陷可以从该组潜在缺陷中移除以产生所产生的减少的潜在缺陷。 可能输出所产生的减少的潜在缺陷。