The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 29, 2013
Filed:
Jun. 29, 2010
Yinnon Avraham Haviv, Haifa, IL;
Marco Pistoia, Amawalk, NY (US);
Naoshi Tabuchi, Miyagi, JP;
Takaaki Tateishi, Kanagawa, JP;
Yinnon Avraham Haviv, Haifa, IL;
Marco Pistoia, Amawalk, NY (US);
Naoshi Tabuchi, Miyagi, JP;
Takaaki Tateishi, Kanagawa, JP;
International Business Machines Corporation, Armonk, NY (US);
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.