1.4.56. Migration to 7.1.4

1.4.56.1. Configuration

Some options in the new JSON configuration have changed their type from list to set (namely /Project/VCSIntegration/directory_whitelist, /Project/VCSIntegration/SpecialVCS/Shadow/exclude_globbings, and /Project/VCSIntegration/SpecialVCS/Shadow/include_globbings. If you used those from the Python configuration API, it may be possible that you have to change methods of type list to methods of type set. If you only used axivion_config to create JSON files, you do not have to change your configuration.

The configuration of exceptions for external functions (under /Analysis/AnalysisControl/Exnvironment/Externals) has been simplified. There is now a single option exceptions for each function summary, replacing former options returning.noexcept and returning.throws. If you’ve made changes to one of these options for some function summary, you’ll have to reapply these changes now to the new option.

1.4.56.2. Stylecheck

The default value for option assume_globals_are_initialized in the different rules checking for uninitialized variables has been changed to True as this corresponds to the language standards. The option still exists, so you can set it manually to False if you want to explicitly check global variables as well. Affected rules include, among others, MisraC2012-9.1, MisraC++-8.5.1 and AutosarC++-M8.5.1.

The default value for option languages for all MisraC++ rules is now limited to C++ and no longer includes C. This will affect mixed C/C++ code bases, as rules that are meant to be executed on C++ code will no longer run on C code. The old behavior can be restored by adding C back to each MisraC++ rule languages option:

Configuration snippet to add C to each MisraC++ rule
for rulename in analysis:
    rule = analysis[rulename]
    if rulename.startswith('MisraC++') and hasattr(rule, 'languages'):
        rule.languages.add('C')

1.4.56.3. Tools

irAR now adds .ir suffix to files if environment variable COMPILE_ONLYIR is set (and COMPILE_ONLY is not). This is a change in behavior, however the previous behavior was not in sync with the other irXX tools.