公开(公告)号：WO2011056278A3

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

申请号：PCT/US2010046685

申请日：2010-08-25

Applicant: INTEL CORP ,  BLOMSTEDT JOSEPH ,  WANG CHENG ,  WU YOUFENG

Inventor： BLOMSTEDT JOSEPH ,  WANG CHENG ,  WU YOUFENG

IPC: G06F17/21 ,  G06F9/30 ,  G06F9/38 ,  G06F13/14

CPC classification number: G06F11/3604 ,  G06F8/433 ,  G06F8/456

Abstract: In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region based on analysis of the region at a binary level; and (4) determining a context-sensitive slice based on the call edge, the return edge, the fallthrough pseudo-edge, and the slice criterion. Embodiments of the invention may include a program analysis technique that can be used to provide context-sensitive slicing of binary programs for slicing hot regions identified at runtime, with few underlying assumptions about the program from which the binary is derived. Also, in an embodiment a slicing method may include determining a context-insensitive slice, when a time limit is met, by determining the context-insensitive slice while treating call edges as a normal control flow edges.

Abstract translation: 在本发明的一个实施例中，一种方法包括：（1）接收单线程的非结构化二进制码区; （2）确定该区域的切片标准; （3）基于二进制级别的区域分析来确定区域的呼叫边缘，返回边缘和穿透式伪边缘; （4）基于呼叫边缘，返回边缘，下穿伪边缘和切片标准来确定上下文敏感切片。 本发明的实施例可以包括程序分析技术，该程序分析技术可以用于提供用于对在运行时识别的热区域进行切片的二进制程序的上下文敏感的分片，而关于从其导出二进制的程序的基本假设很少。 而且，在一个实施例中，切片方法可以包括当满足时间限制时确定上下文不敏感切片，通过确定上下文不敏感切片而将呼叫边缘视为正常控制流边缘。

公开(公告)号：EP2494468A4

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

申请号：EP10828698

申请日：2010-08-25

Applicant: INTEL CORP

Inventor： BLOMSTEDT JOSEPH ,  WANG CHENG ,  WU YOUFENG

IPC: G06F17/21 ,  G06F9/30 ,  G06F9/38 ,  G06F9/45 ,  G06F11/36 ,  G06F13/14

CPC classification number: G06F11/3604 ,  G06F8/433 ,  G06F8/456

Abstract: In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region based on analysis of the region at a binary level; and (4) determining a context-sensitive slice based on the call edge, the return edge, the fallthrough pseudo-edge, and the slice criterion. Embodiments of the invention may include a program analysis technique that can be used to provide context-sensitive slicing of binary programs for slicing hot regions identified at runtime, with few underlying assumptions about the program from which the binary is derived. Also, in an embodiment a slicing method may include determining a context-insensitive slice, when a time limit is met, by determining the context-insensitive slice while treating call edges as a normal control flow edges.