/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_extra.h | 121 struct smatch_state *alloc_estate_empty(void); 126 struct smatch_state *clone_estate(struct smatch_state *state); 127 struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state); 128 struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl); 130 struct smatch_state *merge_estates(struct smatch_state *s1, struct smatch_state *s2); 132 int estates_equiv(struct smatch_state *one, struct smatch_state *two); 139 sval_t estate_min(struct smatch_state *state); 146 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old); 156 bool estate_new(struct smatch_state *state); 162 struct smatch_state *estate_filter_sval(struct smatch_state *orig, sval_t filter); [all …]
|
H A D | smatch_estate.c | 33 struct smatch_state *merge_estates(struct smatch_state *s1, struct smatch_state *s2) in merge_estates() 35 struct smatch_state *tmp; in merge_estates() 109 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old) in estate_copy_fuzzy_max() 235 int estates_equiv(struct smatch_state *one, struct smatch_state *two) in estates_equiv() 330 struct smatch_state *clone_estate(struct smatch_state *state) in clone_estate() 332 struct smatch_state *ret; in clone_estate() 345 struct smatch_state *ret; in clone_partial_estate() 381 struct smatch_state *ret; in extra_empty() 426 struct smatch_state *ret; in clone_estate_cast() 472 struct smatch_state *clone_estate_perm(struct smatch_state *state) in clone_estate_perm() [all …]
|
H A D | smatch_param_limit.c | 65 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 67 struct smatch_state *state; in unmatched_state() 75 struct smatch_state *get_orig_estate(const char *name, struct symbol *sym) in get_orig_estate() 77 struct smatch_state *state; in get_orig_estate() 89 struct smatch_state *get_orig_estate_type(const char *name, struct symbol *sym, struct symbol *type) in get_orig_estate_type() 91 struct smatch_state *state; in get_orig_estate_type() 103 static struct range_list *generify_mtag_range(struct smatch_state *state) in generify_mtag_range() 135 struct smatch_state *state, *old; in print_return_value_param() 169 …mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state) in extra_mod_hook() 171 struct smatch_state *orig_vals; in extra_mod_hook()
|
H A D | smatch_stored_conditions.c | 45 static struct smatch_state *alloc_link_state(struct expression_list *expr_list) in alloc_link_state() 48 struct smatch_state *state; in alloc_link_state() 96 static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2) in merge_links() 113 struct smatch_state *old_state, *new_state; in save_link_var_sym() 141 static struct smatch_state *alloc_state(struct expression *expr, int is_true) in alloc_state() 143 struct smatch_state *state; in alloc_state() 194 struct smatch_state *true_state, *false_state; in __stored_condition() 214 struct smatch_state *get_stored_condition(struct expression *expr) in get_stored_condition() 216 struct smatch_state *state; in get_stored_condition() 230 struct smatch_state *state; in get_conditions()
|
H A D | smatch.h | 49 struct smatch_state { struct 55 extern struct smatch_state ghost; 56 extern struct smatch_state merged; 59 DECLARE_ALLOCATOR(smatch_state); 87 struct smatch_state *state; 166 typedef struct smatch_state *(merge_func_t)(struct smatch_state *s1, struct smatch_state *s2); 202 struct smatch_state *prev; 388 struct smatch_state *merge_str_state(struct smatch_state *s1, struct smatch_state *s2); 1122 struct smatch_state *merge_compare_states(struct smatch_state *s1, struct smatch_state *s2); 1143 struct smatch_state *true_state, struct smatch_state *false_state); [all …]
|
H A D | check_readl_infinite_loops.c | 27 DECLARE_PTR_LIST(state_stack, struct smatch_state); 98 struct smatch_state *tmp; in match_return() 109 static void push_state_at_start(struct smatch_state *state) in push_state_at_start() 114 static struct smatch_state *pop_state_at_start(void) in pop_state_at_start() 116 struct smatch_state *state; in pop_state_at_start() 125 struct smatch_state *state; in before_loop() 137 struct smatch_state *old_state; in after_loop()
|
H A D | smatch_imaginary_absolute.c | 39 static struct smatch_state *empty_state(struct sm_state *sm) in empty_state() 44 struct smatch_state *merge_is_empty(struct smatch_state *s1, struct smatch_state *s2) in merge_is_empty() 63 struct smatch_state *state; in get_imaginary_absolute()
|
H A D | smatch_real_absolute.c | 39 void set_real_absolute(struct expression *expr, struct smatch_state *state) in set_real_absolute() 44 …mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state) in extra_mod_hook() 46 struct smatch_state *abs; in extra_mod_hook() 58 struct smatch_state *extra; in pre_merge_hook() 72 static struct smatch_state *empty_state(struct sm_state *sm) in empty_state() 130 struct smatch_state *get_real_absolute_state(struct expression *expr) in get_real_absolute_state() 135 struct smatch_state *get_real_absolute_state_var_sym(const char *name, struct symbol *sym) in get_real_absolute_state_var_sym()
|
H A D | check_get_user_overflow.c | 35 struct smatch_state *left_max_true = NULL; in match_condition() 36 struct smatch_state *left_max_false = NULL; in match_condition() 37 struct smatch_state *right_max_true = NULL; in match_condition() 38 struct smatch_state *right_max_false = NULL; in match_condition() 40 struct smatch_state *left_min_true = NULL; in match_condition() 41 struct smatch_state *left_min_false = NULL; in match_condition() 42 struct smatch_state *right_min_true = NULL; in match_condition() 43 struct smatch_state *right_min_false = NULL; in match_condition()
|
H A D | smatch_links.c | 26 static struct smatch_state *alloc_link(struct var_sym_list *links) in alloc_link() 28 struct smatch_state *state; in alloc_link() 50 struct smatch_state *merge_link_states(struct smatch_state *s1, struct smatch_state *s2) in merge_link_states() 71 struct smatch_state *old_state; in store_link()
|
H A D | smatch_slist.h | 27 struct symbol *sym, struct smatch_state *state); 35 int slist_has_state(struct state_list *slist, struct smatch_state *state); 40 struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name, 49 struct symbol *sym, struct smatch_state *state); 51 struct symbol *sym, struct smatch_state *state); 68 struct symbol *sym, struct smatch_state *state); 73 struct smatch_state *get_state_stree_stack(struct stree_stack *stack, int owner,
|
H A D | check_missing_break.c | 50 static struct smatch_state *alloc_my_state(struct expression *expr) in alloc_my_state() 52 struct smatch_state *state; in alloc_my_state() 109 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 115 static struct smatch_state *merge_hook(struct smatch_state *s1, struct smatch_state *s2) in merge_hook()
|
H A D | smatch_param_compare_limit.c | 38 static struct smatch_state *alloc_link_state(struct string_list *links) in alloc_link_state() 40 struct smatch_state *state; in alloc_link_state() 62 static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2) in merge_links() 64 struct smatch_state *ret; in merge_links() 74 struct smatch_state *old_state, *new_state; in save_link_var_sym() 96 struct smatch_state *state; in add_comparison_var_sym() 129 struct smatch_state *true_state, struct smatch_state *false_state) in __compare_param_limit_hook()
|
H A D | smatch_statement_count.c | 26 static struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2) in merge_states() 41 struct smatch_state *state; in get_stmt_cnt()
|
H A D | smatch_states.c | 162 struct smatch_state *s; in set_state() 272 struct smatch_state *s; in __set_sm() 298 struct smatch_state *s; in __set_sm_cur_stree() 321 struct smatch_state *s; in __set_sm_fake_stree() 386 struct smatch_state *ret = NULL; in get_state_expr() 557 struct smatch_state *true_state, in set_true_false_states() 558 struct smatch_state *false_state) in set_true_false_states() 564 struct smatch_state *tmp; in set_true_false_states() 587 struct smatch_state *true_state, in set_true_false_states_expr() 588 struct smatch_state *false_state) in set_true_false_states_expr() [all …]
|
H A D | smatch_constraints.c | 114 static struct smatch_state *alloc_constraint_state(struct constraint_list *list) in alloc_constraint_state() 116 struct smatch_state *state; in alloc_constraint_state() 134 static struct smatch_state *merge_func(struct smatch_state *s1, struct smatch_state *s2) in merge_func() 296 struct smatch_state *state; in unmet_constraint() 353 struct smatch_state *state; in handle_comparison() 400 struct smatch_state *state; in get_constraints() 411 struct smatch_state *state; in match_caller_info() 431 static struct smatch_state *constraint_str_to_state(char *value) in constraint_str_to_state() 475 struct smatch_state *orig; in print_return_implies_constrained()
|
H A D | smatch_capped.c | 41 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 43 struct smatch_state *state; in unmatched_state() 146 struct smatch_state *left_true = NULL; in match_condition() 147 struct smatch_state *left_false = NULL; in match_condition() 148 struct smatch_state *right_true = NULL; in match_condition() 149 struct smatch_state *right_false = NULL; in match_condition() 238 struct smatch_state *estate; in struct_member_callback() 251 struct smatch_state *orig, *estate; in print_return_implies_capped()
|
H A D | smatch_bits.c | 44 static struct smatch_state *alloc_bstate(unsigned long long set, unsigned long long possible) in alloc_bstate() 46 struct smatch_state *state; in alloc_bstate() 89 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 91 struct smatch_state *estate; in unmatched_state() 165 static struct smatch_state *merge_bstates(struct smatch_state *one_state, struct smatch_state *two_… in merge_bstates() 243 struct smatch_state *bstate; in get_bit_info() 325 struct smatch_state *new; in match_assign() 409 struct smatch_state *estate; in struct_member_callback()
|
H A D | smatch_strlen.c | 36 static struct smatch_state *size_to_estate(int size) in size_to_estate() 46 static struct smatch_state *unmatched_strlen_state(struct sm_state *sm) in unmatched_strlen_state() 78 struct smatch_state *state; in match_strlen() 103 struct smatch_state *true_state = NULL; in match_strlen_condition() 104 struct smatch_state *false_state = NULL; in match_strlen_condition() 237 struct smatch_state *state; in get_strlen_from_state() 248 struct smatch_state *state; in get_strlen_from_equiv() 294 struct smatch_state *state; in set_param_strlen()
|
H A D | smatch_extra.c | 105 struct smatch_state *new; in set_union_info() 645 struct smatch_state *estate; in handle_canonical_while_count_down() 703 struct smatch_state *estate; in handle_canonical_for_inc() 866 struct smatch_state *state; in __extra_pre_loop_hook_after() 925 struct smatch_state *state; in unmatched_state() 1080 struct smatch_state *state; in match_vanilla_assign() 1232 static struct smatch_state *increment_state(struct smatch_state *state) in increment_state() 1250 static struct smatch_state *decrement_state(struct smatch_state *state) in decrement_state() 1293 struct smatch_state *state; in unop_expr() 1338 struct smatch_state *state; in check_dereference() [all …]
|
H A D | smatch_kernel_user_data.c | 89 struct smatch_state *extra; in pre_merge_hook() 90 struct smatch_state *state; in pre_merge_hook() 154 struct smatch_state *state; in user_rl_capped() 180 struct smatch_state *state; in user_rl_treat_untagged() 443 struct smatch_state *state; in points_to_user_data() 577 struct smatch_state *state; in handle_op_assign() 613 struct smatch_state *state; in match_assign() 880 struct smatch_state *state; in db_returned_user_rl() 902 struct smatch_state *state; in var_user_rl() 1026 struct smatch_state *state; in get_user_rl_var_sym() [all …]
|
H A D | smatch_param_to_mtag_data.c | 53 static struct smatch_state *alloc_tag_data_state(mtag_t tag, char *name, int offset) in alloc_tag_data_state() 55 struct smatch_state *state; in alloc_tag_data_state() 68 struct smatch_state *merge_tag_info(struct smatch_state *s1, struct smatch_state *s2) in merge_tag_info()
|
H A D | smatch_param_filter.c | 62 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 64 struct smatch_state *state; in unmatched_state() 77 struct smatch_state *extra; in pre_merge_hook() 93 …mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state) in extra_mod_hook() 188 struct smatch_state *state; in param_has_filter_data()
|
H A D | smatch_comparison.c | 76 struct smatch_state *state; in alloc_compare_state() 222 struct smatch_state *state; in get_orig_rl() 567 struct smatch_state *merge_compare_states(struct smatch_state *s1, struct smatch_state *s2) in merge_compare_states() 584 struct smatch_state *state; in alloc_link_state() 611 struct smatch_state *state; in save_start_states() 639 static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2) in merge_links() 641 struct smatch_state *ret; in merge_links() 729 struct smatch_state *state; in match_dec() 736 struct smatch_state *new; in match_dec() 939 struct smatch_state *ret; in get_state_chunk() [all …]
|
H A D | check_syscall_arg_type.c | 44 struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2) in merge_states() 144 struct smatch_state *state; in get_syscall_arg_type()
|