1.4.42. Migration to 7.4.3

1.4.42.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.