2 * sparse/smatch_param_filter.c
4 * Copyright (C) 2012 Oracle.
6 * Licensed under the Open Software License version 1.1
11 * This is for functions like:
19 * The final value of *x depends on the input to the function but with *x == 42
25 #include "smatch_extra.h"
26 #include "smatch_slist.h"
33 static struct state_list
*start_states
;
34 static void save_start_states(struct statement
*stmt
)
36 start_states
= get_all_states(SMATCH_EXTRA
);
39 static void match_end_func(void)
41 free_slist(&start_states
);
44 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
49 static void extra_mod_hook(const char *name
, struct symbol
*sym
, struct smatch_state
*state
)
53 param
= get_param_num_from_sym(sym
);
57 set_state(my_id
, name
, sym
, &modified
);
60 static const char *get_param_name(struct sm_state
*sm
)
69 param_name
= sm
->sym
->ident
->name
;
70 name_len
= strlen(param_name
);
72 if (strcmp(sm
->name
, param_name
) == 0) {
74 } else if (sm
->name
[name_len
] == '-' && /* check for '-' from "->" */
75 strncmp(sm
->name
, param_name
, name_len
) == 0) {
76 snprintf(buf
, sizeof(buf
), "$$%s", sm
->name
+ name_len
);
78 } else if (sm
->name
[0] == '*' && strcmp(sm
->name
+ 1, param_name
) == 0) {
84 static char *get_orig_rl(struct sm_state
*sm
)
86 struct range_list
*ret
= NULL
;
88 struct smatch_state
*extra
;
90 FOR_EACH_PTR(sm
->possible
, tmp
) {
91 if (tmp
->state
!= &original
)
93 extra
= get_state_slist(tmp
->pool
, SMATCH_EXTRA
, tmp
->name
, tmp
->sym
);
95 sm_msg("debug: no value found in pool %p", tmp
->pool
);
98 ret
= rl_union(ret
, estate_rl(extra
));
99 } END_FOR_EACH_PTR(tmp
);
103 static void print_one_mod_param(int return_id
, char *return_ranges
,
104 int param
, struct sm_state
*sm
, struct state_list
*slist
)
106 const char *param_name
;
109 param_name
= get_param_name(sm
);
112 filter
= get_orig_rl(sm
);
116 sm_msg("info: return_param_filter %d %d '%s' '%s' '%s' %s",
117 return_id
, param
, return_ranges
,
118 param_name
, filter
, global_static());
121 static void print_one_extra_param(int return_id
, char *return_ranges
,
122 int param
, struct sm_state
*sm
, struct state_list
*slist
)
124 struct smatch_state
*old
;
125 const char *param_name
;
127 old
= get_state_slist(start_states
, SMATCH_EXTRA
, sm
->name
, sm
->sym
);
128 if (old
&& estates_equiv(old
, sm
->state
))
131 param_name
= get_param_name(sm
);
135 sm_msg("info: return_param_filter %d %d '%s' '%s' '%s' %s",
136 return_id
, param
, return_ranges
,
137 param_name
, show_rl(estate_rl(sm
->state
)), global_static());
140 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
, struct state_list
*slist
)
142 struct state_list
*extra_slist
;
143 struct sm_state
*tmp
;
147 extra_slist
= get_all_states_slist(SMATCH_EXTRA
, slist
);
149 FOR_EACH_PTR(extra_slist
, tmp
) {
150 param
= get_param_num_from_sym(tmp
->sym
);
154 * skip the parameter itself because that's handled by
155 * smatch_param_limit.c.
157 if (tmp
->sym
->ident
&& strcmp(tmp
->sym
->ident
->name
, tmp
->name
) == 0)
160 sm
= get_sm_state_slist(slist
, my_id
, tmp
->name
, tmp
->sym
);
162 print_one_mod_param(return_id
, return_ranges
, param
, sm
, slist
);
164 print_one_extra_param(return_id
, return_ranges
, param
, tmp
, slist
);
165 } END_FOR_EACH_PTR(tmp
);
167 free_slist(&extra_slist
);
170 void register_param_filter(int id
)
177 add_hook(&save_start_states
, AFTER_DEF_HOOK
);
178 add_extra_mod_hook(&extra_mod_hook
);
179 add_unmatched_state_hook(my_id
, &unmatched_state
);
180 add_returned_state_callback(&print_return_value_param
);
181 add_hook(&match_end_func
, END_FUNC_HOOK
);