Methods and systems for identifying control flow patterns and dataflow constraints in software code to detect software anomalies
US12259805B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 29, 2024 |
| Grant date | Mar 25, 2025 |
| Priority date | — |
| Expiry date | Mar 29, 2044 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3636
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method includes receiving executable binary code and a machine-readable specification that (1) defines a control flow pattern and a dataflow constraint and (2) is associated with a library function call. A target of a library function call site is retrieved, the library function call site being associated with the library function call and included in the executable binary code. An indication of an execution path in the executable binary code is identified based on the control flow pattern the target. An argument of the library function call is identified based on the dataflow constraint, the target, and the indication of the execution path. The method also includes determining, using solver software, that the argument satisfies the dataflow constraint defined by machine-readable specification. In response to the determining, a signal that indicates that the executable binary code is associated with a predetermined software action is transmitted.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.