/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_sval.c | 35 sval_t *sval_alloc(sval_t sval) in sval_alloc() 44 sval_t *sval_alloc_permanent(sval_t sval) in sval_alloc_permanent() 55 sval_t ret; in sval_blank() 67 sval_t ret; in sval_type_val() 79 sval_t ret; in sval_type_fval() 284 sval_t sval_min(sval_t one, sval_t two) in sval_min() 291 sval_t sval_max(sval_t one, sval_t two) in sval_max() 444 sval_t sval_preop(sval_t sval, int op) in sval_preop() 517 static sval_t sval_binop_signed(struct symbol *type, sval_t left, int op, sval_t right) in sval_binop_signed() 574 static sval_t ptr_binop(struct symbol *type, sval_t left, int op, sval_t right) in ptr_binop() [all …]
|
H A D | smatch.h | 45 } sval_t; typedef 615 sval_t min; 1147 sval_t *sval_alloc(sval_t sval); 1148 sval_t *sval_alloc_permanent(sval_t sval); 1169 sval_t sval_min(sval_t one, sval_t two); 1170 sval_t sval_max(sval_t one, sval_t two); 1174 sval_t sval_cast(struct symbol *type, sval_t sval); 1175 sval_t sval_preop(sval_t sval, int op); 1176 sval_t sval_binop(sval_t left, int op, sval_t right); 1374 static inline int fp_cmp(sval_t one, sval_t two) in fp_cmp() [all …]
|
H A D | smatch_extra.h | 31 sval_t fuzzy_max; 49 struct data_range *alloc_range(sval_t min, sval_t max); 50 struct data_range *alloc_range_perm(sval_t min, sval_t max); 54 struct range_list *alloc_rl(sval_t min, sval_t max); 59 void add_range(struct range_list **list, sval_t min, sval_t max); 60 struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max); 78 bool is_err_ptr(sval_t sval); 86 sval_t rl_min(struct range_list *rl); 87 sval_t rl_max(struct range_list *rl); 123 struct smatch_state *alloc_estate_range(sval_t min, sval_t max); [all …]
|
H A D | smatch_math.c | 96 sval_t sval; in handle_address() 613 sval_t res; in handle_implied_binop() 700 sval_t val; in handle_binop_rl() 913 sval_t sval; in get_fuzzy_max_helper() 1111 sval_t ret; in handle_sizeof() 1155 sval_t tag; in handle_strlen() 1742 sval_t tmp; in get_fuzzy_min() 1756 sval_t max; in get_fuzzy_max() 1809 sval_t tmp; in known_condition_true() 1828 sval_t tmp; in known_condition_false() [all …]
|
H A D | smatch_estate.c | 86 sval_t estate_get_fuzzy_max(struct smatch_state *state) in estate_get_fuzzy_max() 88 sval_t empty = {}; in estate_get_fuzzy_max() 102 void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max) in estate_set_fuzzy_max() 118 sval_t empty = {}; in estate_clear_fuzzy_max() 143 int estate_get_hard_max(struct smatch_state *state, sval_t *sval) in estate_get_hard_max() 195 sval_t estate_min(struct smatch_state *state) in estate_min() 200 sval_t estate_max(struct smatch_state *state) in estate_max() 279 sval_t min, max; in estate_get_single_value() 300 static struct data_info *alloc_dinfo_range(sval_t min, sval_t max) in alloc_dinfo_range() 389 struct smatch_state *alloc_estate_sval(sval_t sval) in alloc_estate_sval() [all …]
|
H A D | smatch_ranges.c | 335 static sval_t add_one(sval_t sval) in add_one() 341 static sval_t sub_one(sval_t sval) in sub_one() 436 sval_t ret; in parse_val() 748 sval_t ret; in rl_min() 761 sval_t ret; in rl_max() 806 struct data_range *alloc_range(sval_t min, sval_t max) in alloc_range() 816 struct range_list *alloc_rl(sval_t min, sval_t max) in alloc_rl() 1611 sval_t zero; in handle_mod_rl() 1612 sval_t max; in handle_mod_rl() 1779 sval_t tmp; in handle_sub_rl() [all …]
|
H A D | check_index_overflow.c | 30 sval_t sval; in definitely_just_used_as_limiter() 47 static int fake_get_hard_max(struct expression *expr, sval_t *sval) in fake_get_hard_max() 69 static int get_the_max(struct expression *expr, sval_t *sval) in get_the_max() 105 static int common_false_positives(struct expression *array, sval_t max) in common_false_positives() 209 sval_t hard_max = { .type = &int_ctype, }; in should_warn() 210 sval_t fuzzy_max = { .type = &int_ctype, }; in should_warn() 213 sval_t max; in should_warn() 267 sval_t hard_max = { .type = &int_ctype, }; in array_check() 268 sval_t fuzzy_max = { .type = &int_ctype, }; in array_check() 272 sval_t max; in array_check()
|
H A D | check_signed.c | 37 sval_t sval; in match_assign() 38 sval_t max; in match_assign() 39 sval_t min; in match_assign() 95 sval_t known; in cap_gt_zero_and_lt() 143 sval_t known; in cap_lt_zero_or_gt() 203 sval_t known; in compare_against_macro() 215 sval_t known; in print_unsigned_never_less_than_zero() 233 sval_t known; in match_condition() 234 sval_t min, max; in match_condition()
|
H A D | smatch_buf_size.c | 65 sval_t sval; in estate_to_size() 75 sval_t sval; in size_to_estate() 85 sval_t sval; in size_to_rl() 272 sval_t sval; in db_returns_buf_size() 287 sval_t sval; in get_real_array_size_from_type() 354 sval_t sval; in remove_addr_fluff() 400 sval_t sval; in last_member_is_resizable() 476 sval_t sval; in get_array_size_bytes_rl() 545 sval_t sval; in get_array_size_bytes() 680 sval_t sval; in match_array_assignment() [all …]
|
H A D | check_err_ptr_deref.c | 27 static sval_t err_ptr_min = { 32 static sval_t err_ptr_max = { 176 sval_t sval; in match_err_ptr_positive_const() 191 sval_t tmp_min; in match_err_ptr() 192 sval_t tmp_max; in match_err_ptr() 193 sval_t min = sval_type_max(&llong_ctype); in match_err_ptr() 194 sval_t max = sval_type_min(&llong_ctype); in match_err_ptr()
|
H A D | smatch_extra.c | 577 sval_t sval; in set_extra_expr_true_false() 600 sval_t limit; in get_countdown_info() 1028 sval_t sval; in save_chunk_info() 1419 static sval_t add_one(sval_t sval) in add_one() 1757 sval_t sval; in move_known_to_rl() 1855 sval_t tmp; in do_simple_algebra() 2015 static sval_t get_high_mask(sval_t known) in get_high_mask() 2017 sval_t ret; in get_high_mask() 2038 sval_t sval; in handle_bit_test() 2086 sval_t max; in handle_AND_op() [all …]
|
H A D | check_kernel.c | 26 static sval_t err_ptr_min; 27 static sval_t err_ptr_max; 28 static sval_t null_ptr; 47 sval_t low_error; in hack_ERR_PTR() 48 sval_t minus_one; in hack_ERR_PTR() 49 sval_t zero; in hack_ERR_PTR() 210 sval_t min, max, tmp; in match_next_bit() 236 sval_t zero = {}; in match_fls() 237 sval_t start, end, sval; in match_fls()
|
H A D | check_shift_to_zero.c | 25 sval_t bits; in match_binop() 47 sval_t mask, shift; in match_binop2() 73 sval_t bits; in match_assign()
|
H A D | check_arm64_tagged.c | 132 int rl_is_larger_or_equal(struct range_list *rl, sval_t sval) in rl_is_larger_or_equal() 143 int rl_range_has_min_value(struct range_list *rl, sval_t sval) in rl_range_has_min_value() 157 sval_t invalid; in rl_is_tagged() 158 sval_t invalid_kernel; in rl_is_tagged()
|
H A D | smatch_capped.c | 72 sval_t dummy; in is_capped() 97 sval_t sval; in is_capped() 150 sval_t sval; in match_condition() 222 sval_t sval; in match_caller_info() 239 sval_t sval; in struct_member_callback() 257 sval_t sval; in print_return_implies_capped()
|
H A D | smatch_common_functions.c | 48 sval_t fixed; in match_strnlen() 49 sval_t bound; in match_strnlen() 50 sval_t ulong_max = sval_type_val(&ulong_ctype, ULONG_MAX); in match_strnlen()
|
H A D | check_impossible_mask.c | 25 sval_t sval; 66 sval_t sval; in get_possible_bits() 82 sval_t sval; in match_condition()
|
H A D | smatch_strlen.c | 38 sval_t sval; in size_to_estate() 102 sval_t sval; in match_strlen_condition() 169 sval_t limit_size; in match_snprintf() 189 sval_t limit; in match_strlcpycat() 225 sval_t sval; in get_strlen_from_string() 280 sval_t max; in get_size_from_strlen()
|
H A D | smatch_mtag.c | 97 sval_t sval; in get_allocator_info() 133 sval_t tag_sval; in get_mtag_return() 236 sval_t sval; in get_array_mtag_offset() 267 sval_t sval; in swap_mtag_seed() 314 sval_t sval; in get_implied_mtag_offset() 404 int get_mtag_sval(struct expression *expr, sval_t *sval) in get_mtag_sval()
|
H A D | check_bit_shift.c | 35 sval_t expr_value; in get_shifter() 118 sval_t sval; in match_binop_info() 138 sval_t sval; in match_call()
|
H A D | smatch_parse_call_math.c | 170 sval_t sval; in read_var_num() 247 int parse_call_math(struct expression *call, char *math, sval_t *sval) in parse_call_math() 347 static int is_mtag_sval(sval_t sval) in is_mtag_sval() 359 sval_t sval; in format_expr_helper() 423 sval_t dummy; in get_value_in_terms_of_parameter_math() 448 sval_t sval; in get_value_in_terms_of_parameter_math_var_sym() 489 sval_t sval; in swap_format()
|
H A D | smatch_bits.c | 60 sval_t sval; in rl_to_binfo() 247 sval_t known; in get_bit_info() 289 static int is_single_bit(sval_t sval) in is_single_bit() 306 sval_t val; in match_compare() 354 sval_t right; in match_condition() 425 sval_t sval; in struct_member_callback()
|
H A D | smatch_type.c | 167 sval_t sval; in handle__builtin_choose_expr() 444 static sval_t fp_max(struct symbol *type) in fp_max() 446 sval_t ret = { .type = type }; in fp_max() 458 sval_t sval_type_max(struct symbol *base_type) in sval_type_max() 460 sval_t ret; in sval_type_max() 473 static sval_t fp_min(struct symbol *type) in fp_min() 475 sval_t ret = { .type = type }; in fp_min() 487 sval_t sval_type_min(struct symbol *base_type) in sval_type_min() 489 sval_t ret; in sval_type_min()
|
H A D | check_or_vs_and.c | 44 sval_t sval; in inconsistent_check() 143 sval_t sval; in match_condition() 168 sval_t left, right, sval; in match_binop()
|
H A D | check_snprintf.c | 33 sval_t buflen; in match_snprintf() 59 sval_t max; in match_call()
|