36 CK(register_param_set)
37 CK(register_param_cleared)
38 CK(register_struct_assignment)
39 CK(register_comparison)
40 CK(register_comparison_links)
41 CK(register_comparison_inc_dec)
42 CK(register_comparison_inc_dec_links)
43 CK(register_local_values)
44 CK(register_function_ptrs)
45 CK(register_annotate)
46 CK(register_start_states)
47 CK(register_type_val)
48 CK(register_data_source)
49 CK(register_common_functions)
50 CK(register_function_info)
51 CK(register_auto_copy)
52 CK(register_type_links)
53 CK(register_impossible)
54 CK(register_impossible_return)
55 CK(register_strings)
56 CK(register_real_absolute)
57 CK(register_imaginary_absolute)
58 CK(register_fn_arg_link)
59 CK(register_parameter_names)
60 CK(register_return_to_param)
61 CK(register_return_to_param_links)
62 CK(register_constraints)
63 CK(register_constraints_required)
64 CK(register_about_fn_ptr_arg)
65 CK(register_mtag)
66 CK(register_mtag_map)
67 CK(register_mtag_data)
68 CK(register_param_to_mtag_data)
69 CK(register_array_values)
70 CK(register_nul_terminator)
71 CK(register_nul_terminator_param_set)
72 CK(register_statement_count)
73
74 CK(register_kernel_user_data2)
75 CK(register_kernel_user_data3)
76
77 CK(check_debug)
78
79 CK(check_bogus_loop)
80
81 CK(check_deref)
82 CK(check_check_deref)
83 CK(check_dereferences_param)
84 CK(check_index_overflow)
85 CK(check_index_overflow_loop_marker)
86 CK(check_testing_index_after_use)
87 CK(check_memcpy_overflow)
88 CK(check_strcpy_overflow)
89 CK(check_sprintf_overflow)
90 CK(check_snprintf_overflow)
91 CK(check_allocating_enough_data)
92 CK(check_leaks)
93 CK(check_type)
94 CK(check_allocation_funcs)
95 CK(check_frees_argument)
170 CK(check_puts_argument)
171 CK(check_err_ptr)
172 CK(check_err_ptr_deref)
173 CK(check_expects_err_ptr)
174 CK(check_held_dev)
175 CK(check_return_negative_var)
176 CK(check_rosenberg)
177 CK(check_rosenberg2)
178 CK(check_wait_for_common)
179 CK(check_bogus_irqrestore)
180 CK(check_zero_to_err_ptr)
181 CK(check_freeing_devm)
182 CK(check_off_by_one_relative)
183 CK(check_capable)
184 CK(check_ns_capable)
185 CK(check_test_bit)
186 CK(check_dma_mapping_error)
187 CK(check_nospec)
188 CK(check_nospec_barrier)
189 CK(check_spectre)
190 CK(check_implicit_dependencies)
191
192 /* wine specific stuff */
193 CK(check_wine_filehandles)
194 CK(check_wine_WtoA)
195
196 /* illumos specific */
197 CK(check_all_func_returns)
198
199 #include "check_list_local.h"
200
201 CK(register_scope)
202 CK(register_stored_conditions)
203 CK(register_stored_conditions_links)
204 CK(register_sval)
205 CK(register_buf_size_late)
206 CK(register_smatch_extra_late)
207 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
208 CK(register_assigned_expr_links)
209 CK(register_modification_hooks_late) /* has to come after smatch_extra */
210 CK(register_comparison_late) /* has to come after modification_hooks_late */
211 CK(register_function_hooks)
212 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
213 CK(check_wine)
214 CK(register_returns)
215
216 #ifdef __undo_CK_def
217 #undef CK
|
36 CK(register_param_set)
37 CK(register_param_cleared)
38 CK(register_struct_assignment)
39 CK(register_comparison)
40 CK(register_comparison_links)
41 CK(register_comparison_inc_dec)
42 CK(register_comparison_inc_dec_links)
43 CK(register_local_values)
44 CK(register_function_ptrs)
45 CK(register_annotate)
46 CK(register_start_states)
47 CK(register_type_val)
48 CK(register_data_source)
49 CK(register_common_functions)
50 CK(register_function_info)
51 CK(register_auto_copy)
52 CK(register_type_links)
53 CK(register_impossible)
54 CK(register_impossible_return)
55 CK(register_strings)
56 CK(register_integer_overflow)
57 CK(register_integer_overflow_links)
58 CK(register_real_absolute)
59 CK(register_imaginary_absolute)
60 CK(register_bits)
61 CK(register_fn_arg_link)
62 CK(register_parameter_names)
63 CK(register_return_to_param)
64 CK(register_return_to_param_links)
65 CK(register_constraints)
66 CK(register_constraints_required)
67 CK(register_about_fn_ptr_arg)
68 CK(register_mtag)
69 CK(register_mtag_map)
70 CK(register_mtag_data)
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
77 CK(register_kernel_user_data)
78 CK(register_kernel_user_data2)
79
80 CK(check_debug)
81
82 CK(check_bogus_loop)
83
84 CK(check_deref)
85 CK(check_check_deref)
86 CK(check_dereferences_param)
87 CK(check_index_overflow)
88 CK(check_index_overflow_loop_marker)
89 CK(check_testing_index_after_use)
90 CK(check_memcpy_overflow)
91 CK(check_strcpy_overflow)
92 CK(check_sprintf_overflow)
93 CK(check_snprintf_overflow)
94 CK(check_allocating_enough_data)
95 CK(check_leaks)
96 CK(check_type)
97 CK(check_allocation_funcs)
98 CK(check_frees_argument)
173 CK(check_puts_argument)
174 CK(check_err_ptr)
175 CK(check_err_ptr_deref)
176 CK(check_expects_err_ptr)
177 CK(check_held_dev)
178 CK(check_return_negative_var)
179 CK(check_rosenberg)
180 CK(check_rosenberg2)
181 CK(check_wait_for_common)
182 CK(check_bogus_irqrestore)
183 CK(check_zero_to_err_ptr)
184 CK(check_freeing_devm)
185 CK(check_off_by_one_relative)
186 CK(check_capable)
187 CK(check_ns_capable)
188 CK(check_test_bit)
189 CK(check_dma_mapping_error)
190 CK(check_nospec)
191 CK(check_nospec_barrier)
192 CK(check_spectre)
193 CK(check_spectre_second_half)
194 CK(check_implicit_dependencies)
195
196 /* wine specific stuff */
197 CK(check_wine_filehandles)
198 CK(check_wine_WtoA)
199
200 /* illumos specific */
201 CK(check_all_func_returns)
202 CK(check_cmn_err)
203
204 #include "check_list_local.h"
205
206 CK(register_scope)
207 CK(register_stored_conditions)
208 CK(register_stored_conditions_links)
209 CK(register_sval)
210 CK(register_buf_size_late)
211 CK(register_smatch_extra_late)
212 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
213 CK(register_assigned_expr_links)
214 CK(register_modification_hooks_late) /* has to come after smatch_extra */
215 CK(register_comparison_late) /* has to come after modification_hooks_late */
216 CK(register_function_hooks)
217 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
218 CK(check_wine)
219 CK(register_returns)
220
221 #ifdef __undo_CK_def
222 #undef CK
|