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:
May. 13, 2014
Filed:
May. 17, 2011
Ryan Berg, Sudbury, MA (US);
Marco Pistoia, Amawalk, NY (US);
Takaaki Tateishi, Yamato, JP;
Omer Tripp, Har-Adar, IL;
Ryan Berg, Sudbury, MA (US);
Marco Pistoia, Amawalk, NY (US);
Takaaki Tateishi, Yamato, JP;
Omer Tripp, Har-Adar, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method includes accessing a validator routine having an input string and one or more return points, each return point returning a return value having two possible values; finding the return points in the validator routine; for each of the return points, performing a backwards traversal from a return point through a code section and determining constraints on the input string based at least on one or both of the two possible return values for the return point; using the determined constraints for the input string, determining whether all of the return values returned from the one or more return points meet validation constraints; and outputting one or more indications of whether all of the returned values returned from the return points meet the validation constraints for the one or both of the two possible return values. Apparatus and computer program products are also disclosed.