Patent ID: 8726246
Filing Date: 2014-05-13
Classification: G06F

Abstract:
1. A method, comprising: 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, either true or false; finding the one or more return points in the validator routine; for each of the one or more return points, performing a backwards traversal from a return point through a code section corresponding to the return point and determining constraints on the input string based at least on one or both of the two possible return values for the return point, wherein determining constraints on the input string based on one or both possible return values for the return point comprises collecting one or more assertions on a live string at the return point, where the live string is a string that is reachable from a local variable; using the determined constraints for the input string, determining whether all of the return values returned from the one or more return points meet one or more validation constraints for one or both of the two possible return values; and outputting one or more indications of whether all of the returned values returned from the one or more return points meet the validation constraints for the one or both of the two possible return values.