公开(公告)号：US20120131559A1

公开(公告)日：2012-05-24

申请号：US12951253

申请日：2010-11-22

申请人： Ming Wu ,  Fan Long ,  Zhilei Xu ,  Xuezheng Liu ,  Haoxiang Lin ,  Zhenyu Guo ,  Zheng Zhang ,  Lidong Zhou

发明人： Ming Wu ,  Fan Long ,  Zhilei Xu ,  Xuezheng Liu ,  Haoxiang Lin ,  Zhenyu Guo ,  Zheng Zhang ,  Lidong Zhou

IPC分类号： G06F9/44

CPC分类号： G06F8/75 ,  G06F11/3612 ,  G06F11/3636 ,  G06F11/366

摘要： Program partitioning of an application can include creating execution flow graphs and static flow graphs of targeted functions or operations of the application. Based on the execution flow graphs or static flow graphs, replay interfaces are created. The replay interfaces provide data flows that are usable in re-execution of the application during program development.

摘要翻译： 应用程序的程序分区可以包括创建应用程序的目标函数或操作的执行流程图和静态流程图。 基于执行流图或静态流图，创建重播界面。 重播接口提供可用于在程序开发期间重新执行应用程序的数据流。

公开(公告)号：US08589888B2

公开(公告)日：2013-11-19

申请号：US13220651

申请日：2011-08-29

申请人： Weidong Cui ,  Marcus Peinado ,  Zhilei Xu

发明人： Weidong Cui ,  Marcus Peinado ,  Zhilei Xu

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

CPC分类号： G06F8/434 ,  G06F11/3608

摘要： A “Demand-Driven Pointer Analyzer” (DDPA) provides a “demand-driven” field-sensitive pointer analysis process. This process rapidly and accurately identifies alias sets for selected pointers in software modules or programs of any size, including large-scale C/C++ programs such as a complete operating system (OS). The DDPA formulates the pointer analysis task as a Context-Free Language (CFL) reachability problem that operates using a Program Expression Graph (PEG) automatically constructed from the program code. The PEG provides a node and edge-based graph representation of all expressions and assignments in the program and allows the DDPA to rapidly identify aliases for pointers in the program by traversing the graph as a CFL reachability problem to determine pointer alias sets. In various embodiments, the DDPA is also context-sensitive.

摘要翻译： “需求驱动的指针分析器”（DDPA）提供了一个“需求驱动的”现场敏感指针分析过程。 此过程可快速准确地识别软件模块或任何大小的程序（包括大型C / C ++程序，如完整的操作系统（OS））中的所选指针的别名集。 DDPA使用由程序代码自动构建的程序表达式图（PEG）来运行，使指针分析任务形成为无上下文语言（CFL）可达性问题。 PEG提供程序中所有表达式和赋值的节点和边缘图表示，并允许DDPA通过遍历图形来快速识别程序中的指针的别名，作为CFL可达性问题，以确定指针别名集。 在各种实施例中，DDPA也是上下文相关的。

公开(公告)号：US20130055207A1

公开(公告)日：2013-02-28

申请号：US13220651

申请日：2011-08-29

申请人： Weidong Cui ,  Marcus Peinado ,  Zhilei Xu

发明人： Weidong Cui ,  Marcus Peinado ,  Zhilei Xu

IPC分类号： G06F9/44

CPC分类号： G06F8/434 ,  G06F11/3608

摘要： A “Demand-Driven Pointer Analyzer” (DDPA) provides a “demand-driven” field-sensitive pointer analysis process. This process rapidly and accurately identifies alias sets for selected pointers in software modules or programs of any size, including large-scale C/C++ programs such as a complete operating system (OS). The DDPA formulates the pointer analysis task as a Context-Free Language (CFL) reachability problem that operates using a Program Expression Graph (PEG) automatically constructed from the program code. The PEG provides a node and edge-based graph representation of all expressions and assignments in the program and allows the DDPA to rapidly identify aliases for pointers in the program by traversing the graph as a CFL reachability problem to determine pointer alias sets. In various embodiments, the DDPA is also context-sensitive.

摘要翻译： 需求驱动指针分析器（DDPA）提供了一种需求驱动的现场敏感指针分析过程。 此过程可快速准确地识别软件模块或任何大小的程序（包括大型C / C ++程序，如完整的操作系统（OS））中的所选指针的别名集。 DDPA使用由程序代码自动构建的程序表达式图（PEG）来运行，使指针分析任务形成为无上下文语言（CFL）可达性问题。 PEG提供程序中所有表达式和赋值的节点和边缘图表示，并允许DDPA通过遍历图形来快速识别程序中的指针的别名，作为CFL可达性问题，以确定指针别名集。 在各种实施例中，DDPA也是上下文相关的。