Methods and systems for analyzing dataflow associated with software code to detect software anomalies
US12223061B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 28, 2024 |
| Grant date | Feb 11, 2025 |
| Priority date | — |
| Expiry date | Feb 28, 2044 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2221/033
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A non-transitory processor-readable medium stores code representing instructions to be executed by one or more processors, and the instructions include code to cause the one or more processors to (1) receive executable binary code and a specification that defines a constraint and (2) generate a predicate set. The code also causes the one or more processors to identify an argument of a function to be called by the executable binary code, the argument identified based on a map. A constrained predicate set is generated based on the predicate set and the machine-readable specification and, using solver software, the code causes the one or more processors to determine that the argument satisfies the constraint based on the constrained predicate set. A signal that indicates that the executable binary code is associated with a predetermined software action is generated in response to determining the argument satisfies the constraint.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.