Selective object sensitive points-to analysis
US10318257B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 20, 2016 |
| Grant date | Jun 11, 2019 |
| Priority date | — |
| Expiry date | Dec 17, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3668
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for points-to program analysis includes extracting a kernel from a program, performing a fixed object sensitive points to analysis of the kernel to obtain fixed analysis results, and assigning, for a first candidate object in the kernel, a first context depth to the first candidate object. The candidate objects are identified using the fixed analysis results. The method further includes assigning, for a second candidate object, a second context depth to the second candidate object. The second context depth is different than the first context depth. The method further includes performing, to obtain selective analysis results, a selective object sensitive points to analysis using the first context depth for the first candidate object and the second context depth for the second candidate object, and performing an action based on the selective analysis results.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.