Deframeworking for static program analysis
US11106564B2 · kind B2 · utility
0Cited by
3References
16Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | May 29, 2019 |
| Grant date | Aug 31, 2021 |
| Priority date | — |
| Expiry date | Jul 23, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2221/033
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for detecting a defect may include extracting, from application code, a registration of a framework object and a request for the framework object, deriving a synthetic request using the registration and the request, transforming the application code by replacing, by a computer processor, the request with the synthetic request, and detecting the defect by performing a static analysis on the transformed application code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.