Optimizing Verification for Advanced Program Analysis

When you enable advanced program analysis options for COBOL projects, the parser calculates constant values for variables at every node in the Interactive Analysis parse tree. For this reason very large COBOL applications might encounter performance or memory problems during verification.

You may be able to improve verification performance and avoid out-of-memory problems by manipulating the Maximum Number of Variable’s Values and Maximum Size of Variable to be Calculated options. To do this:

1. Click Options > Project Options.

   This opens the Options - Project properties dialog box.

2. Click the Verification tab.
3. In the Source Type list, click COBOL File.
4. In the Advanced Program Analysis group, click Advanced.

   This opens the Details dialog box.

The lower the maximums, the better performance and memory usage you can expect.

For each setting, you are warned during verification about variables for which the specified maximum is exceeded. Micro Focus recommends you increase the overflowed maximum and re-verify the application.