发明名称 |
Validation of revised computer programs |
摘要 |
A computer implemented method, an computerized apparatus and a computer program product for validating revised computer programs. The method performed by a computerized device, comprising: validating a computer program having one or more revised instructions, wherein said validating comprises: checking the computer program with respect to only a portion of a Control Flow Graph (CFG) of the computer program, wherein the portion of the CFG including all paths of the CFG that include at least one node associated with a revised instruction. |
申请公布号 |
US2014208297(A1) |
申请公布日期 |
2014.07.24 |
申请号 |
US201313745805 |
申请日期 |
2013.01.20 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
Chockler Hana;Ruah Sitvanit |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computer-implemented method performed by a computerized device, comprising:
validating a computer program having one or more revised instructions, wherein said validating comprises: checking the computer program with respect to only a portion of a Control Flow Graph (CFG) of the computer program, wherein the portion of the CFG including all paths of the CFG that include at least one node associated with a revised instruction. |
地址 |
Armonk NY US |