| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_param_compare_limit.c | 91 static void add_comparison_var_sym(const char *left_name, in add_comparison_var_sym() argument
100 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
101 const char *tmp_name = left_name; in add_comparison_var_sym()
104 left_name = right_name; in add_comparison_var_sym()
110 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison_var_sym()
111 state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl); in add_comparison_var_sym()
131 char *left_name = NULL; in __compare_param_limit_hook() local
136 left_name = expr_to_var_sym(left_expr, &left_sym); in __compare_param_limit_hook()
137 if (!left_name || !left_sym) in __compare_param_limit_hook()
147 tmp_name = get_other_name_sym(left_name, left_sym, &tmp_sym); in __compare_param_limit_hook()
[all …]
|
| H A D | smatch_return_to_param.c | 144 static void store_mapping_helper(char *left_name, struct symbol *left_sym, struct expression *call,… in store_mapping_helper() argument
181 set_state(my_id, left_name, left_sym, alloc_my_state(right_name, right_sym)); in store_mapping_helper()
182 store_link(link_id, right_name, right_sym, left_name, left_sym); in store_mapping_helper()
191 char *left_name = NULL; in __add_return_to_param_mapping() local
195 left_name = expr_to_var_sym(expr->left, &left_sym); in __add_return_to_param_mapping()
196 if (!left_name || !left_sym) in __add_return_to_param_mapping()
203 store_mapping_helper(left_name, left_sym, call, return_string); in __add_return_to_param_mapping()
214 left_name = expr_to_str(call); in __add_return_to_param_mapping()
215 if (!left_name) in __add_return_to_param_mapping()
218 store_mapping_helper(left_name, left_sym, call, return_string); in __add_return_to_param_mapping()
[all …]
|
| H A D | check_allocation_funcs.c | 43 char *left_name; in match_allocation() local
46 left_name = expr_to_var_sym(expr->left, &left_sym); in match_allocation()
47 if (!left_name || !left_sym) in match_allocation()
52 add_tracker(&allocated, my_id, left_name, left_sym); in match_allocation()
54 free_string(left_name); in match_allocation()
|
| H A D | smatch_assigned_expr.c | 64 char *left_name = NULL; in match_assignment() local
86 left_name = expr_to_var_sym(expr->left, &left_sym); in match_assignment()
87 if (!left_name || !left_sym) in match_assignment()
89 set_state(my_id, left_name, left_sym, alloc_state_expr(strip_expr(expr->right))); in match_assignment()
95 store_link(link_id, right_name, right_sym, left_name, left_sym); in match_assignment()
98 free_string(left_name); in match_assignment()
|
| H A D | smatch_equiv.c | 200 char *left_name; in set_equiv() local
206 left_name = expr_to_var_sym(left, &left_sym); in set_equiv()
207 if (!left_name || !left_sym) in set_equiv()
210 other_name = get_other_name_sym(left_name, left_sym, &other_sym); in set_equiv()
225 left_sm->name = alloc_string(left_name); in set_equiv()
229 set_extra_mod_helper(left_name, left_sym, left, left_sm->state); in set_equiv()
243 add_related(&rlist, left_name, left_sym); in set_equiv()
259 free_string(left_name); in set_equiv()
|
| H A D | check_signed.c | 40 char *left_name, *right_name; in match_assign() local
60 left_name = expr_to_str(expr->left); in match_assign()
63 right_name, sval_to_numstr(sval), sval_to_numstr(max), left_name); in match_assign()
64 free_string(left_name); in match_assign()
76 left_name = expr_to_str(expr->left); in match_assign()
79 sval_to_str(sval), left_name); in match_assign()
82 sval_to_str(sval), sval_to_str(min), left_name); in match_assign()
84 free_string(left_name); in match_assign()
|
| H A D | check_wine_filehandles.c | 56 char *left_name = NULL; in match_returns_handle() local
59 left_name = expr_to_var_sym(expr->left, &left_sym); in match_returns_handle()
60 if (!left_name || !left_sym) in match_returns_handle()
64 free_string(left_name); in match_returns_handle()
|
| H A D | check_signed_integer_overflow_check.c | 34 char *left_name; in match_condition() local
59 left_name = expr_to_str(left); in match_condition()
61 …sm_warning("signed overflow undefined. '%s %s %s'", left_name, show_special(expr->op), right_name); in match_condition()
62 free_string(left_name); in match_condition()
|
| H A D | check_arm64_tagged.c | 30 char *left_name; in match_assign() local
33 left_name = expr_to_var_sym(expr->left, &left_sym); in match_assign()
34 if (!left_name || !left_sym) in match_assign()
44 insert_symbol(symbols, left_name, left_name); in match_assign()
|
| H A D | smatch_mtag.c | 113 const char *left_name, const char *tag_info, in update_mtag_info() argument
118 sql_insert_mtag_about(tag, left_name, tag_info); in update_mtag_info()
128 char *left_name, *right_name; in get_mtag_return() local
145 left_name = expr_to_str_sym(left, &left_sym); in get_mtag_return()
146 if (!left_name || !left_sym) in get_mtag_return()
151 left_name, right_name); in get_mtag_return()
160 update_mtag_info(expr, tag, left_name, buf, state); in get_mtag_return()
162 free_string(left_name); in get_mtag_return()
|
| H A D | smatch_param_set.c | 50 char *left_name; in parent_is_set() local
74 left_name = expr_to_var(faked->left); in parent_is_set()
75 if (!left_name) in parent_is_set()
78 len = strlen(left_name); in parent_is_set()
79 if (strncmp(name, left_name, len) == 0 && name[len] == '-') in parent_is_set()
81 free_string(left_name); in parent_is_set()
|
| H A D | smatch_comparison.c | 1121 const char *left_name, struct var_sym_list *left_vsl, in update_tf_data() argument
1130 …update_tf_links(pre_stree, left_expr, left_name, left_vsl, true_comparison, false_comparison, righ… in update_tf_data()
1132 state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl)); in update_tf_data()
1134 …l, flip_comparison(true_comparison), flip_comparison(false_comparison), left_name, left_vsl, state… in update_tf_data()
1420 const char *left_name, struct var_sym_list *left_vsl, in add_comparison_var_sym() argument
1429 if (strcmp(left_name, right_name) > 0) { in add_comparison_var_sym()
1431 const char *tmp_name = left_name; in add_comparison_var_sym()
1435 left_name = right_name; in add_comparison_var_sym()
1442 snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name); in add_comparison_var_sym()
1444 left_expr, left_name, left_vsl, in add_comparison_var_sym()
[all …]
|
| H A D | smatch_struct_assignment.c | 328 char *left_name = NULL, *right_name = NULL; in copy_containter_states() local
339 left_name = expr_to_var_sym(left, &left_sym); in copy_containter_states()
340 if (!left_name || !left_sym) in copy_containter_states()
352 snprintf(new_name, sizeof(new_name), "%s%s", left_name, sm->name + len); in copy_containter_states()
360 free_string(left_name); in copy_containter_states()
|
| H A D | smatch_implied.c | 1021 char *left_name = NULL; in param_limit_implications() local
1063 left_name = expr_to_var_sym(orig_expr->left, &left_sym); in param_limit_implications()
1073 (!left_name || strcmp(left_name, name) != 0)) { in param_limit_implications()
|
| H A D | smatch_db.c | 395 void sql_insert_mtag_about(mtag_t tag, const char *left_name, const char *right_name) in sql_insert_mtag_about() argument
399 left_name, right_name); in sql_insert_mtag_about()
|
| H A D | smatch.h | 1015 void sql_insert_mtag_about(mtag_t tag, const char *left_name, const char *right_name);
|
| /illumos-gate/usr/src/tools/smatch/src/smatch_data/db/ |
| H A D | mtag_about.schema | 6 left_name varchar(80),
9 CONSTRAINT mtag_about_row UNIQUE (tag, file, function, line, left_name, right_name)
|