usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c

104

set_state_expr(my_id, expr, &undefined);

usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c

62

set_state_expr(my_id, expr->left, &too_small);

usr/src/tools/smatch/src/check_container_of.c

37

set_state_expr(my_id, expr->left, &non_null);

usr/src/tools/smatch/src/check_container_of.c

53

set_state_expr(my_id, expr, &undefined);

usr/src/tools/smatch/src/check_deref.c

201

set_state_expr(my_id, expr->left, &null);

usr/src/tools/smatch/src/check_deref.c

211

set_state_expr(my_id, right, &ok);

usr/src/tools/smatch/src/check_deref.c

249

set_state_expr(my_id, expr->left, state);

usr/src/tools/smatch/src/check_deref_check.c

46

set_state_expr(my_id, expr, &derefed);

usr/src/tools/smatch/src/check_deref_check.c

87

set_state_expr(my_id, expr, &undefined);

usr/src/tools/smatch/src/check_dereferences_param.c

74

set_state_expr(my_id, expr, &derefed);

usr/src/tools/smatch/src/check_dev_queue_xmit.c

82

set_state_expr(my_id, arg, &undefined);

usr/src/tools/smatch/src/check_dev_queue_xmit.c

92

set_state_expr(my_id, arg, &do_not_use);

usr/src/tools/smatch/src/check_dma_mapping_error.c

41

set_state_expr(my_id, expr->left, &positive);

usr/src/tools/smatch/src/check_double_checking.c

204

set_state_expr(my_id, expr, &checked);

usr/src/tools/smatch/src/check_err_ptr_deref.c

109

set_state_expr(my_id, arg, &checked);

usr/src/tools/smatch/src/check_err_ptr_deref.c

121

set_state_expr(my_id, arg, &err_ptr);

usr/src/tools/smatch/src/check_err_ptr_deref.c

68

set_state_expr(my_id, expr->left, &err_ptr);

usr/src/tools/smatch/src/check_free.c

182

set_state_expr(my_id, arg, &ok);

usr/src/tools/smatch/src/check_free.c

203

set_state_expr(my_id, expr, &ok);

usr/src/tools/smatch/src/check_free.c

223

set_state_expr(my_id, arg, &freed);

usr/src/tools/smatch/src/check_free.c

96

set_state_expr(my_id, expr, &ok);

usr/src/tools/smatch/src/check_free_strict.c

112

set_state_expr(my_id, expr, &ok);

usr/src/tools/smatch/src/check_free_strict.c

198

set_state_expr(my_id, arg, &ok);

usr/src/tools/smatch/src/check_free_strict.c

217

set_state_expr(my_id, expr, &ok);

usr/src/tools/smatch/src/check_free_strict.c

237

set_state_expr(my_id, arg, &freed);

usr/src/tools/smatch/src/check_freeing_devm.c

26

set_state_expr(my_id, expr->left, &devm);

usr/src/tools/smatch/src/check_frees_param.c

49

set_state_expr(my_id, expr, &freed);

usr/src/tools/smatch/src/check_frees_param_strict.c

86

set_state_expr(my_id, arg, &freed);

usr/src/tools/smatch/src/check_get_user_overflow.c

113

set_state_expr(my_max_id, expr->left, &user_data);

usr/src/tools/smatch/src/check_get_user_overflow.c

114

set_state_expr(my_min_id, expr->left, &user_data);

usr/src/tools/smatch/src/check_get_user_overflow.c

154

set_state_expr(my_max_id, expr, &capped);

usr/src/tools/smatch/src/check_get_user_overflow.c

155

set_state_expr(my_min_id, expr, &capped);

usr/src/tools/smatch/src/check_get_user_overflow.c

96

set_state_expr(my_max_id, expr->left, &capped);

usr/src/tools/smatch/src/check_get_user_overflow.c

97

set_state_expr(my_min_id, expr->left, &capped);

usr/src/tools/smatch/src/check_held_dev.c

41

set_state_expr(my_id, arg_expr, &held);

usr/src/tools/smatch/src/check_held_dev.c

49

set_state_expr(my_id, arg_expr, &released);

usr/src/tools/smatch/src/check_held_dev.c

56

set_state_expr(my_id, assign_expr->left, &held);

usr/src/tools/smatch/src/check_held_dev.c

63

set_state_expr(my_id, assign_expr->left, &released);

usr/src/tools/smatch/src/check_input_free_device.c

35

set_state_expr(my_id, expr->left, &ok);

usr/src/tools/smatch/src/check_input_free_device.c

44

set_state_expr(my_id, arg, &no_free);

usr/src/tools/smatch/src/check_kunmap.c

48

set_state_expr(my_id, arg, &no_unmap);

usr/src/tools/smatch/src/check_leaks.c

130

set_state_expr(my_id, expr->left, &allocated);

usr/src/tools/smatch/src/check_leaks.c

210

set_state_expr(my_id, expr, &ok);

usr/src/tools/smatch/src/check_macro_side_effects.c

115

set_state_expr(my_id, expr, alloc_my_state(expr));

usr/src/tools/smatch/src/check_missing_break.c

106

set_state_expr(my_id, expr, &used);

usr/src/tools/smatch/src/check_missing_break.c

92

set_state_expr(my_id, left, alloc_my_state(get_switch_expr()));

usr/src/tools/smatch/src/check_nospec.c

59

set_state_expr(my_id, expr->left, &nospec);

usr/src/tools/smatch/src/check_platform_device_put.c

35

set_state_expr(my_id, arg_expr, &added);

usr/src/tools/smatch/src/check_platform_device_put.c

44

set_state_expr(my_id, arg_expr, &not_added);

usr/src/tools/smatch/src/check_pointer_math.c

106

set_state_expr(my_id, expr->left, &size_in_bytes);

usr/src/tools/smatch/src/check_readl_infinite_loops.c

62

set_state_expr(my_id, expr->left, &readl);

usr/src/tools/smatch/src/check_readl_infinite_loops.c

64

set_state_expr(my_id, expr->left, &undefined);

usr/src/tools/smatch/src/check_return_efault.c

43

set_state_expr(my_id, expr->left, &remaining);

usr/src/tools/smatch/src/check_rosenberg.c

140

set_state_expr(my_whole_id, ptr, &cleared);

usr/src/tools/smatch/src/check_rosenberg.c

322

set_state_expr(skb_put_id, expr->left, state);

usr/src/tools/smatch/src/check_snprintf.c

39

set_state_expr(my_id, expr->left, alloc_state_num(buflen.value));

usr/src/tools/smatch/src/check_spectre_second_half.c

103

set_state_expr(my_id, expr, alloc_state_num(-MAX_SPEC_STMT));

usr/src/tools/smatch/src/check_spectre_second_half.c

73

set_state_expr(my_id, expr->left, state);

usr/src/tools/smatch/src/check_spectre_second_half.c

80

set_state_expr(my_id, expr->left, state);

usr/src/tools/smatch/src/check_syscall_arg_type.c

139

set_state_expr(my_id, arg, &ARG_FD);

usr/src/tools/smatch/src/check_testing_index_after_use.c

65

set_state_expr(my_used_id, offset, alloc_state_num(array_size));

usr/src/tools/smatch/src/check_uninitialized.c

166

set_state_expr(my_id, expr->unop, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

186

set_state_expr(my_id, expr, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

208

set_state_expr(my_id, arg, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

319

set_state_expr(my_id, expr, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

331

set_state_expr(my_id, arg, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

346

set_state_expr(my_id, arg, &initialized);

usr/src/tools/smatch/src/check_uninitialized.c

95

set_state_expr(my_id, right->unop, &initialized);

usr/src/tools/smatch/src/check_unused_ret.c

122

set_state_expr(my_id, left, alloc_state_num(assign_id));

usr/src/tools/smatch/src/check_unused_ret.c

141

set_state_expr(my_id, left, &undefined);

usr/src/tools/smatch/src/check_unused_ret.c

176

set_state_expr(my_id, expr, &undefined);

usr/src/tools/smatch/src/check_unwind.c

101

set_state_expr(my_id, arg_expr, &unallocated);

usr/src/tools/smatch/src/check_unwind.c

111

set_state_expr(my_id, arg_expr, &unallocated);

usr/src/tools/smatch/src/check_unwind.c

85

set_state_expr(my_id, arg_expr, &allocated);

usr/src/tools/smatch/src/check_wine_filehandles.c

62

set_state_expr(my_id, expr->left, &filehandle);

usr/src/tools/smatch/src/check_wine_filehandles.c

77

set_state_expr(my_id, expr, &oktocheck);

usr/src/tools/smatch/src/smatch.h

361

struct sm_state *set_state_expr(int owner, struct expression *expr,

usr/src/tools/smatch/src/smatch_bits.c

337

set_state_expr(my_id, expr->left, alloc_bstate(binfo->set, binfo->possible));

usr/src/tools/smatch/src/smatch_bits.c

341

set_state_expr(my_id, expr->left, new);

usr/src/tools/smatch/src/smatch_bits.c

345

set_state_expr(my_id, expr->left, new);

usr/src/tools/smatch/src/smatch_buf_comparison.c

199

sm = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, size));

usr/src/tools/smatch/src/smatch_buf_comparison.c

202

set_state_expr(link_id, size, alloc_state_expr(pointer));

usr/src/tools/smatch/src/smatch_buf_comparison.c

238

tmp = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, arg));

usr/src/tools/smatch/src/smatch_buf_comparison.c

241

set_state_expr(link_id, arg, alloc_state_expr(pointer));

usr/src/tools/smatch/src/smatch_buf_comparison.c

632

tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));

usr/src/tools/smatch/src/smatch_buf_comparison.c

635

set_state_expr(link_id, size_expr, alloc_state_expr(array_expr));

usr/src/tools/smatch/src/smatch_buf_comparison.c

655

tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));

usr/src/tools/smatch/src/smatch_buf_comparison.c

658

set_state_expr(link_id, size_expr, alloc_state_expr(array_expr));

usr/src/tools/smatch/src/smatch_buf_comparison.c

66

set_state_expr(size_id, expr, &undefined);

usr/src/tools/smatch/src/smatch_buf_comparison.c

717

tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, offset->unop));

usr/src/tools/smatch/src/smatch_buf_comparison.c

720

set_state_expr(link_id, offset->unop, alloc_state_expr(array));

usr/src/tools/smatch/src/smatch_buf_comparison.c

74

set_state_expr(size_id, expr, &undefined);

usr/src/tools/smatch/src/smatch_buf_comparison.c

755

tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, expr->left));

usr/src/tools/smatch/src/smatch_buf_comparison.c

758

set_state_expr(link_id, expr->left, alloc_state_expr(array));

usr/src/tools/smatch/src/smatch_buf_size.c

282

set_state_expr(my_size_id, expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_buf_size.c

646

set_state_expr(my_size_id, expr, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_capped.c

212

set_state_expr(my_id, expr->left, &capped);

usr/src/tools/smatch/src/smatch_capped.c

215

set_state_expr(my_id, expr->left, &uncapped);

usr/src/tools/smatch/src/smatch_constraints_required.c

152

set_state_expr(my_id, size, alloc_state_expr(

usr/src/tools/smatch/src/smatch_constraints_required.c

86

set_state_expr(my_id, constraint, alloc_state_expr(pointer));

usr/src/tools/smatch/src/smatch_equiv.c

218

right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_fresh_alloc.c

147

set_state_expr(my_id, expr, &undefined);

usr/src/tools/smatch/src/smatch_fresh_alloc.c

179

set_state_expr(my_id, expr, &fresh);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

225

set_state_expr(my_id, edge_member, alloc_estate_whole(type));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

254

set_state_expr(my_id, member, alloc_estate_whole(get_type(member)));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

267

set_state_expr(my_id, expr, alloc_estate_whole(get_type(expr)));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

283

set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

292

set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

567

set_state_expr(my_id, expr->left, alloc_estate_whole(get_type(expr->left)));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

603

set_state_expr(my_id, expr->left, state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

649

set_state_expr(my_id, expr->left, state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

655

set_state_expr(my_id, expr->left, alloc_estate_empty());

usr/src/tools/smatch/src/smatch_param_cleared.c

160

set_state_expr(my_id, expr->left, &cleared);

usr/src/tools/smatch/src/smatch_param_cleared.c

171

set_state_expr(my_id, array_expr, &cleared);

usr/src/tools/smatch/src/smatch_param_to_mtag_data.c

106

set_state_expr(my_id, expr->right, alloc_tag_data_state(tag, name, offset));

usr/src/tools/smatch/src/smatch_parse_call_math.c

483

set_state_expr(my_id, expr->left, alloc_state_sname(sname));

usr/src/tools/smatch/src/smatch_parse_call_math.c

604

set_state_expr(my_id, expr->left, alloc_state_sname(sname));

usr/src/tools/smatch/src/smatch_real_absolute.c

127

set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_real_absolute.c

41

set_state_expr(my_id, expr, clone_estate(state));

usr/src/tools/smatch/src/smatch_strings.c

124

set_state_expr(my_id, expr->left, sm->state);

usr/src/tools/smatch/src/smatch_strings.c

69

set_state_expr(my_id, dest, alloc_state_str(src->string->data));

usr/src/tools/smatch/src/smatch_strlen.c

180

set_state_expr(my_strlen_id, dest, size_to_estate(limit_size.value - 1));

usr/src/tools/smatch/src/smatch_strlen.c

204

set_state_expr(my_strlen_id, dest, size_to_estate(limit.value - 1));

usr/src/tools/smatch/src/smatch_strlen.c

220

set_state_expr(my_strlen_id, dest, size_to_estate(src_len - 1));

usr/src/tools/smatch/src/smatch_strlen.c

69

set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_strlen.c

92

set_state_expr(my_equiv_id, str, state);

usr/src/tools/smatch/src/smatch_untracked_param.c

183

set_state_expr(my_id, arg, &untracked);

usr/src/tools/smatch/src/smatch_untracked_param.c

264

set_state_expr(my_id, right, &untracked);

usr/src/tools/smatch/src/smatch_untracked_param.c

283

set_state_expr(my_id, expr, &untracked);