1.4.45. Migration to 7.3.9

1.4.45.1. Stylecheck

The behavior of analysis option global_classic_options.abstract_interpretation of the StaticSemanticAnalysis rule has been slightly changed: the additional abstract value analysis described in option global_classic_options.advanced.abstract_value_analysis is no longer automatically carried out automatically if the option global_classic_options.abstract_interpretation is set to true, since it might require additional memory and time resources.

For activating the additional abstract value analysis, the option global_classic_options.advanced.abstract_value_analysis has now to be set to true explicitly.