Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Date of Patent
January 16, 2007
Patent Application Number
09844345
Date Filed
April 27, 2001
Patent Primary Examiner
Patent abstract
The present invention is a method and system to reduce storage in a inter-procedural analysis solver. In one embodiment, local graphs are pruned. The local graphs represent local problems, which correspond to separately compilable components in a software program. Each of the local graphs has edges and vertices. Each edge has a transfer function. Each vertex has a value. Values of the local graph form a lattice under a partial ordering.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
