Generating software application user-input data through analysis of client-tier source code

A system comprising:

• a memory comprising instructions executable by one or more processors;
• and
• one or more processors coupled to the memory and operable to execute the instructions, the one or more processors being operable when executing the instructions to:
• analyze client-tier source code of a client-server software application to extract one or more software modules that handle user-input data of the software application;
• for each one of the software modules, extract from the software module one or more user-input constraints placed on the user-input data, comprising:
• analyze source code of the software module to determine one or more failure points in the source code;
• perform symbolic execution on the software module to extract one or more first expressions that cause the software module to reach the failure points, respectively;
• obtain a second expression as the disjunction of all the first expressions;
• obtain a third expression as the negation of the second expression;
• and
• extract the user-input constraints from the third expression;
• and
• determine one or more user-input data that satisfy all the user-input constraints.

One or more computer-readable non-transitory storage media embodying software operable when executed by one or more computing devices to:

• analyze client-tier source code of a client-server software application to extract one or more software modules that handle user-input data of the software application;
• for each one of the software modules, extract from the software module one or more user-input constraints placed on the user-input data, comprising:
• analyze source code of the software module to determine one or more failure points in the source code;
• perform symbolic execution on the software module to extract one or more first expressions that cause the software module to reach the failure points, respectively;
• obtain a second expression as the disjunction of all the first expressions;
• obtain a third expression as the negation of the second expression;
• and
• extract the user-input constraints from the third expression;
• and
• determine one or more user-input data that satisfy all the user-input constraints.