Print this page
12166 resync smatch to 0.6.1-rc1-il-3
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/check_list.h
+++ new/usr/src/tools/smatch/src/check_list.h
1 1 #ifndef CK
2 2 #define CK(_x) void _x(int id);
3 3 #define __undo_CK_def
4 4 #endif
5 5
6 6 CK(register_db_call_marker) /* always has to be first */
7 7 CK(register_param_used) /* get_state_hooks have to be registered before smatch_extra */
8 8 CK(register_container_of)
9 9 CK(register_container_of2)
10 10 CK(register_smatch_extra) /* smatch_extra always has to be SMATCH_EXTRA */
11 11 CK(register_smatch_extra_links)
12 12 CK(register_modification_hooks)
13 13 /*
14 14 * Implications should probably be after all the modification and smatch_extra
15 15 * hooks have run.
16 16 *
17 17 */
↓ open down ↓ |
17 lines elided |
↑ open up ↑ |
18 18 CK(register_implications)
19 19 CK(register_definition_db_callbacks)
20 20 CK(register_project)
21 21 CK(register_untracked_param)
22 22 CK(register_buf_comparison)
23 23 CK(register_buf_comparison_links)
24 24 CK(register_param_compare_limit)
25 25 CK(register_param_compare_limit_links)
26 26 CK(register_returns_early)
27 27
28 +CK(register_param_cleared) /* param_set relies on param_cleared */
29 +CK(register_param_set)
30 +
28 31 CK(register_smatch_ignore)
29 32 CK(register_buf_size)
30 33 CK(register_strlen)
31 34 CK(register_strlen_equiv)
32 35 CK(register_capped)
33 36 CK(register_parse_call_math)
34 -CK(register_param_limit)
35 37 CK(register_param_filter)
36 -CK(register_param_set)
37 -CK(register_param_cleared)
38 38 CK(register_struct_assignment)
39 39 CK(register_comparison)
40 40 CK(register_comparison_links)
41 41 CK(register_comparison_inc_dec)
42 42 CK(register_comparison_inc_dec_links)
43 43 CK(register_function_ptrs)
44 44 CK(register_annotate)
45 45 CK(register_start_states)
46 46 CK(register_type_val)
47 47 CK(register_data_source)
48 48 CK(register_common_functions)
49 49 CK(register_function_info)
50 50 CK(register_type_links)
↓ open down ↓ |
3 lines elided |
↑ open up ↑ |
51 51 CK(register_impossible)
52 52 CK(register_impossible_return)
53 53 CK(register_strings)
54 54 CK(register_integer_overflow)
55 55 CK(register_integer_overflow_links)
56 56 CK(register_real_absolute)
57 57 CK(register_imaginary_absolute)
58 58 CK(register_bits)
59 59 CK(register_fn_arg_link)
60 60 CK(register_parameter_names)
61 +CK(register_param_limit)
61 62 CK(register_return_to_param)
62 63 CK(register_return_to_param_links)
63 64 CK(register_constraints)
64 65 CK(register_constraints_required)
65 66 CK(register_about_fn_ptr_arg)
66 67 CK(register_mtag)
67 68 CK(register_mtag_map)
68 69 CK(register_mtag_data)
69 70 CK(register_param_to_mtag_data)
70 71 CK(register_array_values)
71 72 CK(register_nul_terminator)
72 73 CK(register_nul_terminator_param_set)
73 74 CK(register_statement_count)
74 75
75 76 CK(register_kernel_user_data)
76 77 CK(register_kernel_user_data2)
77 78
78 79 CK(check_debug)
79 80
80 81 CK(check_bogus_loop)
81 82
82 83 CK(check_deref)
83 84 CK(check_check_deref)
84 85 CK(check_dereferences_param)
85 86 CK(check_index_overflow)
86 87 CK(check_index_overflow_loop_marker)
87 88 CK(check_testing_index_after_use)
88 89 CK(check_memcpy_overflow)
89 90 CK(check_strcpy_overflow)
90 91 CK(check_sprintf_overflow)
91 92 CK(check_snprintf_overflow)
92 93 CK(check_allocating_enough_data)
93 94 CK(check_leaks)
94 95 CK(check_type)
95 96 CK(check_allocation_funcs)
96 97 CK(check_frees_argument)
97 98 CK(check_deref_check)
98 99 CK(check_signed)
99 100 CK(check_precedence)
100 101 CK(check_unused_ret)
101 102 CK(check_dma_on_stack)
102 103 CK(check_param_mapper)
103 104 CK(check_call_tree)
104 105 CK(check_dev_queue_xmit)
105 106 CK(check_stack)
106 107 CK(check_no_return)
107 108 CK(check_mod_timer)
108 109 CK(check_return)
109 110 CK(check_resource_size)
110 111 CK(check_release_resource)
111 112 CK(check_proc_create)
112 113 CK(check_freeing_null)
113 114 CK(check_frees_param)
114 115 CK(check_free)
115 116 CK(check_frees_param_strict)
116 117 CK(check_free_strict)
117 118 CK(check_no_effect)
118 119 CK(check_kunmap)
119 120 CK(check_snprintf)
120 121 CK(check_macros)
121 122 CK(check_return_efault)
122 123 CK(check_gfp_dma)
123 124 CK(check_unwind)
124 125 CK(check_kmalloc_to_bugon)
125 126 CK(check_platform_device_put)
126 127 CK(check_info_leak)
127 128 CK(check_return_enomem)
128 129 CK(check_get_user_overflow)
129 130 CK(check_get_user_overflow2)
130 131 CK(check_access_ok_math)
131 132 CK(check_container_of)
132 133 CK(check_input_free_device)
133 134 CK(check_select)
134 135 CK(check_memset)
135 136 CK(check_logical_instead_of_bitwise)
136 137 CK(check_kmalloc_wrong_size)
137 138 CK(check_pointer_math)
138 139 CK(check_bit_shift)
139 140 CK(check_macro_side_effects)
140 141 CK(check_sizeof)
141 142 CK(check_return_cast)
142 143 CK(check_or_vs_and)
143 144 CK(check_passes_sizeof)
144 145 CK(check_assign_vs_compare)
145 146 CK(check_missing_break)
146 147 CK(check_array_condition)
147 148 CK(check_struct_type)
148 149 CK(check_64bit_shift)
149 150 CK(check_wrong_size_arg)
150 151 CK(check_cast_assign)
151 152 CK(check_readl_infinite_loops)
152 153 CK(check_double_checking)
153 154 CK(check_shift_to_zero)
154 155 CK(check_indenting)
155 156 CK(check_unreachable)
156 157 CK(check_no_if_block)
157 158 CK(check_buffer_too_small_for_struct)
158 159 CK(check_uninitialized)
159 160 CK(check_signed_integer_overflow_check)
160 161 CK(check_continue_vs_break)
161 162 CK(check_impossible_mask)
162 163 CK(check_syscall_arg_type)
163 164 CK(check_trinity_generator)
164 165
165 166 /* <- your test goes here */
166 167 /* CK(register_template) */
167 168
168 169 /* kernel specific */
169 170 CK(check_kernel_printf)
170 171 CK(check_locking)
171 172 CK(check_puts_argument)
172 173 CK(check_err_ptr)
173 174 CK(check_err_ptr_deref)
174 175 CK(check_expects_err_ptr)
175 176 CK(check_held_dev)
176 177 CK(check_return_negative_var)
177 178 CK(check_rosenberg)
178 179 CK(check_rosenberg2)
179 180 CK(check_rosenberg3)
180 181 CK(check_wait_for_common)
181 182 CK(check_bogus_irqrestore)
182 183 CK(check_zero_to_err_ptr)
183 184 CK(check_freeing_devm)
184 185 CK(check_off_by_one_relative)
185 186 CK(check_capable)
186 187 CK(check_ns_capable)
187 188 CK(check_test_bit)
188 189 CK(check_dma_mapping_error)
189 190 CK(check_nospec)
190 191 CK(check_nospec_barrier)
191 192 CK(check_spectre)
192 193 CK(check_spectre_second_half)
193 194 CK(check_implicit_dependencies)
194 195
195 196 /* wine specific stuff */
196 197 CK(check_wine_filehandles)
197 198 CK(check_wine_WtoA)
198 199
199 200 CK(check_arm64_tagged)
↓ open down ↓ |
129 lines elided |
↑ open up ↑ |
200 201
201 202 /* illumos specific */
202 203 CK(check_all_func_returns)
203 204 CK(check_cmn_err)
204 205
205 206 #include "check_list_local.h"
206 207
207 208 CK(register_scope)
208 209 CK(register_stored_conditions)
209 210 CK(register_stored_conditions_links)
211 +CK(register_parsed_conditions)
210 212 CK(register_sval)
211 213 CK(register_buf_size_late)
212 214 CK(register_smatch_extra_late)
213 215 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
214 216 CK(register_assigned_expr_links)
215 217 CK(register_modification_hooks_late) /* has to come after smatch_extra */
216 218 CK(register_comparison_late) /* has to come after modification_hooks_late */
217 219 CK(register_function_hooks)
218 220 CK(check_kernel) /* this is overwriting stuff from smatch_extra_late */
219 221 CK(check_wine)
220 222 CK(register_returns)
221 223
222 224 #ifdef __undo_CK_def
223 225 #undef CK
224 226 #undef __undo_CK_def
225 227 #endif
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX