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 may 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 in the Project Verification Options tab. 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. It’s usually best to increase the overflowed maximum and re-verify the application.