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

摘要

The use of a static analysis for configuring a follow-on dynamic analysis for the evaluation of program code is provided. A request may be received for configuring a static analysis session for the evaluation of the program code. The static analysis may be executed and an output may be produced therefrom. The output may be analyzed to determine whether a dynamic analysis is needed for resolving code ambiguities in the program code. If it determined that the dynamic analysis is needed, then the dynamic analysis of the program code is initiated.

主权项

1. A method of using a static analysis for configuring a follow-on dynamic analysis for the evaluation of program code, comprising:
receiving, by a computing device, a request for configuring a static analysis session for the evaluation of the program code; executing, by the computing device, the static analysis; producing, by the computing device, an output from the static analysis; analyzing, by the computing device, the output of the static analysis; determining, by the computing device, whether to perform a dynamic analysis for resolving code ambiguities; and upon determining, by the computing device, to perform the dynamic analysis, initiating the dynamic analysis of the program code.