2 #define CK(_x) void _x(int id);
6 CK(register_db_call_marker
) /* always has to be first */
7 CK(register_mtag_data
) /* before smatch_extra to clear cache at start of function */
8 CK(register_param_used
) /* get_state_hooks have to be registered before smatch_extra */
9 CK(register_container_of
)
10 CK(register_container_of2
)
11 CK(register_smatch_extra
)
12 CK(register_smatch_extra_links
)
13 CK(register_modification_hooks
)
15 * Implications should probably be after all the modification and smatch_extra
19 CK(register_implications
)
20 CK(register_definition_db_callbacks
)
21 CK(register_project
) /* has to be early to set up some global stuff */
22 CK(register_untracked_param
)
23 CK(register_buf_comparison
)
24 CK(register_buf_comparison_links
)
25 CK(register_param_compare_limit
)
26 CK(register_param_compare_limit_links
)
27 CK(register_returns_early
)
29 CK(register_param_cleared
) /* param_set relies on param_cleared */
30 CK(register_param_limit
) /* param limit has to be before param_set */
31 CK(register_param_set
)
33 CK(register_smatch_ignore
)
36 CK(register_strlen_equiv
)
38 CK(register_parse_call_math
)
39 CK(register_param_filter
)
40 CK(register_struct_assignment
)
41 CK(register_comparison
)
42 CK(register_comparison_links
)
43 CK(register_comparison_inc_dec
)
44 CK(register_comparison_inc_dec_links
)
45 CK(register_function_ptrs
)
47 CK(register_start_states
)
49 CK(register_data_source
)
50 CK(register_common_functions
)
51 CK(register_function_info
)
52 CK(register_type_links
)
53 CK(register_impossible
)
54 CK(register_impossible_return
)
56 CK(register_integer_overflow
)
57 CK(register_integer_overflow_links
)
58 CK(register_real_absolute
)
59 CK(register_imaginary_absolute
)
61 CK(register_power_of_two
)
62 CK(register_fn_arg_link
)
63 CK(register_parameter_names
)
64 CK(register_return_to_param
)
65 CK(register_return_to_param_links
)
66 CK(register_constraints
)
67 CK(register_constraints_required
)
68 CK(register_about_fn_ptr_arg
)
71 CK(register_param_to_mtag_data
)
72 CK(register_array_values
)
73 CK(register_nul_terminator
)
74 CK(register_nul_terminator_param_set
)
75 CK(register_statement_count
)
76 CK(register_fresh_alloc
)
78 CK(register_unconstant_macros
)
79 CK(register_state_assigned
)
80 CK(register_points_to_container
)
82 CK(register_kernel_user_data
)
83 CK(register_kernel_user_data2
)
84 CK(register_points_to_user_data
)
86 CK(register_kernel_host_data
)
87 CK(register_points_to_host_data
)
95 CK(check_dereferences_param
)
96 CK(check_index_overflow
)
97 CK(check_index_overflow_loop_marker
)
98 CK(check_testing_index_after_use
)
99 CK(check_memcpy_overflow
)
100 CK(check_strcpy_overflow
)
101 CK(check_sprintf_overflow
)
102 CK(check_snprintf_overflow
)
103 CK(check_allocating_enough_data
)
106 CK(check_allocation_funcs
)
107 CK(check_frees_argument
)
108 CK(check_deref_check
)
112 CK(check_dma_on_stack
)
113 CK(check_param_mapper
)
115 CK(check_dev_queue_xmit
)
120 CK(check_resource_size
)
121 CK(check_release_resource
)
122 CK(check_proc_create
)
123 CK(check_freeing_null
)
124 CK(check_frees_param
)
126 CK(check_frees_param_strict
)
127 CK(check_free_strict
)
132 CK(check_return_efault
)
135 CK(check_unwind_info
)
136 CK(check_kmalloc_to_bugon
)
137 CK(check_platform_device_put
)
139 CK(check_return_enomem
)
140 CK(check_get_user_overflow
)
141 CK(check_get_user_overflow2
)
142 CK(check_access_ok_math
)
143 CK(check_container_of
)
144 CK(check_input_free_device
)
147 CK(check_logical_instead_of_bitwise
)
148 CK(check_kmalloc_wrong_size
)
149 CK(check_pointer_math
)
151 CK(check_macro_side_effects
)
153 CK(check_return_cast
)
155 CK(check_passes_sizeof
)
156 CK(check_assign_vs_compare
)
157 CK(check_array_condition
)
158 CK(check_struct_type
)
159 CK(check_64bit_shift
)
160 CK(check_wrong_size_arg
)
161 CK(check_cast_assign
)
162 CK(check_double_checking
)
163 CK(check_shift_to_zero
)
165 CK(check_unreachable
)
166 CK(check_missing_error_code
)
167 CK(check_no_if_block
)
168 CK(check_buffer_too_small_for_struct
)
169 CK(check_uninitialized
)
170 CK(check_signed_integer_overflow_check
)
171 CK(check_continue_vs_break
)
172 CK(check_impossible_mask
)
173 CK(check_atomic_inc_dec
)
174 CK(check_atomic_test
)
176 CK(check_preempt_info
)
178 CK(check_scheduling_in_atomic
)
179 CK(check_checking_for_null_instead_of_err_ptr
)
180 CK(check_syscall_arg_type
)
181 CK(check_trinity_generator
)
182 CK(register_param_bits_set
)
183 CK(register_param_bits_clear
)
184 CK(check_do_while_loop_limit
)
186 /* <- your test goes here */
187 /* CK(register_template) */
189 /* kernel specific */
190 CK(check_kernel_printf
)
192 CK(check_puts_argument
)
194 CK(check_err_ptr_deref
)
195 CK(check_expects_err_ptr
)
196 CK(check_return_negative_var
)
200 CK(check_wait_for_common
)
201 CK(check_bogus_irqrestore
)
202 CK(check_zero_to_err_ptr
)
203 CK(check_freeing_devm
)
204 CK(check_off_by_one_relative
)
208 CK(check_dma_mapping_error
)
210 CK(check_nospec_barrier
)
212 CK(check_spectre_second_half
)
213 CK(check_implicit_dependencies
)
214 CK(check_pm_runtime_get_sync
)
215 CK(check_iterator_outside_loop
)
217 CK(check_list_add_late
)
218 CK(check_sscanf_return
)
219 CK(check_kvmalloc_array_zero
)
220 CK(check_kvmalloc_NOFS
)
221 CK(check_uaf_netdev_priv
)
223 /* wine specific stuff */
224 CK(check_wine_filehandles
)
227 CK(check_arm64_tagged
)
229 /* illumos specific */
230 CK(check_all_func_returns
)
233 #include "check_list_local.h"
236 CK(register_stored_conditions
)
237 CK(register_stored_conditions_links
)
238 CK(register_parsed_conditions
)
240 CK(register_buf_size_late
)
241 CK(register_smatch_extra_late
)
242 CK(register_assigned_expr
) /* This is used by smatch_extra.c so it has to come really late */
243 CK(register_assigned_expr_links
)
244 CK(register_modification_hooks_late
) /* has to come after smatch_extra */
245 CK(register_param_key
) /* has to come after smatch_extra */
246 CK(register_comparison_late
) /* has to come after modification_hooks_late */
247 CK(register_function_hooks
)
248 CK(register_definition_db_callbacks_late
) /* has to come after register_function_hooks() */
249 CK(check_kernel
) /* this is overwriting stuff from smatch_extra_late */