2 * Copyright (C) 2016 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 * What we're doing here is saving all the possible values for static variables.
20 * Later on we might do globals as well.
25 #include "smatch_slist.h"
26 #include "smatch_extra.h"
29 static struct stree
*vals
;
31 static int save_rl(void *_rl
, int argc
, char **argv
, char **azColName
)
33 unsigned long *rl
= _rl
;
35 *rl
= strtoul(argv
[0], NULL
, 10);
39 static struct range_list
*select_orig(mtag_t tag
, int offset
)
41 struct range_list
*rl
= NULL
;
43 mem_sql(&save_rl
, &rl
, "select value from mtag_data where tag = %lld and offset = %d;",
48 static int is_kernel_param(const char *name
)
54 * I'm ignoring these because otherwise Smatch thinks that kernel
55 * parameters are always set to the default.
59 if (option_project
!= PROJ_KERNEL
)
62 snprintf(buf
, sizeof(buf
), "__param_%s.arg", name
);
64 FOR_EACH_SM(vals
, tmp
) {
65 if (strcmp(tmp
->name
, buf
) == 0)
67 } END_FOR_EACH_SM(tmp
);
72 static bool is_ignored_macro(struct expression
*expr
)
76 macro
= get_macro_name(expr
->pos
);
79 if (strcmp(macro
, "EXPORT_SYMBOL") == 0)
84 static void insert_mtag_data(mtag_t tag
, int offset
, struct range_list
*rl
)
86 rl
= clone_rl_permanent(rl
);
88 mem_sql(NULL
, NULL
, "delete from mtag_data where tag = %lld and offset = %d and type = %d",
89 tag
, offset
, DATA_VALUE
);
90 mem_sql(NULL
, NULL
, "insert into mtag_data values (%lld, %d, %d, '%lu');",
91 tag
, offset
, DATA_VALUE
, (unsigned long)rl
);
94 static bool invalid_type(struct symbol
*type
)
98 if (type
== &void_ctype
)
100 if (type
->type
== SYM_STRUCT
||
101 type
->type
== SYM_ARRAY
||
102 type
->type
== SYM_UNION
)
107 void update_mtag_data(struct expression
*expr
, struct smatch_state
*state
)
109 struct range_list
*orig
, *new;
117 if (is_local_variable(expr
))
119 if (is_ignored_macro(expr
))
121 name
= expr_to_var(expr
);
122 if (is_kernel_param(name
)) {
128 if (!expr_to_mtag_offset(expr
, &tag
, &offset
))
131 type
= get_type(expr
);
132 if (offset
== 0 && invalid_type(type
))
135 orig
= select_orig(tag
, offset
);
136 new = rl_union(orig
, estate_rl(state
));
137 insert_mtag_data(tag
, offset
, new);
140 static void match_global_assign(struct expression
*expr
)
142 struct range_list
*rl
;
147 if (is_ignored_macro(expr
))
149 name
= expr_to_var(expr
->left
);
150 if (is_kernel_param(name
)) {
156 if (!expr_to_mtag_offset(expr
->left
, &tag
, &offset
))
159 get_absolute_rl(expr
->right
, &rl
);
160 insert_mtag_data(tag
, offset
, rl
);
163 static int save_mtag_data(void *_unused
, int argc
, char **argv
, char **azColName
)
165 struct range_list
*rl
;
168 sm_msg("Error saving mtag data");
174 rl
= (struct range_list
*)strtoul(argv
[3], NULL
, 10);
175 sm_msg("SQL: insert into mtag_data values ('%s', '%s', '%s', '%s');",
176 argv
[0], argv
[1], argv
[2], show_rl(rl
));
181 static void match_end_file(struct symbol_list
*sym_list
)
183 mem_sql(&save_mtag_data
, NULL
, "select * from mtag_data where type = %d;",
189 struct range_list
*rl
;
192 static int get_vals(void *_db_info
, int argc
, char **argv
, char **azColName
)
194 struct db_info
*db_info
= _db_info
;
195 struct range_list
*tmp
;
197 str_to_rl(db_info
->type
, argv
[0], &tmp
);
199 db_info
->rl
= rl_union(db_info
->rl
, tmp
);
206 struct db_cache_results
{
208 struct range_list
*rl
;
210 static struct db_cache_results cached_results
[8];
212 static int get_rl_from_mtag_offset(mtag_t tag
, int offset
, struct symbol
*type
, struct range_list
**rl
)
214 struct db_info db_info
= {};
215 mtag_t merged
= tag
| offset
;
220 for (i
= 0; i
< ARRAY_SIZE(cached_results
); i
++) {
221 if (merged
== cached_results
[i
].tag
) {
222 if (cached_results
[i
].rl
) {
223 *rl
= cached_results
[i
].rl
;
232 run_sql(get_vals
, &db_info
,
233 "select value from mtag_data where tag = %lld and offset = %d and type = %d;",
234 tag
, offset
, DATA_VALUE
);
235 if (!db_info
.rl
|| is_whole_rl(db_info
.rl
)) {
245 cached_results
[idx
].tag
= merged
;
246 cached_results
[idx
].rl
= db_info
.rl
;
247 idx
= (idx
+ 1) % ARRAY_SIZE(cached_results
);
252 static void clear_cache(struct symbol
*sym
)
254 memset(cached_results
, 0, sizeof(cached_results
));
257 int get_mtag_rl(struct expression
*expr
, struct range_list
**rl
)
263 if (is_local_variable(expr
))
265 if (!expr_to_mtag_offset(expr
, &tag
, &offset
))
267 if (offset
>= MTAG_OFFSET_MASK
)
270 type
= get_type(expr
);
271 if (invalid_type(type
))
274 return get_rl_from_mtag_offset(tag
, offset
, type
, rl
);
277 void register_mtag_data(int id
)
281 add_hook(&clear_cache
, FUNC_DEF_HOOK
);
285 add_hook(&match_global_assign
, GLOBAL_ASSIGNMENT_HOOK
);
286 add_hook(&match_end_file
, END_FILE_HOOK
);