Using a Static Analysis for Configuring a Follow-On Dynamic Analysis for the Evaluation of Program Code

A computing device comprising:

• a memory for storing executable program code;
• and
• a processor, functionally coupled to the memory, the processor being responsive to computer-executable instructions contained in the executable program code and operative to:
• receive a request to configure a static analysis session for the evaluation of program code;
• execute the static analysis;
• produce an output from the static analysis;
• analyze the output of the static analysis to determine code ambiguities resolvable by a runtime analysis;
• determine whether to perform a dynamic analysis for resolving the code ambiguities;
• and
• initiate the dynamic analysis of the program code.

A computer-readable storage medium storing computer executable instructions which, when executed on a computing device, will cause the computing device to perform a method of configuring a follow-on dynamic analysis for the evaluation of program code, the comprising:

• receiving a request for configuring a static analysis session for the evaluation of the program code;
• executing the static analysis;
• producing an output from the static analysis;
• analyzing the output of the static analysis to determine program code ambiguities resolvable by a runtime analysis;
• determining whether to perform a dynamic analysis for resolving code ambiguities;
• upon determining to perform the dynamic analysis, initiating the dynamic analysis of the program code to collect data relevant for resolving the code ambiguities;
• processing results of the dynamic analysis;
• and
• mapping the results of the dynamic analysis to an analysis report.