/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() 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() 219 call = strip_expr(expr->right); in match_alloc() 233 call = strip_expr(expr->right); in match_calloc() 313 right = strip_expr(tmp); in match_assign_data() 370 array = strip_expr(expr->right); in match_assign_ARRAY_SIZE() 373 array = strip_expr(array->left); in match_assign_ARRAY_SIZE() [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_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 | 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 | 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() 210 pointer = strip_expr(expr->left); in match_alloc() 211 call = strip_expr(expr->right); in match_alloc() 225 call = strip_expr(expr->right); in match_calloc() 273 expr = strip_expr(expr); in array_check() 426 expr = strip_expr(expr); in array_check_data_info() 779 src = strip_expr(src); in match_copy() [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 | 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 | 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 | 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() 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() 993 expr = strip_expr(expr); in is_ptr_subtract() [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 | 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() 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() 986 right = strip_expr(expr->right); in db_return_states_assign() 1049 right = strip_expr(expr->right); in match_assign_call() 1240 fn = strip_expr(expr->fn); in match_function_call() 1256 right = strip_expr(expr->right); in match_macro_assign() [all …]
|
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 | 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_extra.c | 370 expr = strip_expr(expr); 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() 994 tmp = strip_expr(arg); in match_function_call() 1281 expr = strip_expr(expr); in clear_pointed_at_state() 1455 if (left != strip_expr(cond->left) || right != strip_expr(cond->right)) in handle_postop_inc() 2003 left = strip_expr(tmp); in match_comparison() 2199 expr = strip_expr(expr); in __extra_match_condition() 2235 expr = strip_expr(expr); in assume_indexes_are_valid() 2325 expr = strip_expr(expr); in parent_is_null() [all …]
|
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() 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() 882 expr = strip_expr(expr); in get_struct_and_member() 906 expr = strip_expr(expr); in get_member_name() [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 | check_logical_instead_of_bitwise.c | 25 expr = strip_expr(expr); in is_bitshift() 59 right = strip_expr(expr->right); in match_assign()
|
H A D | smatch_mtag_map.c | 39 left = strip_expr(expr->left); in match_assign() 40 right = strip_expr(expr->right); in match_assign()
|