2 * Copyright (C) 2018 Oracle. All rights reserved.
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 #include "smatch_extra.h"
20 #include "smatch_slist.h"
27 struct range_list
*rl
;
30 static int get_vals(void *_db_info
, int argc
, char **argv
, char **azColName
)
32 struct db_info
*db_info
= _db_info
;
33 struct range_list
*rl
;
35 str_to_rl(db_info
->type
, argv
[0], &rl
);
36 db_info
->rl
= rl_union(db_info
->rl
, rl
);
41 static int is_file_local(struct expression
*array
)
43 struct symbol
*sym
= NULL
;
46 name
= expr_to_str_sym(array
, &sym
);
51 if ((sym
->ctype
.modifiers
& MOD_TOPLEVEL
) &&
52 (sym
->ctype
.modifiers
& MOD_STATIC
))
57 static char *get_toplevel_name(struct expression
*array
)
63 array
= get_array_base(array
);
65 if (!array
|| array
->type
!= EXPR_SYMBOL
)
67 if (!is_file_local(array
))
70 name
= expr_to_str(array
);
71 snprintf(buf
, sizeof(buf
), "%s[]", name
);
74 return alloc_sname(buf
);
77 static char *get_member_array(struct expression
*array
)
82 name
= get_member_name(array
);
85 snprintf(buf
, sizeof(buf
), "%s[]", name
);
86 return alloc_sname(buf
);
89 static char *get_array_name(struct expression
*array
)
94 type
= get_type(array
);
95 if (!type
|| type
->type
!= SYM_ARRAY
)
98 name
= get_toplevel_name(array
);
101 name
= get_member_array(array
);
110 struct range_list
*rl
;
113 static bool get_cached_select(const char *name
, struct range_list
**rl
)
117 for (i
= 0; i
< ARRAY_SIZE(cached_results
); i
++) {
118 if (!cached_results
[i
].name
)
120 if (strcmp(name
, cached_results
[i
].name
) == 0) {
121 *rl
= cached_results
[i
].rl
;
128 static void store_result(const char *name
, struct range_list
*rl
)
132 idx
= (idx
+ 1) % ARRAY_SIZE(cached_results
);
134 cached_results
[idx
].name
= name
;
135 cached_results
[idx
].rl
= rl
;
138 void clear_array_values_cache(void)
140 memset(cached_results
, 0, sizeof(cached_results
));
143 int get_array_rl(struct expression
*expr
, struct range_list
**rl
)
145 struct expression
*array
;
147 struct db_info db_info
= {};
150 type
= get_type(expr
);
151 if (!type
|| type
->type
!= SYM_BASETYPE
)
155 array
= get_array_base(expr
);
156 name
= get_array_name(array
);
160 if (get_cached_select(name
, rl
))
163 if (is_file_local(array
)) {
164 run_sql(&get_vals
, &db_info
,
165 "select value from sink_info where file = '%s' and static = 1 and sink_name = '%s' and type = %d;",
166 get_filename(), name
, DATA_VALUE
);
168 run_sql(&get_vals
, &db_info
,
169 "select value from sink_info where sink_name = '%s' and type = %d limit 10;",
172 if (db_info
.count
>= 10)
174 store_result(name
, db_info
.rl
);
182 static struct range_list
*get_saved_rl(struct symbol
*type
, char *name
)
184 struct db_info db_info
= {.type
= type
};
186 cache_sql(&get_vals
, &db_info
, "select value from sink_info where sink_name = '%s' and type = %d;",
191 static void update_cache(char *name
, int is_static
, struct range_list
*rl
)
193 cache_sql(NULL
, NULL
, "delete from sink_info where sink_name = '%s' and type = %d;",
195 cache_sql(NULL
, NULL
, "insert into sink_info values ('%s', %d, '%s', %d, '', '%s');",
196 get_filename(), is_static
, name
, DATA_VALUE
, show_rl(rl
));
199 static void match_assign(struct expression
*expr
)
201 struct expression
*left
, *array
;
202 struct range_list
*orig_rl
, *rl
;
206 type
= get_type(expr
->left
);
207 if (!type
|| type
->type
!= SYM_BASETYPE
)
210 left
= strip_expr(expr
->left
);
213 array
= get_array_base(left
);
214 name
= get_array_name(array
);
218 if (expr
->op
!= '=') {
219 rl
= alloc_whole_rl(get_type(expr
->right
));
220 rl
= cast_rl(type
, rl
);
222 get_absolute_rl(expr
->right
, &rl
);
223 rl
= cast_rl(type
, rl
);
224 orig_rl
= get_saved_rl(type
, name
);
225 rl
= rl_union(orig_rl
, rl
);
228 update_cache(name
, is_file_local(array
), rl
);
231 static void mark_strings_unknown(const char *fn
, struct expression
*expr
, void *_arg
)
233 struct expression
*dest
;
235 int arg
= PTR_INT(_arg
);
238 dest
= get_argument_from_call_expr(expr
->args
, arg
);
241 name
= get_array_name(dest
);
244 type
= get_type(dest
);
245 if (type_is_ptr(type
))
246 type
= get_real_base_type(type
);
247 update_cache(name
, is_file_local(dest
), alloc_whole_rl(type
));
250 void register_array_values(int id
)
254 add_hook(&match_assign
, ASSIGNMENT_HOOK
);
255 add_hook(&match_assign
, GLOBAL_ASSIGNMENT_HOOK
);
257 add_function_hook("sprintf", &mark_strings_unknown
, INT_PTR(0));
258 add_function_hook("snprintf", &mark_strings_unknown
, INT_PTR(0));
260 add_function_hook("strcpy", &mark_strings_unknown
, INT_PTR(0));
261 add_function_hook("strncpy", &mark_strings_unknown
, INT_PTR(0));
262 add_function_hook("strlcpy", &mark_strings_unknown
, INT_PTR(0));
263 add_function_hook("strscpy", &mark_strings_unknown
, INT_PTR(0));