Code analysis via ranged values

A computer program product encoded on a non-transitory computer-usable storage medium comprising instructions that when executed by a data processing apparatus cause the data processing apparatus to perform operations, the computer program product comprising:

• defining a range of values for one or more inputs to the software code;
• sequentially reading lines of the software code and, for each line of software code:
• determining if the line of software code includes a conditional statement or a non-conditional statement;
• for a non-conditional statement in the line of software code, evaluating the non-conditional statement with one or more values from the range of values;
• for a conditional statement in the line of software code:
• selecting a first set of values from the range of values to evaluate a first branch of the conditional statement;
• evaluating the first branch of the conditional statement in the software code based on the selected first set of values and based on at least one of test time and hardware testing constraints;
• selecting a second set of values from the range of values to evaluate a second branch of the conditional statement, the first branch being different from the second branch;
• and
• evaluating the second branch of the conditional statement in the software code based on the selected second set of values;
• wherein evaluating the first branch and evaluating the second branch comprises analyzing all values in the range of values in the evaluation of the conditional statement;
• and
• outputting an indication regarding an error in the software code based on a result of at least one of the evaluation of the non-conditional statement, the evaluation of the first branch, or the evaluation of the second branch.

A system configured to analyze software code, comprising:

• a definition module configured to define a range of values for one or more inputs to the software code;
• a reading module sequentially reading lines of the software code;
• an assessing module, for each line of software code, determining if the line of software code includes a conditional statement or a non-conditional statement;
• a first evaluation module configured to evaluate a non-conditional statement in the software code with one or more values from the range of values, the assessing module executing the first evaluation module for a non-conditional statement in the line of software code;
• a second evaluation module configured to:
• select a first set of values from the range of values to evaluate a first branch of a conditional statement;
• evaluate the first branch of the conditional statement in the software code based on the selected first set of values and based on at least one of test time and hardware testing constraints;
• select a second set of values from the range of values to evaluate a second branch of the conditional statement, the first branch being different from the second branch;
• and
• evaluate the second branch of the conditional statement in the software code based on the selected second set of values;
• wherein the assessing module executes the second evaluation module for a conditional statement in the line of software code;
• and
• wherein evaluating the first branch and evaluating the second branch comprises analyzing all values in the range of values in the evaluation of the conditional statement;
• and
• an output module configured to output an indication regarding an error in the software code based on a result of at least one of the evaluation of the non-conditional statement, the evaluation of the first branch, or the evaluation of the second branch,
• wherein each of the definition module, the reading module, the assessing module, the first evaluation module, the second evaluation module, and the output module is implemented on a processing device.