Software code verification using call graphs for autonomous systems and applications
US12236218B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 2, 2022 |
| Grant date | Feb 25, 2025 |
| Priority date | — |
| Expiry date | Mar 23, 2043 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/43
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.