System, method and computer program product for verifying invocations of interfaces
US7987451B1 · kind B1 · utility
Assignee
Inventor
Key dates
| Filing date | Nov 20, 2006 |
| Grant date | Jul 26, 2011 |
| Priority date | — |
| Expiry date | Mar 25, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/52
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A verification system, method and computer program product are provided. In one embodiment, one of a plurality of call instruction formats is selected. In addition, it is verified whether an invocation of an interface was attempted by code utilizing the selected call instruction format. Further, the selection and the verification are repeated for each of the plurality of call instruction formats. In another embodiment, a return target address is identified. Still yet, it is determined whether return of contra to the return target address would result in invocation a one of a plurality of interfaces.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.