| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_constraints_required.c | 124 left = strip_expr(size->left); in handle_zero_size_arrays()
125 right = strip_expr(size->right); in handle_zero_size_arrays()
136 mult_left = strip_expr(right->left); in handle_zero_size_arrays()
137 mult_right = strip_expr(right->right); in handle_zero_size_arrays()
169 pointer = strip_expr(pointer); in match_alloc_helper()
170 size = strip_expr(size); in match_alloc_helper()
177 size = strip_expr(tmp); in match_alloc_helper()
193 mult_left = strip_expr(size->left); in match_alloc_helper()
194 mult_right = strip_expr(size->right); in match_alloc_helper()
219 call = strip_expr(expr->right); in match_alloc()
[all …]
|
| H A D | smatch_function_ptrs.c | 40 expr = strip_expr(expr); in get_from__symbol_get()
57 expr = strip_expr(expr); in xxx_is_array()
62 expr = strip_expr(expr->unop); in xxx_is_array()
85 expr = strip_expr(expr); in xxx_get_array_base()
87 expr = strip_expr(expr->unop); in xxx_get_array_base()
187 expr = strip_expr(expr); in get_fnptr_name()
191 expr = strip_expr(expr->unop); in get_fnptr_name()
249 tmp = strip_expr(arg); in match_passes_function_pointer()
251 tmp = strip_expr(tmp->unop); in match_passes_function_pointer()
323 right = strip_expr(expr->right); in match_function_assign()
[all …]
|
| H A D | smatch_struct_assignment.c | 102 right = strip_expr(right->unop); in get_right_base_expr()
117 expr = strip_expr(expr); in remove_addr()
122 return strip_expr(expr->unop); in remove_addr()
172 right = strip_expr(right); in handle_non_struct_assignments()
244 left = strip_expr(left); in __struct_members_copy()
245 right = strip_expr(right); in __struct_members_copy()
370 right = strip_expr(expr->right); in handle_param_offsets()
391 call = strip_expr(expr->right); in returns_container_of()
439 buf = strip_expr(buf); in match_memset()
462 left = strip_expr(expr->left); in match_memdup()
[all …]
|
| H A D | check_rosenberg.c | 136 ptr = strip_expr(ptr); in match_clear()
139 ptr = strip_expr(ptr->unop); in match_clear()
239 data = strip_expr(data); in check_was_initialized()
243 data = strip_expr(data->unop); in check_was_initialized()
258 data = strip_expr(data); in check_skb_put()
262 data = strip_expr(data->unop); in check_skb_put()
277 data = strip_expr(data); in match_copy_to_user()
288 expr = strip_expr(expr->right); in db_param_cleared()
305 expr = strip_expr(expr); in alloc_expr_state()
|
| H A D | smatch_mtag.c | 104 expr = strip_expr(expr->right); in get_allocator_info()
142 left = strip_expr(expr->left); in get_mtag_return()
143 right = strip_expr(expr->right); in get_mtag_return()
349 expr = strip_expr(expr); in expr_to_mtag_offset()
357 expr = strip_expr(expr->unop); in expr_to_mtag_offset()
367 expr = strip_expr(expr->deref); in expr_to_mtag_offset()
371 expr = strip_expr(expr->unop); in expr_to_mtag_offset()
413 expr = strip_expr(expr); in get_mtag_sval()
436 expr = strip_expr(expr->unop); in get_mtag_sval()
|
| H A D | check_64bit_shift.c | 29 expr = strip_expr(expr); in match_shift_mask()
39 right = strip_expr(expr->right); in match_shift_mask()
43 shifter = strip_expr(right->right); in match_shift_mask()
61 right = strip_expr(expr->right); in match_shift_assignment()
|
| H A D | smatch_buf_comparison.c | 119 expr = strip_expr(expr); in alloc_compare_size()
161 pointer = strip_expr(pointer); in match_alloc_helper()
162 size = strip_expr(size); in match_alloc_helper()
167 size = strip_expr(tmp); in match_alloc_helper()
175 mult_left = strip_expr(size->left); in match_alloc_helper()
176 mult_right = strip_expr(size->right); in match_alloc_helper()
210 pointer = strip_expr(expr->left); in match_alloc()
211 call = strip_expr(expr->right); in match_alloc()
224 pointer = strip_expr(expr->left); in match_calloc()
225 call = strip_expr(expr->right); in match_calloc()
[all …]
|
| H A D | check_index_overflow.c | 168 expr = strip_expr(expr); in is_subtract()
170 expr = strip_expr(tmp); in is_subtract()
215 expr = strip_expr(expr); in should_warn()
244 array_expr = strip_expr(array_expr); in should_warn()
279 expr = strip_expr(expr); in array_check()
306 array_expr = strip_expr(array_expr); in array_check()
|
| H A D | smatch_kernel_user_data.c | 158 expr = strip_expr(expr); in user_rl_capped()
184 expr = strip_expr(expr); in user_rl_treat_untagged()
236 expr = strip_expr(expr->unop); in tag_struct_members()
264 expr = strip_expr(expr->unop); in tag_base_type()
274 expr = strip_expr(expr); in tag_as_user_data()
305 dest = strip_expr(dest); in match_user_copy()
382 expr = strip_expr(expr); in is_skb_data()
412 expr = strip_expr(expr); in is_points_to_user_data_fn()
450 expr = strip_expr(expr); in points_to_user_data()
503 expr = strip_expr(expr); in comes_from_skb_data()
[all …]
|
| H A D | check_zero_to_err_ptr.c | 41 next = strip_expr(__next_stmt->if_conditional); in next_line_is_if()
43 next = strip_expr(next->unop); in next_line_is_if()
63 next = strip_expr(__next_stmt->if_conditional); in next_line_checks_IS_ERR()
65 next = strip_expr(next->unop); in next_line_checks_IS_ERR()
|
| H A D | check_signed_integer_overflow_check.c | 45 left = strip_expr(expr->left); in match_condition()
46 right = strip_expr(expr->right); in match_condition()
50 left = strip_expr(left); in match_condition()
|
| H A D | smatch_capped.c | 74 expr = strip_expr(expr); in is_capped()
76 expr = strip_expr(expr->unop); in is_capped()
156 left = strip_expr(expr->left); in match_condition()
157 right = strip_expr(expr->right); in match_condition()
160 left = strip_expr(left->left); in match_condition()
260 expr = strip_expr(expr); in print_return_implies_capped()
|
| H A D | smatch_function_hooks.c | 402 right = strip_expr(right->right); in fake_a_param_assignment()
556 expr = strip_expr(expr->right); in impossible_limit()
623 expr = strip_expr(expr->right); in func_type_mismatch()
694 call_results_to_rl(db_info->expr, get_type(strip_expr(db_info->expr)), ret_str, &ret_range); in db_compare_callback()
723 __add_return_comparison(strip_expr(db_info->expr), ret_str); in db_compare_callback()
885 expr = strip_expr(db_info->expr); in call_ranged_return_hooks()
887 expr = strip_expr(expr->right); in call_ranged_return_hooks()
957 …call_results_to_rl(db_info->expr->right, get_type(strip_expr(db_info->expr->right)), ret_str, &ret… in db_assign_return_states_callback()
959 ret_range = alloc_whole_rl(get_type(strip_expr(db_info->expr->right))); in db_assign_return_states_callback()
964 __add_return_comparison(strip_expr(db_info->expr->right), ret_str); in db_assign_return_states_callback()
[all …]
|
| H A D | check_kmalloc_wrong_size.c | 50 struct expression *call = strip_expr(expr->right); in match_alloc()
59 arg = strip_expr(arg); in match_alloc()
71 struct expression *call = strip_expr(expr->right); in match_calloc()
|
| H A D | check_uninitialized.c | 93 right = strip_expr(expr->right); in match_assign()
137 expr = strip_expr(expr); in is_initialized()
327 arg = strip_expr(arg); in match_untracked()
330 arg = strip_expr(arg->unop); in match_untracked()
340 arg = strip_expr(arg); in match_ignore_param()
345 arg = strip_expr(arg->unop); in match_ignore_param()
|
| H A D | smatch_extra.c | 123 deref = strip_expr(expr->deref); in set_union_info()
370 expr = strip_expr(expr); in chunk_get_array_base()
372 expr = strip_expr(expr->deref); in chunk_get_array_base()
426 expr = strip_expr(expr); in set_extra_expr_mod()
585 expr = strip_expr(expr); in set_extra_expr_true_false()
605 condition = strip_expr(condition); in get_countdown_info()
652 condition = strip_expr(loop->iterator_pre_condition); in handle_canonical_while_count_down()
994 tmp = strip_expr(arg); in match_function_call()
1103 values_fit_type(left, strip_expr(right)) && in match_vanilla_assign()
1174 left = strip_expr(expr->left); in match_assign()
[all …]
|
| H A D | check_or_vs_and.c | 68 left = strip_expr(expr->left); in check_or()
69 right = strip_expr(expr->right); in check_or()
105 left = strip_expr(expr->left); in check_and()
106 right = strip_expr(expr->right); in check_and()
|
| H A D | smatch_address.c | 219 expr = strip_expr(expr->unop); in handle_fn_address()
250 expr = strip_expr(expr); in get_address_rl()
268 expr = strip_expr(expr->unop); in get_address_rl()
322 unop = strip_expr(expr->unop); in get_address_rl()
324 unop = strip_expr(unop->unop); in get_address_rl()
|
| H A D | smatch_type_val.c | 310 expr = strip_expr(expr->right); in is_ignored_function()
445 right = strip_expr(expr->right); in is_uncasted_fn_param_from_db()
526 right = strip_expr(expr->right); in match_assign_pointer()
529 right = strip_expr(right->unop); in match_assign_pointer()
566 expr = strip_expr(expr->unop); in unop_expr()
602 expr = strip_expr(expr->right); in db_param_add()
607 arg = strip_expr(arg); in db_param_add()
626 arg = strip_expr(arg->unop); in db_param_add()
|
| H A D | smatch_helper.c | 111 expr = strip_expr(expr); in alloc_state_expr()
193 struct expression *unop = strip_expr(deref->unop); in __get_variable_from_expr()
472 expr = strip_expr(expr); in expr_to_var_sym()
501 expr = strip_expr(expr); in get_complication_score()
645 expr = strip_expr(expr); in is_array()
650 expr = strip_expr(expr->unop); in is_array()
671 expr = strip_expr(expr); in get_array_base()
673 expr = strip_expr(expr->unop); in get_array_base()
683 expr = strip_expr(expr); in get_array_offset()
685 expr = strip_expr(expr->unop); in get_array_offset()
[all …]
|
| H A D | check_missing_break.c | 56 expr = strip_expr(expr); in alloc_my_state()
88 left = strip_expr(expr->left); in match_assign()
103 expr = strip_expr(expr); in match_symbol()
|
| H A D | check_sizeof.c | 32 expr = strip_expr(expr->cast_expression); in check_pointer()
44 struct expression *call = strip_expr(expr->right); in match_call_assignment()
86 obj = strip_expr(arg->cast_expression); in match_check_params()
|
| H A D | smatch_strings.c | 67 src = strip_expr(src); in match_strcpy()
78 expr = strip_expr(expr); in get_strings()
118 slist = get_strings(strip_expr(expr->right)); in match_assignment()
|
| H A D | smatch_strlen.c | 80 right = strip_expr(expr->right); in match_strlen()
82 len_expr = strip_expr(expr->left); in match_strlen()
110 left = strip_expr(expr->left); in match_strlen_condition()
111 right = strip_expr(expr->right); in match_strlen_condition()
266 expr = strip_expr(expr); in get_implied_strlen()
|
| H A D | smatch_parse_call_math.c | 143 arg = strip_expr(arg->unop); in read_rl_from_var()
274 expr = strip_expr(expr); in get_arg_number()
454 expr = strip_expr(tmp); in get_value_in_terms_of_parameter_math_var_sym()
477 right = strip_expr(expr->right); in match_alloc()
560 expr = strip_expr(expr); in get_allocation_recipe_from_call()
613 expr = strip_expr(expr); in get_allocation_math()
617 expr = strip_expr(tmp); in get_allocation_math()
|