smatch
======
/usr/lib/.build-id
/usr/lib/.build-id/87
/usr/share/doc/smatch
/usr/share/licenses/smatch

/usr/bin/smatch
/usr/lib/.build-id/87/28d42ae58e2dc6c31f2e55064346e04d88ec07
/usr/share/doc/smatch/README
/usr/share/doc/smatch/arm64-detecting-tagged-addresses.txt
/usr/share/doc/smatch/smatch.txt
/usr/share/licenses/smatch/GPL-2
/usr/share/licenses/smatch/LICENSE

smatch-data
===========
/usr/share/smatch
/usr/share/smatch/smatch_data
/usr/share/smatch/smatch_data/db

/usr/share/smatch/smatch_data/db/call_implies.schema
/usr/share/smatch/smatch_data/db/caller_info.schema
/usr/share/smatch/smatch_data/db/common_caller_info.schema
/usr/share/smatch/smatch_data/db/constraints.schema
/usr/share/smatch/smatch_data/db/constraints_required.schema
/usr/share/smatch/smatch_data/db/data_info.schema
/usr/share/smatch/smatch_data/db/db.schema
/usr/share/smatch/smatch_data/db/fn_data_link.schema
/usr/share/smatch/smatch_data/db/fn_ptr_data_link.schema
/usr/share/smatch/smatch_data/db/function_ptr.schema
/usr/share/smatch/smatch_data/db/function_type.schema
/usr/share/smatch/smatch_data/db/function_type_info.schema
/usr/share/smatch/smatch_data/db/function_type_size.schema
/usr/share/smatch/smatch_data/db/function_type_value.schema
/usr/share/smatch/smatch_data/db/kernel.constraints
/usr/share/smatch/smatch_data/db/kernel.constraints_required
/usr/share/smatch/smatch_data/db/kernel.delete.return_states
/usr/share/smatch/smatch_data/db/kernel.forced_return_splits
/usr/share/smatch/smatch_data/db/kernel.insert.return_states
/usr/share/smatch/smatch_data/db/kernel.return_fixes
/usr/share/smatch/smatch_data/db/local_values.schema
/usr/share/smatch/smatch_data/db/mtag_about.schema
/usr/share/smatch/smatch_data/db/mtag_alias.schema
/usr/share/smatch/smatch_data/db/mtag_data.schema
/usr/share/smatch/smatch_data/db/mtag_info.schema
/usr/share/smatch/smatch_data/db/mtag_map.schema
/usr/share/smatch/smatch_data/db/param_map.schema
/usr/share/smatch/smatch_data/db/parameter_name.schema
/usr/share/smatch/smatch_data/db/return_implies.schema
/usr/share/smatch/smatch_data/db/return_states.schema
/usr/share/smatch/smatch_data/db/sink_info.schema
/usr/share/smatch/smatch_data/db/type_info.schema
/usr/share/smatch/smatch_data/db/type_size.schema
/usr/share/smatch/smatch_data/db/type_value.schema
/usr/share/smatch/smatch_data/kernel.allocation_funcs
/usr/share/smatch/smatch_data/kernel.allocation_funcs.remove
/usr/share/smatch/smatch_data/kernel.allocation_funcs_gfp
/usr/share/smatch/smatch_data/kernel.allocation_funcs_gfp.remove
/usr/share/smatch/smatch_data/kernel.bit_shifters
/usr/share/smatch/smatch_data/kernel.bit_shifters.remove
/usr/share/smatch/smatch_data/kernel.check_string_condition.ignore
/usr/share/smatch/smatch_data/kernel.clears_argument
/usr/share/smatch/smatch_data/kernel.common_functions
/usr/share/smatch/smatch_data/kernel.dev_queue_xmit
/usr/share/smatch/smatch_data/kernel.dma_funcs
/usr/share/smatch/smatch_data/kernel.expects_err_ptr
/usr/share/smatch/smatch_data/kernel.frees_argument
/usr/share/smatch/smatch_data/kernel.frees_argument.remove
/usr/share/smatch/smatch_data/kernel.gfp_flags
/usr/share/smatch/smatch_data/kernel.ignore_bogus_null_checks
/usr/share/smatch/smatch_data/kernel.ignore_casted_params
/usr/share/smatch/smatch_data/kernel.ignore_macro_indenting
/usr/share/smatch/smatch_data/kernel.ignore_memcpy_struct_overflows
/usr/share/smatch/smatch_data/kernel.ignore_no_effect
/usr/share/smatch/smatch_data/kernel.ignore_side_effects
/usr/share/smatch/smatch_data/kernel.ignore_uninitialized_param
/usr/share/smatch/smatch_data/kernel.ignored_macros
/usr/share/smatch/smatch_data/kernel.ignored_warnings
/usr/share/smatch/smatch_data/kernel.implicit_dependencies.no_structs
/usr/share/smatch/smatch_data/kernel.implicit_dependencies.v1
/usr/share/smatch/smatch_data/kernel.ioctls
/usr/share/smatch/smatch_data/kernel.macro_takes_sizeof_argument
/usr/share/smatch/smatch_data/kernel.must_check_funcs
/usr/share/smatch/smatch_data/kernel.no_inline_functions
/usr/share/smatch/smatch_data/kernel.no_return_funcs
/usr/share/smatch/smatch_data/kernel.no_return_funcs.add
/usr/share/smatch/smatch_data/kernel.no_return_funcs.remove
/usr/share/smatch/smatch_data/kernel.parameter_implications.add
/usr/share/smatch/smatch_data/kernel.puts_argument
/usr/share/smatch/smatch_data/kernel.returns_err_ptr
/usr/share/smatch/smatch_data/kernel.returns_err_ptr.remove
/usr/share/smatch/smatch_data/kernel.rosenberg_funcs
/usr/share/smatch/smatch_data/kernel.silenced_functions
/usr/share/smatch/smatch_data/kernel.sizeof_param
/usr/share/smatch/smatch_data/kernel.sizeof_param.remove
/usr/share/smatch/smatch_data/kernel.skipped_macros
/usr/share/smatch/smatch_data/kernel.unconstant_macros
/usr/share/smatch/smatch_data/kernel.unreachable.ignore
/usr/share/smatch/smatch_data/kernel.unreachable.turn_off
/usr/share/smatch/smatch_data/kernel.unwind_functions
/usr/share/smatch/smatch_data/no_return_funcs
/usr/share/smatch/smatch_data/no_return_funcs.remove
/usr/share/smatch/smatch_data/smatch.common_functions
/usr/share/smatch/smatch_data/smatch_generic.common_functions
/usr/share/smatch/smatch_data/wine.bit_shifters
/usr/share/smatch/smatch_data/wine.ignored_macros
/usr/share/smatch/smatch_data/wine.no_return_funcs
/usr/share/smatch/smatch_data/wine.no_return_funcs.add
/usr/share/smatch/smatch_data/wine.no_return_funcs.remove
/usr/share/smatch/smatch_data/wine.sizeof_param

smatch-debuginfo
================
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/87
/usr/lib/debug/usr
/usr/lib/debug/usr/bin

/usr/lib/debug/.build-id/87/28d42ae58e2dc6c31f2e55064346e04d88ec07
/usr/lib/debug/.build-id/87/28d42ae58e2dc6c31f2e55064346e04d88ec07.debug
/usr/lib/debug/usr/bin/smatch-1.73-1.fc40.x86_64.debug

smatch-debugsource
==================
/usr/src/debug/smatch-1.73-1.fc40.x86_64
/usr/src/debug/smatch-1.73-1.fc40.x86_64/compat
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cwchash

/usr/src/debug/smatch-1.73-1.fc40.x86_64/allocate.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/allocate.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/avl.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/avl.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/bits.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/builtin.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/builtin.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/char.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/char.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_64bit_shift.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_access_ok_math.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_all_func_returns.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_allocating_enough_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_allocation_funcs.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_arm64_tagged.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_array_condition.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_assign_vs_compare.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_atomic_inc_dec.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_bit_shift.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_bogus_irqrestore.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_bogus_loop.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_buffer_too_small_for_struct.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_call_tree.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_capable.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_cast_assign.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_check_deref.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_checking_for_null_instead_of_err_ptr.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_cmn_err.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_container_of.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_continue_vs_break.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_debug.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_deref.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_deref_check.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_dereferences_param.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_dev_queue_xmit.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_dma_mapping_error.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_dma_on_stack.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_do_while_loop_limit.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_double_checking.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_err_ptr.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_err_ptr_deref.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_expects_err_ptr.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_free.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_free_strict.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_freeing_devm.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_freeing_null.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_frees_argument.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_frees_param.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_frees_param_strict.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_get_user_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_gfp_dma.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_ida_alloc.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_implicit_dependencies.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_implicit_dependencies_tester.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_impossible_mask.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_indenting.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_index_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_info_leak.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_input_free_device.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_iterator_outside_loop.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kernel.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kernel_printf.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kmalloc_to_bugon.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kmalloc_wrong_size.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kunmap.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kvmalloc_NOFS.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_kvmalloc_array_zero.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_leaks.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_list.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_list_add.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_locking.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_logical_instead_of_bitwise.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_macro_side_effects.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_macros.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_memcpy_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_memset.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_min_t.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_missing_error_code.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_mod_timer.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_netdev_priv.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_no_effect.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_no_if_block.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_no_return.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_nospec.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_off_by_one_relative.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_or_vs_and.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_param_mapper.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_passes_sizeof.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_platform_device_put.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_pm_runtime_get_sync.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_pointer_math.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_precedence.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_preempt.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_preempt_info.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_proc_create.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_puts_argument.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_refcount_inconsistent_returns.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_refcount_info.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_release_resource.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_resource_size.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_return.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_return_cast.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_return_efault.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_return_enomem.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_return_negative_var.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_returns_negative_error_code.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_rosenberg.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_scheduling_in_atomic.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_select.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_select_type.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_shift_to_zero.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_signed.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_signed_integer_overflow_check.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_sizeof.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_sleep_info.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_snprintf.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_snprintf_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_spectre.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_spectre_second_half.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_sprintf_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_sscanf_return.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_stack.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_strcpy_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_string_len.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_struct_type.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_syscall_arg_type.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_template.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_test_bit.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_testing_index_after_use.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_trinity_generator.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_type.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_uninitialized.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_unreachable.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_unused_ret.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_unwind.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_wait_for_common.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_wine.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_wine_WtoA.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_wine_filehandles.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_wrong_size_arg.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/check_zero_to_err_ptr.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/compat-linux.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/compat.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/compat/mmap-blob.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/compat/strtold.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cse.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cse.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cwchash/hashtable.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cwchash/hashtable.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/cwchash/hashtable_private.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/dominate.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/dominate.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/evaluate.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/evaluate.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/expand.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/expression.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/expression.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/flow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/flow.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/flowgraph.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/flowgraph.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ident-list.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/inline.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ir.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ir.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/lib.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/lib.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/linearize.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/linearize.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/liveness.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/liveness.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/machine.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/macro_table.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/memops.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/opcode.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/opcode.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/optimize.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/optimize.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/options.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/options.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/parse.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/parse.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/pre-process.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/predefine.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ptrlist.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ptrlist.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ptrmap.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ptrmap.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/scope.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/scope.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/show-parse.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/simplify.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/simplify.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_about_fn_ptr_arg.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_address.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_allocations.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_annotate.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_array_values.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_assigned_expr.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_bits.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_buf_comparison.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_buf_comparison2.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_buf_size.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_capped.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_common_functions.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_comparison.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_conditions.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_constants.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_constraints.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_constraints_required.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_container_of.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_data_source.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_db.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_equiv.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_estate.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_expression_stacks.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_expression_stacks.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_expressions.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_extra.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_extra.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_files.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_flow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_fn_arg_link.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_fresh_alloc.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_function_hashtable.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_function_hooks.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_function_info.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_function_ptrs.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_helper.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_hooks.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_ignore.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_imaginary_absolute.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_implied.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_impossible.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_integer_overflow.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_kernel_host_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_kernel_user_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_links.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_math.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_mem_tracker.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_modification_hooks.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_mtag.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_mtag_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_mtag_map.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_nul_terminator.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_bits_clear.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_bits_set.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_cleared.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_compare_limit.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_filter.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_key.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_limit.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_set.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_to_mtag_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_param_used.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_parameter_names.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_parse_call_math.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_parsed_conditions.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_passes_array_size.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_points_to_container.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_points_to_host_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_points_to_user_data.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_power_of_two.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_project.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_ranges.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_real_absolute.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_recurse.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_return_to_param.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_returns.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_scope.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_slist.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_slist.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_ssa.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_start_states.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_state_assigned.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_statement_count.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_states.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_stored_conditions.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_string_list.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_strings.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_strlen.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_struct_assignment.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_sval.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_tracker.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_type.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_type_links.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_type_val.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_unconstant_macros.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_unknown_value.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_untracked_param.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_untracked_var.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/smatch_var_sym.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/sort.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ssa.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/ssa.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/symbol.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/symbol.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-alpha.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-arm.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-arm64.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-bfin.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-default.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-h8300.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-m68k.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-microblaze.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-mips.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-nds32.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-nios2.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-openrisc.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-ppc.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-riscv.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-s390.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-sh.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-sparc.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-x86.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target-xtensa.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/target.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/token.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/token_store.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/tokenize.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/utils.c
/usr/src/debug/smatch-1.73-1.fc40.x86_64/utils.h
/usr/src/debug/smatch-1.73-1.fc40.x86_64/version.c