Identifying functions prone to logic errors in binary software components
US10891212B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 22, 2018 |
| Grant date | Jan 12, 2021 |
| Priority date | — |
| Expiry date | Feb 14, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2201/81
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems, methods, and software can be used to identify functions prone to logic errors in software components using binary static analysis. In some aspects, one computer-implemented method includes identifying a function defined within a binary software component; determining one or more complexity characteristics of the function based on included instructions; determining, based on the complexity characteristics, whether the function is likely to produce errors when the instructions included in the function are executed by a processor; and in response to determining that the function is likely to contain errors, generating an indication that the function requires further review.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.