Symbol: DEREFERENCE
usr/src/tools/smatch/src/check_check_deref.c
169
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_deref.c
289
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_deref_check.c
95
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_dereferences_param.c
107
sql_insert_return_implies(DEREFERENCE, arg, name, "1");
usr/src/tools/smatch/src/check_dereferences_param.c
126
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_err_ptr_deref.c
239
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/smatch_extra.c
2943
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);