Method to check application programming interface correctness in software
US11301357B1 · kind B1 · utility
6Cited by
24References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Sep 26, 2019 |
| Grant date | Apr 12, 2022 |
| Priority date | — |
| Expiry date | Sep 26, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3656
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Techniques for performing compile-time checks of source code using static analysis are described herein. One or more application programming interface calls to a remote computing service provider are detected in a set of source code listings using static analysis, and properties of each call are checked against a user-defined model containing rules defining incorrect behavior. If incorrect behavior is detected, a visualization is presented containing information about the incorrect behavior.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.