8 CK(register_container_of)
9 CK(register_container_of2)
10 CK(register_smatch_extra) /* smatch_extra always has to be SMATCH_EXTRA */
11 CK(register_smatch_extra_links)
12 CK(register_modification_hooks)
13 /*
14 * Implications should probably be after all the modification and smatch_extra
15 * hooks have run.
16 *
17 */
18 CK(register_implications)
19 CK(register_definition_db_callbacks)
20 CK(register_project)
21 CK(register_untracked_param)
22 CK(register_buf_comparison)
23 CK(register_buf_comparison_links)
24 CK(register_param_compare_limit)
25 CK(register_param_compare_limit_links)
26 CK(register_returns_early)
27
28 CK(register_smatch_ignore)
29 CK(register_buf_size)
30 CK(register_strlen)
31 CK(register_strlen_equiv)
32 CK(register_capped)
33 CK(register_parse_call_math)
34 CK(register_param_limit)
35 CK(register_param_filter)
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_function_ptrs)
44 CK(register_annotate)
45 CK(register_start_states)
46 CK(register_type_val)
47 CK(register_data_source)
48 CK(register_common_functions)
49 CK(register_function_info)
50 CK(register_type_links)
51 CK(register_impossible)
52 CK(register_impossible_return)
53 CK(register_strings)
54 CK(register_integer_overflow)
55 CK(register_integer_overflow_links)
56 CK(register_real_absolute)
57 CK(register_imaginary_absolute)
58 CK(register_bits)
59 CK(register_fn_arg_link)
60 CK(register_parameter_names)
61 CK(register_return_to_param)
62 CK(register_return_to_param_links)
63 CK(register_constraints)
64 CK(register_constraints_required)
65 CK(register_about_fn_ptr_arg)
66 CK(register_mtag)
67 CK(register_mtag_map)
68 CK(register_mtag_data)
69 CK(register_param_to_mtag_data)
70 CK(register_array_values)
71 CK(register_nul_terminator)
72 CK(register_nul_terminator_param_set)
73 CK(register_statement_count)
74
75 CK(register_kernel_user_data)
76 CK(register_kernel_user_data2)
77
78 CK(check_debug)
79
80 CK(check_bogus_loop)
190 CK(check_nospec_barrier)
191 CK(check_spectre)
192 CK(check_spectre_second_half)
193 CK(check_implicit_dependencies)
194
195 /* wine specific stuff */
196 CK(check_wine_filehandles)
197 CK(check_wine_WtoA)
198
199 CK(check_arm64_tagged)
200
201 /* illumos specific */
202 CK(check_all_func_returns)
203 CK(check_cmn_err)
204
205 #include "check_list_local.h"
206
207 CK(register_scope)
208 CK(register_stored_conditions)
209 CK(register_stored_conditions_links)
210 CK(register_sval)
211 CK(register_buf_size_late)
212 CK(register_smatch_extra_late)
213 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
214 CK(register_assigned_expr_links)
215 CK(register_modification_hooks_late) /* has to come after smatch_extra */
216 CK(register_comparison_late) /* has to come after modification_hooks_late */
217 CK(register_function_hooks)
218 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
219 CK(check_wine)
220 CK(register_returns)
221
222 #ifdef __undo_CK_def
223 #undef CK
224 #undef __undo_CK_def
225 #endif
|
8 CK(register_container_of)
9 CK(register_container_of2)
10 CK(register_smatch_extra) /* smatch_extra always has to be SMATCH_EXTRA */
11 CK(register_smatch_extra_links)
12 CK(register_modification_hooks)
13 /*
14 * Implications should probably be after all the modification and smatch_extra
15 * hooks have run.
16 *
17 */
18 CK(register_implications)
19 CK(register_definition_db_callbacks)
20 CK(register_project)
21 CK(register_untracked_param)
22 CK(register_buf_comparison)
23 CK(register_buf_comparison_links)
24 CK(register_param_compare_limit)
25 CK(register_param_compare_limit_links)
26 CK(register_returns_early)
27
28 CK(register_param_cleared) /* param_set relies on param_cleared */
29 CK(register_param_set)
30
31 CK(register_smatch_ignore)
32 CK(register_buf_size)
33 CK(register_strlen)
34 CK(register_strlen_equiv)
35 CK(register_capped)
36 CK(register_parse_call_math)
37 CK(register_param_filter)
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_function_ptrs)
44 CK(register_annotate)
45 CK(register_start_states)
46 CK(register_type_val)
47 CK(register_data_source)
48 CK(register_common_functions)
49 CK(register_function_info)
50 CK(register_type_links)
51 CK(register_impossible)
52 CK(register_impossible_return)
53 CK(register_strings)
54 CK(register_integer_overflow)
55 CK(register_integer_overflow_links)
56 CK(register_real_absolute)
57 CK(register_imaginary_absolute)
58 CK(register_bits)
59 CK(register_fn_arg_link)
60 CK(register_parameter_names)
61 CK(register_param_limit)
62 CK(register_return_to_param)
63 CK(register_return_to_param_links)
64 CK(register_constraints)
65 CK(register_constraints_required)
66 CK(register_about_fn_ptr_arg)
67 CK(register_mtag)
68 CK(register_mtag_map)
69 CK(register_mtag_data)
70 CK(register_param_to_mtag_data)
71 CK(register_array_values)
72 CK(register_nul_terminator)
73 CK(register_nul_terminator_param_set)
74 CK(register_statement_count)
75
76 CK(register_kernel_user_data)
77 CK(register_kernel_user_data2)
78
79 CK(check_debug)
80
81 CK(check_bogus_loop)
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 CK(check_arm64_tagged)
201
202 /* illumos specific */
203 CK(check_all_func_returns)
204 CK(check_cmn_err)
205
206 #include "check_list_local.h"
207
208 CK(register_scope)
209 CK(register_stored_conditions)
210 CK(register_stored_conditions_links)
211 CK(register_parsed_conditions)
212 CK(register_sval)
213 CK(register_buf_size_late)
214 CK(register_smatch_extra_late)
215 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
216 CK(register_assigned_expr_links)
217 CK(register_modification_hooks_late) /* has to come after smatch_extra */
218 CK(register_comparison_late) /* has to come after modification_hooks_late */
219 CK(register_function_hooks)
220 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
221 CK(check_wine)
222 CK(register_returns)
223
224 #ifdef __undo_CK_def
225 #undef CK
226 #undef __undo_CK_def
227 #endif
|