Scalable provenance generation from points-to information
US9811322B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | May 31, 2016 |
| Grant date | Nov 7, 2017 |
| Priority date | — |
| Expiry date | May 31, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/9024
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for analyzing a program may include obtaining the program and obtaining a points-to analysis that may include points-to tuples. The method may further include obtaining a result of a query based on the program. The method may further include extracting a data-flow trace specification that includes flow tuples. Each flow tuple may include a source variable defined in a first method and a sink variable defined in a second method. The method may further include adding, in a recursive manner until a termination condition is triggered, a trace edge to a data-flow trace graph for each points-to tuple of a list of points-to tuples. The respective points-to tuple and a first flow tuple may be used to form a first points-to tuple that is added to the list of points-to tuples. The list of points-to tuples may be initialized to the result of the query.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.