| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_equiv.c | 151 orig_sm = get_sm_state(SMATCH_EXTRA, name, sym); in remove_from_equiv()
161 old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym); in remove_from_equiv()
250 old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym); in set_equiv()
|
| H A D | check_atomic_inc_dec.c | 118 start_sm = get_sm_state(my_id, name, sym); in db_inc_dec()
342 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_counter()
353 sm = get_sm_state(my_id, name, sym); in check_counter()
|
| H A D | smatch_nul_terminator.c | 76 sm = get_sm_state(my_id, name, sym); in get_terminated_state_var_sym()
193 sm = get_sm_state(my_id, tmp->name, tmp->sym); in split_return_info()
|
| H A D | smatch_parsed_conditions.c | 98 sm = get_sm_state(my_id, name, NULL); in parsed_condition_implication_hook()
|
| H A D | check_info_leak.c | 75 sm = get_sm_state(my_id, name, sym); in match_copy_to_user()
|
| H A D | smatch_states.c | 256 orig = get_sm_state(sm->owner, sm->name, sm->sym); in __merge_stree_into_cur()
369 sm = get_sm_state(owner, name, sym); in __get_state()
424 struct sm_state *get_sm_state(int owner, const char *name, struct symbol *sym) in get_sm_state() function
445 ret = get_sm_state(owner, name, sym); in get_sm_state_expr()
988 new = get_sm_state(sm->owner, sm->name, sm->sym); in update_stree_with_merged()
|
| H A D | check_puts_argument.c | 82 tmp = get_sm_state(my_id, tracker->name, tracker->sym); in match_return()
|
| H A D | check_frees_argument.c | 85 tmp = get_sm_state(my_id, tracker->name, tracker->sym); in match_return()
|
| H A D | check_check_deref.c | 85 sm = get_sm_state(my_id, name, sym); in check_dereference_name_sym()
|
| H A D | smatch_slist.c | 758 cur = get_sm_state(sm->owner, sm->name, sm->sym); in call_pre_merge_hooks()
771 cur = get_sm_state(sm->owner, sm->name, sm->sym); in call_pre_merge_hooks()
932 sm = get_sm_state(one_iter.sm->owner, one_iter.sm->name, in merge_fake_stree()
941 sm = get_sm_state(two_iter.sm->owner, two_iter.sm->name, in merge_fake_stree()
|
| H A D | smatch_comparison.c | 1790 sm = get_sm_state(comparison_id, buf, NULL); in possible_comparison()
1831 sm = get_sm_state(comparison_id, tmp, NULL); in get_all_comparisons()
1855 sm = get_sm_state(comparison_id, tmp, NULL); in get_all_possible_equal_comparisons()
1885 sm = get_sm_state(comparison_id, link, NULL); in get_all_possible_not_equal_comparisons()
2179 sm = get_sm_state(comparison_id, link, NULL); in match_call_info()
2234 compare_sm = get_sm_state(comparison_id, link, NULL); in struct_member_callback()
2327 sm = get_sm_state(comparison_id, link, NULL); in print_return_comparison()
2579 sm = get_sm_state(comparison_id, link, NULL); in impossibly_high_comparison()
2782 sm = get_sm_state(comparison_id, buf, NULL); in comparison_implication_hook()
|
| H A D | check_locking.c | 665 sm = get_sm_state(my_id, name, sym); in handle_macro_lock_unlock()
697 sm = get_sm_state(my_id, name, sym); in do_lock()
721 sm = get_sm_state(my_id, name, sym); in do_unlock()
1012 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_lock()
1017 sm = get_sm_state(my_id, name, sym); in check_lock()
|
| H A D | smatch_param_filter.c | 178 sm = get_sm_state(my_id, tmp->name, tmp->sym); in print_return_value_param()
|
| H A D | check_double_checking.c | 250 sm = get_sm_state(my_id, check->name, check->sym); in after_loop()
|
| H A D | check_deref.c | 109 sm = get_sm_state(my_id, name, sym); in check_dereference_name_sym()
|
| H A D | check_err_ptr_deref.c | 82 sm = get_sm_state(my_id, name, sym); in set_param_dereferenced()
|
| H A D | smatch_param_set.c | 299 sm = get_sm_state(my_id, buf, sym); in param_was_set_var_sym()
|
| H A D | smatch_stored_conditions.c | 295 sm = get_sm_state(my_id, name, NULL); in stored_condition_implication_hook()
|
| H A D | smatch_untracked_param.c | 232 } else if ((sm = get_sm_state(my_id, arg->ident->name, arg))) { in print_untracked_params()
|
| H A D | check_free_strict.c | 260 sm = get_sm_state(my_id, name, sym); in set_param_freed()
|
| H A D | smatch_param_compare_limit.c | 191 sm = get_sm_state(compare_id, link, NULL); in print_return_comparison()
|
| H A D | check_rosenberg.c | 185 sm = get_sm_state(my_member_id, buf, outer); in member_uninitialized()
|
| H A D | smatch_db.c | 726 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in db_return_vals()
1942 sm = get_sm_state(SMATCH_EXTRA, buf, NULL); in splitable_function_call()
2034 sm = get_sm_state(SMATCH_EXTRA, start_sm->name, start_sm->sym); in split_by_bool_param()
2061 sm = get_sm_state(SMATCH_EXTRA, arg->ident->name, arg); in split_by_null_nonnull_param()
|
| H A D | smatch_implied.c | 801 sm = get_sm_state(SMATCH_EXTRA, name, sym); in handle_zero_comparison()
1046 sm = get_sm_state(SMATCH_EXTRA, name, sym); in param_limit_implications()
|
| H A D | smatch_extra.c | 842 if (get_sm_state(my_id, sm->name, sm->sym) == sm) in __iterator_unchanged()
2612 sm = get_sm_state(SMATCH_EXTRA, name, sym); in db_param_limit_filter()
2875 ret = get_sm_state(SMATCH_EXTRA, name, sym); in get_extra_sm_state()
|