| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_get_user_overflow.c | 96 set_state_expr(my_max_id, expr->left, &capped); in match_normal_assign()
97 set_state_expr(my_min_id, expr->left, &capped); in match_normal_assign()
113 set_state_expr(my_max_id, expr->left, &user_data); in match_assign()
114 set_state_expr(my_min_id, expr->left, &user_data); in match_assign()
154 set_state_expr(my_max_id, expr, &capped); in check_expr()
155 set_state_expr(my_min_id, expr, &capped); in check_expr()
|
| H A D | check_held_dev.c | 41 set_state_expr(my_id, arg_expr, &held); in match_dev_hold()
49 set_state_expr(my_id, arg_expr, &released); in match_dev_put()
56 set_state_expr(my_id, assign_expr->left, &held); in match_returns_held()
63 set_state_expr(my_id, assign_expr->left, &released); in match_returns_null()
|
| H A D | smatch_buf_comparison.c | 66 set_state_expr(size_id, expr, &undefined); in match_link_modify()
74 set_state_expr(size_id, expr, &undefined); in match_link_modify()
199 sm = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, size)); in match_alloc_helper()
202 set_state_expr(link_id, size, alloc_state_expr(pointer)); in match_alloc_helper()
238 tmp = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, arg)); in match_calloc()
241 set_state_expr(link_id, arg, alloc_state_expr(pointer)); in match_calloc()
632 tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr)); in set_param_compare()
635 set_state_expr(link_id, size_expr, alloc_state_expr(array_expr)); in set_param_compare()
655 tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr)); in set_implied()
658 set_state_expr(link_id, size_expr, alloc_state_expr(array_expr)); in set_implied()
[all …]
|
| H A D | check_uninitialized.c | 95 set_state_expr(my_id, right->unop, &initialized); in match_assign()
166 set_state_expr(my_id, expr->unop, &initialized); in match_dereferences()
186 set_state_expr(my_id, expr, &initialized); in match_condition()
208 set_state_expr(my_id, arg, &initialized); in match_call()
319 set_state_expr(my_id, expr, &initialized); in match_symbol()
331 set_state_expr(my_id, arg, &initialized); in match_untracked()
346 set_state_expr(my_id, arg, &initialized); in match_ignore_param()
|
| H A D | check_spectre_second_half.c | 73 set_state_expr(my_id, expr->left, state); in match_assign()
80 set_state_expr(my_id, expr->left, state); in match_assign()
103 set_state_expr(my_id, expr, alloc_state_num(-MAX_SPEC_STMT)); in match_done()
|
| H A D | check_free.c | 96 set_state_expr(my_id, expr, &ok); in match_dereferences()
182 set_state_expr(my_id, arg, &ok); in match_call()
203 set_state_expr(my_id, expr, &ok); in match_return()
223 set_state_expr(my_id, arg, &freed); in match_free()
|
| H A D | smatch_strlen.c | 69 set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl))); in match_string_assignment()
92 set_state_expr(my_equiv_id, str, state); in match_strlen()
180 set_state_expr(my_strlen_id, dest, size_to_estate(limit_size.value - 1)); in match_snprintf()
204 set_state_expr(my_strlen_id, dest, size_to_estate(limit.value - 1)); in match_strlcpycat()
220 set_state_expr(my_strlen_id, dest, size_to_estate(src_len - 1)); in match_strcpy()
|
| H A D | check_container_of.c | 37 set_state_expr(my_id, expr->left, &non_null); in match_non_null()
53 set_state_expr(my_id, expr, &undefined); in match_condition()
|
| H A D | check_input_free_device.c | 35 set_state_expr(my_id, expr->left, &ok); in match_assign()
44 set_state_expr(my_id, arg, &no_free); in match_input_unregister()
|
| H A D | check_unused_ret.c | 122 set_state_expr(my_id, left, alloc_state_num(assign_id)); in match_assign_call()
141 set_state_expr(my_id, left, &undefined); in match_assign()
176 set_state_expr(my_id, expr, &undefined); in match_symbol()
|
| H A D | check_platform_device_put.c | 35 set_state_expr(my_id, arg_expr, &added); in match_added()
44 set_state_expr(my_id, arg_expr, ¬_added); in match_not_added()
|
| H A D | check_wine_filehandles.c | 62 set_state_expr(my_id, expr->left, &filehandle); in match_returns_handle()
77 set_state_expr(my_id, expr, &oktocheck); in match_condition()
|
| H A D | check_free_strict.c | 112 set_state_expr(my_id, expr, &ok); in match_dereferences()
198 set_state_expr(my_id, arg, &ok); in match_call()
217 set_state_expr(my_id, expr, &ok); in match_return()
237 set_state_expr(my_id, arg, &freed); in match_free()
|
| H A D | check_deref_check.c | 46 set_state_expr(my_id, expr, &derefed); in match_dereference()
87 set_state_expr(my_id, expr, &undefined); in match_condition()
|
| H A D | check_unwind.c | 85 set_state_expr(my_id, arg_expr, &allocated); in request_granted()
101 set_state_expr(my_id, arg_expr, &unallocated); in request_denied()
111 set_state_expr(my_id, arg_expr, &unallocated); in match_release()
|
| H A D | check_buffer_too_small_for_struct.c | 62 set_state_expr(my_id, expr->left, &too_small); in match_assign()
104 set_state_expr(my_id, expr, &undefined); in match_dereferences()
|
| H A D | check_dev_queue_xmit.c | 82 set_state_expr(my_id, arg, &undefined); in match_kfree_skb()
92 set_state_expr(my_id, arg, &do_not_use); in match_xmit()
|
| H A D | check_readl_infinite_loops.c | 62 set_state_expr(my_id, expr->left, &readl); in match_assign()
64 set_state_expr(my_id, expr->left, &undefined); in match_assign()
|
| H A D | check_err_ptr_deref.c | 68 set_state_expr(my_id, expr->left, &err_ptr); in match_returns_err_ptr()
109 set_state_expr(my_id, arg, &checked); in match_checked()
121 set_state_expr(my_id, arg, &err_ptr); in match_err()
|
| H A D | check_deref.c | 201 set_state_expr(my_id, expr->left, &null); in match_assign()
211 set_state_expr(my_id, right, &ok); in match_assigns_address()
249 set_state_expr(my_id, expr->left, state); in match_assign_returns_null()
|
| H A D | smatch_real_absolute.c | 41 set_state_expr(my_id, expr, clone_estate(state)); in set_real_absolute()
127 set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl))); in match_assign()
|
| H A D | check_missing_break.c | 92 set_state_expr(my_id, left, alloc_my_state(get_switch_expr())); in match_assign()
106 set_state_expr(my_id, expr, &used); in match_symbol()
|
| H A D | smatch_untracked_param.c | 183 set_state_expr(my_id, arg, &untracked); in match_after_call()
264 set_state_expr(my_id, right, &untracked); in match_param_assign()
283 set_state_expr(my_id, expr, &untracked); in match_param_assign_in_asm()
|
| H A D | smatch_strings.c | 69 set_state_expr(my_id, dest, alloc_state_str(src->string->data)); in match_strcpy()
124 set_state_expr(my_id, expr->left, sm->state); in match_assignment()
|
| H A D | smatch_fresh_alloc.c | 147 set_state_expr(my_id, expr, &undefined); in set_unfresh()
179 set_state_expr(my_id, expr, &fresh); in set_fresh()
|