BUILDING REUSABLE FUNCTION SUMMARIES FOR FREQUENTLY VISITED METHODS TO OPTIMIZE DATA-FLOW ANALYSIS
Patent №
US 9,250,876
Granted
2016-02-02
Filed 2013
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
2
planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14010758
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.
AI classification
Ownership
INTERNATIONAL BUSINESS MACHINES CORPORATION
assignment · 310890296
Assignors
PISTOIA, MARCO, TRIPP, OMER
On an employer assignment, the assignors are typically the inventors.