公开(公告)号：US09117020B2

公开(公告)日：2015-08-25

申请号：US14488543

申请日：2014-09-17

Applicant: International Business Machines Corporation

Inventor： Krzysztof Anton ,  Michal Bodziony ,  Pawel K. Koperek ,  Rafal Korczyk

IPC: G06F9/44 ,  G06F11/36 ,  G06F11/34

CPC classification number: G06F11/362 ,  G06F8/20 ,  G06F11/3466

Abstract: An embodiment is directed to a method for analyzing a computer program that includes receiving an instruction specifying a first variable of the program. The first variable has a first value at a first location during program execution. The instruction further specifies a second value for the first variable at the first location. The method includes determining that a second location during program execution includes a conditional control flow instruction that includes the first variable. In addition, the method includes evaluating the conditional control flow instruction using the first and second values of the first variable at the second location. It may be determined whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.

公开(公告)号：US20150007147A1

公开(公告)日：2015-01-01

申请号：US13929898

申请日：2013-06-28

Applicant: International Business Machines Corporation

Inventor： Krzysztof Anton ,  Michal Bodziony ,  Pawel K. Koperek ,  Rafal Korczyk

IPC: G06F11/36

CPC classification number: G06F11/362 ,  G06F8/20 ,  G06F11/3466

Abstract: An embodiment is directed to a method for analyzing a computer program that includes receiving an instruction specifying a first variable of the program. The first variable has a first value at a first location during program execution. The instruction further specifies a second value for the first variable at the first location. The method includes determining that a second location during program execution includes a conditional control flow instruction that includes the first variable. In addition, the method includes evaluating the conditional control flow instruction using the first and second values of the first variable at the second location. It may be determined whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.

Abstract translation: 实施例涉及一种用于分析计算机程序的方法，该方法包括接收指定程序的第一变量的指令。 第一个变量在程序执行期间在第一个位置具有第一个值。 该指令进一步指定第一个位置处的第一个变量的第二个值。 该方法包括确定程序执行期间的第二位置包括包括第一变量的条件控制流程指令。 此外，该方法包括使用第二个位置处的第一个变量的第一个和第二个值来评估条件控制流程指令。 基于使用第二位置处的第一和第二值的条件控制流程指令的评估，可以确定控制流在第二位置是否发散。

公开(公告)号：US08990784B2

公开(公告)日：2015-03-24

申请号：US13929898

申请日：2013-06-28

Applicant: International Business Machines Corporation

Inventor： Krzysztof Anton ,  Michal Bodziony ,  Pawel K. Koperek ,  Rafal Korczyk

IPC: G06F9/44 ,  G06F11/36 ,  G06F11/34

CPC classification number: G06F11/362 ,  G06F8/20 ,  G06F11/3466

Abstract: An embodiment is directed to a method for analyzing a computer program that includes receiving an instruction specifying a first variable of the program. The first variable has a first value at a first location during program execution. The instruction further specifies a second value for the first variable at the first location. The method includes determining that a second location during program execution includes a conditional control flow instruction that includes the first variable. In addition, the method includes evaluating the conditional control flow instruction using the first and second values of the first variable at the second location. It may be determined whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.

Abstract translation: 实施例涉及一种用于分析计算机程序的方法，该方法包括接收指定程序的第一变量的指令。 第一个变量在程序执行期间在第一个位置具有第一个值。 该指令进一步指定第一个位置处的第一个变量的第二个值。 该方法包括确定程序执行期间的第二位置包括包括第一变量的条件控制流程指令。 此外，该方法包括使用第二个位置处的第一个变量的第一个和第二个值来评估条件控制流程指令。 基于使用第二位置处的第一和第二值的条件控制流程指令的评估，可以确定控制流在第二位置是否发散。

公开(公告)号：US20150007150A1

公开(公告)日：2015-01-01

申请号：US14488543

申请日：2014-09-17

Applicant: International Business Machines Corporation

Inventor： Krzysztof Anton ,  Michal Bodziony ,  Pawel K. Koperek ,  Rafal Korczyk

IPC: G06F11/36

CPC classification number: G06F11/362 ,  G06F8/20 ,  G06F11/3466

Abstract: An embodiment is directed to a method for analyzing a computer program that includes receiving an instruction specifying a first variable of the program. The first variable has a first value at a first location during program execution. The instruction further specifies a second value for the first variable at the first location. The method includes determining that a second location during program execution includes a conditional control flow instruction that includes the first variable. In addition, the method includes evaluating the conditional control flow instruction using the first and second values of the first variable at the second location. It may be determined whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.