moves the unsafe-max-depth, max-entrypoint-context-size and max-alarms options into a sub-option group analysis-options for options that apply individually to each analysis problem.
adds the possibility for taint and slicing problems to redefine their own analysis-options.
adds logging when option values are being overriden by annotations or problem-specific options.
adds some errors capturing when an old configuration is being used.
adds a check forcing tag to be unique for analysis problems when there are multiple
deprecates the unsafe-ignore-non-summarized option which is useless when using on-demand summarization.
Since the previous configuration files are incompatible, this bumps the version to 0.3.0.
This PR:
unsafe-max-depth,max-entrypoint-context-sizeandmax-alarmsoptions into a sub-option groupanalysis-optionsfor options that apply individually to each analysis problem.analysis-options.unsafe-ignore-non-summarizedoption which is useless when using on-demand summarization.Since the previous configuration files are incompatible, this bumps the version to 0.3.0.