System, method, and program for determining validity of string
US8365280B2 · kind B2 · utility
1Cited by
14References
9Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 29, 2010 |
| Grant date | Jan 29, 2013 |
| Priority date | — |
| Expiry date | Mar 12, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/563
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer-implemented method, program product, and system for determining the validity of a string generated by a computer programming language program. The method includes: abstracting a constraint between variables extracted from a source code for a programming language, describing the constraint in M2L, and storing the constraint; and evaluating the validity of the string on an M2L solver on the basis of the constraint and a M2L specification to determine whether the string is safe or unsafe.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.