Building Reusable Function Summaries for Frequently Visited Methods to Optimize Data-Flow Analysis
Patent №
US 9,256,409
Granted
2016-02-09
Filed 2013
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
2
nlp · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14027580
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 · 312110912
Assignors
PISTOIA, MARCO, TRIPP, OMER
On an employer assignment, the assignors are typically the inventors.