def construct_config_handler(cls, args, context): environ = env.extend(context.path_env_extra, context.ld_lib_path_extra) handler = config_handler.ClangSAConfigHandler(environ) handler.analyzer_plugins_dir = context.checker_plugin handler.analyzer_binary = context.analyzer_binaries.get( cls.ANALYZER_NAME) handler.compiler_resource_dir = \ host_check.get_resource_dir(handler.analyzer_binary, context) handler.report_hash = args.report_hash \ if 'report_hash' in args else None handler.enable_z3 = 'enable_z3' in args and args.enable_z3 == 'on' handler.enable_z3_refutation = 'enable_z3_refutation' in args and \ args.enable_z3_refutation == 'on' if 'ctu_phases' in args: handler.ctu_dir = os.path.join(args.output_path, args.ctu_dir) handler.log_file = args.logfile handler.path_env_extra = context.path_env_extra handler.ld_lib_path_extra = context.ld_lib_path_extra try: with open(args.clangsa_args_cfg_file, 'rb') as sa_cfg: handler.analyzer_extra_arguments = \ re.sub(r'\$\((.*?)\)', env.replace_env_var(args.clangsa_args_cfg_file), sa_cfg.read().strip()) handler.analyzer_extra_arguments = \ shlex.split(handler.analyzer_extra_arguments) except IOError as ioerr: LOG.debug_analyzer(ioerr) except AttributeError as aerr: # No clangsa arguments file was given in the command line. LOG.debug_analyzer(aerr) checkers = ClangSA.get_analyzer_checkers(handler, environ) # Read clang-sa checkers from the config file. clang_sa_checkers = context.checker_config.get(cls.ANALYZER_NAME + '_checkers') try: cmdline_checkers = args.ordered_checkers except AttributeError: LOG.debug_analyzer( 'No checkers were defined in ' 'the command line for %s', cls.ANALYZER_NAME) cmdline_checkers = None handler.initialize_checkers(context.available_profiles, context.package_root, checkers, clang_sa_checkers, cmdline_checkers, 'enable_all' in args and args.enable_all) return handler
def construct_config_handler(cls, args, context): environ = env.extend(context.path_env_extra, context.ld_lib_path_extra) handler = config_handler.ClangSAConfigHandler(environ) handler.analyzer_plugins_dir = context.checker_plugin handler.analyzer_binary = context.analyzer_binaries.get( cls.ANALYZER_NAME) handler.compiler_resource_dir = \ host_check.get_resource_dir(handler.analyzer_binary, context) handler.version_info = version.get(handler.analyzer_binary, environ) handler.report_hash = args.report_hash \ if 'report_hash' in args else None handler.enable_z3 = 'enable_z3' in args and args.enable_z3 == 'on' handler.enable_z3_refutation = 'enable_z3_refutation' in args and \ args.enable_z3_refutation == 'on' if 'ctu_phases' in args: handler.ctu_dir = os.path.join(args.output_path, args.ctu_dir) handler.log_file = args.logfile handler.path_env_extra = context.path_env_extra handler.ld_lib_path_extra = context.ld_lib_path_extra try: with open(args.clangsa_args_cfg_file, 'r', encoding='utf8', errors='ignore') as sa_cfg: handler.analyzer_extra_arguments = \ re.sub(r'\$\((.*?)\)', env.replace_env_var(args.clangsa_args_cfg_file), sa_cfg.read().strip()) handler.analyzer_extra_arguments = \ shlex.split(handler.analyzer_extra_arguments) except IOError as ioerr: LOG.debug_analyzer(ioerr) except AttributeError as aerr: # No clangsa arguments file was given in the command line. LOG.debug_analyzer(aerr) checkers = ClangSA.get_analyzer_checkers(handler, environ) # Read clang-sa checkers from the config file. clang_sa_checkers = context.checker_config.get(cls.ANALYZER_NAME + '_checkers') try: cmdline_checkers = args.ordered_checkers except AttributeError: LOG.debug_analyzer( 'No checkers were defined in ' 'the command line for %s', cls.ANALYZER_NAME) cmdline_checkers = None handler.initialize_checkers(context.available_profiles, context.package_root, checkers, clang_sa_checkers, cmdline_checkers, 'enable_all' in args and args.enable_all) handler.checker_config = [] r = re.compile(r'(?P<analyzer>.+?):(?P<key>.+?)=(?P<value>.+)') # TODO: This extra "isinstance" check is needed for # CodeChecker checkers --checker-config. This command also runs # this function in order to construct a config handler. if 'checker_config' in args and \ isinstance(args.checker_config, list): for cfg in args.checker_config: m = re.search(r, cfg) if m.group('analyzer') == cls.ANALYZER_NAME: handler.checker_config.append( m.group('key') + '=' + m.group('value')) # TODO: This extra "isinstance" check is needed for # CodeChecker analyzers --analyzer-config. This command also runs # this function in order to construct a config handler. if 'analyzer_config' in args and \ isinstance(args.analyzer_config, list): for cfg in args.analyzer_config: m = re.search(r, cfg) if m.group('analyzer') == cls.ANALYZER_NAME: handler.checker_config.append( m.group('key') + '=' + m.group('value')) return handler