发明名称 |
Control Flow Analysis Using Deductive Reaching Definitions |
摘要 |
A computer-implemented process for deductive reaching definition analysis receives a control flow graph to form a set of received blocks and edges, performs traditional reaching definitions to produce bit-vectors OUT(b), GEN(b) and KILL(b) for each block in the set of received blocks and receives impossibility indicators for a set of definitions that are impossible on specific edges. The computer-implemented process further performs deduction operations using a combination of the bit-vectors and impossibility indicators to deduce that additional definitions cannot reach certain blocks to create resulting reachability information and provides the resulting reachability information as a result to a requestor. A related system and program product is also provided.
|
申请公布号 |
US2011191761(A1) |
申请公布日期 |
2011.08.04 |
申请号 |
US20100903552 |
申请日期 |
2010.10.13 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
DOYLE PATRICK R.;KIELSTRA ALLAN H.;RAMARAO PRAMOD |
分类号 |
G06F9/45 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|