| 发明名称 |
STATIC ANALYSIS WITH INPUT REDUCTION |
| 摘要 |
Statically analyzing a computer software application can include identifying a plurality of objects within the instructions of a computer software application, where the objects in the plurality of objects are of the same object type, and preparing a modified version of the instructions in which any of the objects in the plurality of objects determined to be extraneous is omitted.
|
| 申请公布号 |
US2013111449(A1) |
申请公布日期 |
2013.05.02 |
| 申请号 |
US201113281653 |
申请日期 |
2011.10.26 |
| 申请人 |
HAVIV YINNON A.;KALMAN DANIEL;PIKUS DMITRI;TRIPP OMER;WEISMAN OMRI;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
HAVIV YINNON A.;KALMAN DANIEL;PIKUS DMITRI;TRIPP OMER;WEISMAN OMRI |
| 分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
|
| 地址 |
|
