[ol8_developer_EPEL] smatch-data-1.73-2.el8.noarch

Data for Smatch the static analysis tool for C.

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • share

      • smatch

        • smatch_data

          • db

            • call_implies.schema

            • caller_info.schema

            • common_caller_info.schema

            • constraints.schema

            • constraints_required.schema

            • data_info.schema

            • db.schema

            • fn_data_link.schema

            • fn_ptr_data_link.schema

            • function_ptr.schema

            • function_type.schema

            • function_type_info.schema

            • function_type_size.schema

            • function_type_value.schema

            • kernel.constraints

            • kernel.constraints_required

            • kernel.delete.return_states

            • kernel.forced_return_splits

            • kernel.insert.return_states

            • kernel.return_fixes

            • local_values.schema

            • mtag_about.schema

            • mtag_alias.schema

            • mtag_data.schema

            • mtag_info.schema

            • mtag_map.schema

            • param_map.schema

            • parameter_name.schema

            • return_implies.schema

            • return_states.schema

            • sink_info.schema

            • type_info.schema

            • type_size.schema

            • type_value.schema

          • kernel.allocation_funcs

          • kernel.allocation_funcs.remove

          • kernel.allocation_funcs_gfp

          • kernel.allocation_funcs_gfp.remove

          • kernel.bit_shifters

          • kernel.bit_shifters.remove

          • kernel.check_string_condition.ignore

          • kernel.clears_argument

          • kernel.common_functions

          • kernel.dev_queue_xmit

          • kernel.dma_funcs

          • kernel.expects_err_ptr

          • kernel.frees_argument

          • kernel.frees_argument.remove

          • kernel.gfp_flags

          • kernel.ignore_bogus_null_checks

          • kernel.ignore_casted_params

          • kernel.ignore_macro_indenting

          • kernel.ignore_memcpy_struct_overflows

          • kernel.ignore_no_effect

          • kernel.ignore_side_effects

          • kernel.ignore_uninitialized_param

          • kernel.ignored_macros

          • kernel.ignored_warnings

          • kernel.implicit_dependencies.no_structs

          • kernel.implicit_dependencies.v1

          • kernel.ioctls

          • kernel.macro_takes_sizeof_argument

          • kernel.must_check_funcs

          • kernel.no_inline_functions

          • kernel.no_return_funcs

          • kernel.no_return_funcs.add

          • kernel.no_return_funcs.remove

          • kernel.parameter_implications.add

          • kernel.puts_argument

          • kernel.returns_err_ptr

          • kernel.returns_err_ptr.remove

          • kernel.rosenberg_funcs

          • kernel.silenced_functions

          • kernel.sizeof_param

          • kernel.sizeof_param.remove

          • kernel.skipped_macros

          • kernel.unconstant_macros

          • kernel.unreachable.ignore

          • kernel.unreachable.turn_off

          • kernel.unwind_functions

          • no_return_funcs

          • no_return_funcs.remove

          • smatch.common_functions

          • smatch_generic.common_functions

          • wine.bit_shifters

          • wine.ignored_macros

          • wine.no_return_funcs

          • wine.no_return_funcs.add

          • wine.no_return_funcs.remove

          • wine.sizeof_param