2 * sparse/smatch_param_filter.c
4 * Copyright (C) 2012 Oracle.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_extra.h"
12 #include "smatch_slist.h"
19 static struct state_list
*start_states
;
20 static void save_start_states(struct statement
*stmt
)
22 start_states
= get_all_states(SMATCH_EXTRA
);
25 static void match_end_func(void)
27 free_slist(&start_states
);
30 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
35 static void extra_mod_hook(const char *name
, struct symbol
*sym
, struct smatch_state
*state
)
39 param
= get_param_num_from_sym(sym
);
43 set_state(my_id
, name
, sym
, &modified
);
46 static const char *get_param_name(struct sm_state
*sm
)
55 param_name
= sm
->sym
->ident
->name
;
56 name_len
= strlen(param_name
);
58 if (strcmp(sm
->name
, param_name
) == 0) {
60 } else if (sm
->name
[name_len
] == '-' && /* check for '-' from "->" */
61 strncmp(sm
->name
, param_name
, name_len
) == 0) {
62 snprintf(buf
, sizeof(buf
), "$$%s", sm
->name
+ name_len
);
64 } else if (sm
->name
[0] == '*' && strcmp(sm
->name
+ 1, param_name
) == 0) {
70 static char *get_orig_rl(struct sm_state
*sm
)
72 struct range_list
*ret
= NULL
;
74 struct smatch_state
*extra
;
76 FOR_EACH_PTR(sm
->possible
, tmp
) {
77 if (tmp
->state
!= &original
)
79 extra
= get_state_slist(tmp
->pool
, SMATCH_EXTRA
, tmp
->name
, tmp
->sym
);
81 sm_msg("debug: no value found in pool %p", tmp
->pool
);
84 ret
= rl_union(ret
, estate_ranges(extra
));
85 } END_FOR_EACH_PTR(tmp
);
86 return show_ranges(ret
);
89 static void print_one_mod_param(int return_id
, char *return_ranges
,
90 int param
, struct sm_state
*sm
, struct state_list
*slist
)
92 const char *param_name
;
95 param_name
= get_param_name(sm
);
98 filter
= get_orig_rl(sm
);
102 sm_msg("info: return_param_filter %d %d '%s' '%s' '%s' %s",
103 return_id
, param
, return_ranges
,
104 param_name
, filter
, global_static());
107 static void print_one_extra_param(int return_id
, char *return_ranges
,
108 int param
, struct sm_state
*sm
, struct state_list
*slist
)
110 struct smatch_state
*old
;
111 const char *param_name
;
113 old
= get_state_slist(start_states
, SMATCH_EXTRA
, sm
->name
, sm
->sym
);
114 if (old
&& estates_equiv(old
, sm
->state
))
117 param_name
= get_param_name(sm
);
121 sm_msg("info: return_param_filter %d %d '%s' '%s' '%s' %s",
122 return_id
, param
, return_ranges
,
123 param_name
, show_ranges(estate_ranges(sm
->state
)), global_static());
126 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
, struct state_list
*slist
)
128 struct state_list
*extra_slist
;
129 struct sm_state
*tmp
;
133 extra_slist
= get_all_states_slist(SMATCH_EXTRA
, slist
);
135 FOR_EACH_PTR(extra_slist
, tmp
) {
136 param
= get_param_num_from_sym(tmp
->sym
);
140 * skip the parameter itself because that's handled by
141 * smatch_param_limit.c.
143 if (tmp
->sym
->ident
&& strcmp(tmp
->sym
->ident
->name
, tmp
->name
) == 0)
146 sm
= get_sm_state_slist(slist
, my_id
, tmp
->name
, tmp
->sym
);
148 print_one_mod_param(return_id
, return_ranges
, param
, sm
, slist
);
150 print_one_extra_param(return_id
, return_ranges
, param
, tmp
, slist
);
151 } END_FOR_EACH_PTR(tmp
);
153 free_slist(&extra_slist
);
156 void register_param_filter(int id
)
163 add_hook(&save_start_states
, AFTER_DEF_HOOK
);
164 add_extra_mod_hook(&extra_mod_hook
);
165 add_unmatched_state_hook(my_id
, &unmatched_state
);
166 add_returned_state_callback(&print_return_value_param
);
167 add_hook(&match_end_func
, END_FUNC_HOOK
);