check_free_strict: New stricter cross function use after free check
[smatch.git] / smatch_data /
treee6049d77f24f462080b2f6c439c0c496ec3aaecc
drwxr-xr-x   ..
drwxr-xr-x - db
-rw-r--r-- 23756 kernel.allocation_funcs
-rw-r--r-- 0 kernel.allocation_funcs.remove
-rw-r--r-- 14809 kernel.allocation_funcs_gfp
-rw-r--r-- 32 kernel.allocation_funcs_gfp.remove
-rw-r--r-- 103092 kernel.bit_shifters
-rw-r--r-- 230 kernel.bit_shifters.remove
-rw-r--r-- 12 kernel.check_string_condition.ignore
-rw-r--r-- 179 kernel.clears_argument
-rw-r--r-- 972 kernel.common_functions
-rw-r--r-- 765 kernel.dev_queue_xmit
-rw-r--r-- 809 kernel.dma_funcs
-rw-r--r-- 1308 kernel.expects_err_ptr
-rw-r--r-- 10619 kernel.frees_argument
-rw-r--r-- 82 kernel.frees_argument.remove
-rw-r--r-- 4851 kernel.gfp_flags
-rw-r--r-- 86 kernel.ignore_macro_indenting
-rw-r--r-- 74 kernel.ignore_memcpy_struct_overflows
-rw-r--r-- 930 kernel.ignore_side_effects
-rw-r--r-- 1941 kernel.ignore_uninitialized_param
-rw-r--r-- 312 kernel.ignored_macros
-rw-r--r-- 3604 kernel.ioctls
-rw-r--r-- 73 kernel.macro_takes_sizeof_argument
-rw-r--r-- 47 kernel.must_check_funcs
-rw-r--r-- 180 kernel.no_inline_functions
-rw-r--r-- 1849 kernel.no_return_funcs
-rw-r--r-- 9 kernel.no_return_funcs.remove
-rw-r--r-- 560 kernel.parameter_implications.add
-rw-r--r-- 269 kernel.puts_argument
-rw-r--r-- 29413 kernel.returns_err_ptr
-rw-r--r-- 45 kernel.returns_err_ptr.remove
-rw-r--r-- 430 kernel.returns_held_funcs
-rw-r--r-- 1575 kernel.rosenberg_funcs
-rw-r--r-- 267 kernel.silenced_functions
-rw-r--r-- 9892 kernel.sizeof_param
-rw-r--r-- 181 kernel.sizeof_param.remove
-rw-r--r-- 157 kernel.unconstant_macros
-rw-r--r-- 566 kernel.unreachable.ignore
-rw-r--r-- 22 kernel.unreachable.turn_off
-rw-r--r-- 10205 kernel.unwind_functions
-rw-r--r-- 41 no_return_funcs
-rw-r--r-- 82 no_return_funcs.remove
-rw-r--r-- 7 smatch_generic.common_functions
-rw-r--r-- 1223 wine.bit_shifters
-rw-r--r-- 92 wine.ignored_macros
-rw-r--r-- 1494 wine.no_return_funcs
-rw-r--r-- 27 wine.no_return_funcs.add
-rw-r--r-- 6 wine.no_return_funcs.remove
-rw-r--r-- 9977 wine.sizeof_param