| 发明名称 |
BUILDING REUSABLE FUNCTION SUMMARIES FOR FREQUENTLY VISITED METHODS TO OPTIMIZE DATA-FLOW ANALYSIS |
| 摘要 |
A method includes inspecting function summaries generated during a static analysis of a program and identifying a set of function summaries for a same method that have structural similarities. The method includes replacing the set of structurally similar summaries with a coarse summary. The method further includes using the coarse summary in subsequent static analysis operations. Apparatus and program products are also disclosed. |
| 申请公布号 |
US2015067660(A1) |
申请公布日期 |
2015.03.05 |
| 申请号 |
US201314010758 |
申请日期 |
2013.08.27 |
| 申请人 |
International Business Machines Corporation |
发明人 |
Pistoia Marco;Tripp Omer |
| 分类号 |
G06F9/45 |
主分类号 |
G06F9/45 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A method, comprising:
inspecting function summaries generated during a static analysis of a program; identifying a set of function summaries for a same method that have structural similarities; and replacing the set of structurally similar summaries with a coarse summary; and using the coarse summary in subsequent static analysis operations. |
| 地址 |
Armonk NY US |
