Embedded annotation and program analysis
US8726254B2 · kind B2 · utility
79Cited by
5References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jul 23, 2009 |
| Grant date | May 13, 2014 |
| Priority date | — |
| Expiry date | Jul 8, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Program source code is annotated to support dataflow analysis or other program analysis, without requiring changes to compilers. Annotation statements are embedded inside comments or other non-code-generative portions of the source code. The annotations can be used to express contracts at routine boundaries, allowing an analyzer to check the global correctness of the source code through modular (local) analysis, with performance that is linear in the number of routines. In particular, annotated SQL source code may be analyzed to identify SQL injection vulnerabilities.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.