...
| Scroll Table Layout | ||
|---|---|---|
|
| Incremental analysis | Enable Enable incremental analysis to run flow analysis in incremental mode. Incremental mode reduces the time required to run analysis during nightly runs on a single code base that changes from day to day. Enable Compact incremental caches and specify how frequently unnecessary data that may have been cached is removed. This option is available for C++test only. |
|---|---|
| Depth of analysis | Choose the depth of flow analysis. A deeper setting results in more findings but may results in slower analysis and greater memory consumption. |
| Strategy for timeouts | Configure the timeout settings for flow analysis. Enable time and specify how many seconds flow analysis should wait before timing out when analyzing a single point in the code. Enable instructions and specify the maximum number of flow analysis instructions allowed when analyzing a single point in the code. Enable off to disable timeouts. |
| Enables swapping of analysis data to disk | Enable this option to allow the flow analysis tool to write the data necessary for analysis to disk. This prevents flow analysis from consuming all available memory when analyzing a large project in which the data represents a semantic model of the analyzed source code. |
Verbosity Settings
Expand this section to access options related to how much detail is included in the report.
...
| Scroll Table Layout | ||
|---|---|---|
|
| Do not report violations when cause cannot be shown | Enable this option if you want to exclude violations that lack a cause from being reported. Complete paths from the cause to the point of violation are reported if this option is enabled, but violation causes are not reported for paths that have multiple causes. |
|---|---|
| Do not report more than one violation per point | Enable this option to restrict the number reported violations when the cause or point of violation is shared. |
| Do Not report violations whose paths pass via inline assembly code | Enable this option to report violations whose paths are passed with inline assembly code instructions. C/C++test only. |
| Report problems with building analysis data | Enable this option to report a set up problem if flow analysis encounters a problem while building analysis data. |
Null-Checking Methods Settings
...
| Scroll Table Layout | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
| External files to analyze | Specifies absolute paths to additional header files to be analyzed by Flow Analysis. Use wildcards to specify the pattern. |
|---|---|
| External functions to analyze | Specifies additional functions to be analyzed by Flow Analysis. Complete the table with the following information:
|
Compiler-Specific Settings
...