Analysis Parameters
Overview
To access the Analysis Parameters:
- Log into the vFunction Server UI
- Select Analysis from the top, center Menu Bar
- Select Configure Parameters from the left-hand sidebar under the Actions Header
Every field in this dialog has a description that can be displayed by hovering over the circled (i) next to its label so we will not cover each and every field.
The left side of the dialog controls the settings of the automatic analysis, while the center and right columns controls the scope and other analysis settings. Changing the settings on the left side, for example, Maximum Runtime, will enforce a complete analysis run (as opposed to an incremental analysis run) - recalculating the domains and common libraries for the current constraints introduced by the user’s actions. Another common usage of these parameters is to increase or decrease the number of domains created by the initial analysis, for example, decreasing the Minimum Runtime will result in more domains.
It is important to note the Classes to Include field, which is also set when creating a new application in the server. It lists the namespaces / packages that will be included in the scope of the analysis. In other words, classes outside these namespaces will be considered “external” and will not be included in the various domains and in the common library.