2 * Copyright (C) 2012 Oracle.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
19 * This is for functions like:
27 * The final value of *x depends on the input to the function but with *x == 42
33 #include "smatch_extra.h"
34 #include "smatch_slist.h"
38 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
40 struct smatch_state
*state
;
42 if (parent_is_gone_var_sym(sm
->name
, sm
->sym
))
43 return alloc_estate_empty();
45 state
= __get_state(SMATCH_EXTRA
, sm
->name
, sm
->sym
);
48 return alloc_estate_whole(estate_type(sm
->state
));
51 static void pre_merge_hook(struct sm_state
*cur
, struct sm_state
*other
)
53 struct smatch_state
*extra
;
54 struct range_list
*rl
;
56 if (estate_rl(other
->state
))
59 extra
= get_state(SMATCH_EXTRA
, cur
->name
, cur
->sym
);
63 rl
= rl_intersection(estate_rl(extra
), estate_rl(cur
->state
));
64 if (rl_equiv(rl
, estate_rl(cur
->state
)))
66 set_state(my_id
, cur
->name
, cur
->sym
, alloc_estate_rl(clone_rl(rl
)));
69 static void extra_mod_hook(const char *name
, struct symbol
*sym
, struct expression
*expr
, struct smatch_state
*state
)
76 param
= get_param_num_from_sym(sym
);
80 /* on stack parameters are handled in smatch_param_limit.c */
81 if (sym
->ident
&& strcmp(sym
->ident
->name
, name
) == 0)
84 set_state(my_id
, name
, sym
, alloc_estate_empty());
88 * This relies on the fact that these states are stored so that
89 * foo->bar is before foo->bar->baz.
91 static int parent_set(struct string_list
*list
, const char *name
)
97 FOR_EACH_PTR(list
, tmp
) {
99 ret
= strncmp(tmp
, name
, len
);
104 if (name
[len
] == '-')
106 } END_FOR_EACH_PTR(tmp
);
111 static void print_one_mod_param(int return_id
, char *return_ranges
,
112 int param
, struct sm_state
*sm
, struct string_list
**totally_filtered
)
114 const char *param_name
;
116 param_name
= get_param_name(sm
);
119 if (is_whole_rl(estate_rl(sm
->state
)))
121 if (!estate_rl(sm
->state
)) {
122 insert_string(totally_filtered
, (char *)sm
->name
);
126 if (is_ignored_kernel_data(param_name
)) {
127 insert_string(totally_filtered
, (char *)sm
->name
);
131 sql_insert_return_states(return_id
, return_ranges
, PARAM_FILTER
, param
,
132 param_name
, show_rl(estate_rl(sm
->state
)));
135 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
)
137 struct sm_state
*tmp
;
139 struct string_list
*totally_filtered
= NULL
;
142 FOR_EACH_MY_SM(SMATCH_EXTRA
, __get_cur_stree(), tmp
) {
143 param
= get_param_num_from_sym(tmp
->sym
);
147 /* on stack parameters are handled in smatch_param_limit.c */
148 if (tmp
->sym
->ident
&& strcmp(tmp
->sym
->ident
->name
, tmp
->name
) == 0)
151 if (parent_set(totally_filtered
, tmp
->name
))
154 sm
= get_sm_state(my_id
, tmp
->name
, tmp
->sym
);
156 print_one_mod_param(return_id
, return_ranges
, param
, sm
, &totally_filtered
);
157 } END_FOR_EACH_SM(tmp
);
159 free_ptr_list((struct ptr_list
**)&totally_filtered
);
162 int param_has_filter_data(struct sm_state
*sm
)
164 struct smatch_state
*state
;
166 state
= get_state(my_id
, sm
->name
, sm
->sym
);
168 if (get_assigned_expr_name_sym(sm
->name
, sm
->sym
))
172 if (estate_rl(state
))
177 void register_param_filter(int id
)
181 set_dynamic_states(my_id
);
183 add_extra_mod_hook(&extra_mod_hook
);
184 add_unmatched_state_hook(my_id
, &unmatched_state
);
185 add_pre_merge_hook(my_id
, &pre_merge_hook
);
186 add_merge_hook(my_id
, &merge_estates
);
188 add_split_return_callback(&print_return_value_param
);