2 * Copyright (C) 2010 Dan Carpenter.
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 kernel specific stuff for smatch_extra.
24 #include "smatch_extra.h"
26 static sval_t err_ptr_min
= {
30 static sval_t err_ptr_max
= {
34 static sval_t null_ptr
= {
39 static int implied_err_cast_return(struct expression
*call
, void *unused
, struct range_list
**rl
)
41 struct expression
*arg
;
43 arg
= get_argument_from_call_expr(call
->args
, 0);
44 if (!get_implied_rl(arg
, rl
)) {
45 *rl
= alloc_rl(err_ptr_min
, err_ptr_max
);
46 *rl
= cast_rl(get_type(arg
), *rl
);
51 static void hack_ERR_PTR(struct symbol
*sym
)
54 struct smatch_state
*estate
;
55 struct range_list
*after
;
69 if (!sym
|| !sym
->ident
)
71 if (strcmp(sym
->ident
->name
, "ERR_PTR") != 0)
74 arg
= first_ptr_list((struct ptr_list
*)sym
->ctype
.base_type
->arguments
);
75 if (!arg
|| !arg
->ident
)
78 estate
= get_state(SMATCH_EXTRA
, arg
->ident
->name
, arg
);
80 after
= alloc_rl(low_error
, minus_one
);
82 after
= rl_intersection(estate_rl(estate
), alloc_rl(low_error
, zero
));
83 if (rl_equiv(estate_rl(estate
), after
))
86 set_state(SMATCH_EXTRA
, arg
->ident
->name
, arg
, alloc_estate_rl(after
));
89 static void match_param_valid_ptr(const char *fn
, struct expression
*call_expr
,
90 struct expression
*assign_expr
, void *_param
)
92 int param
= PTR_INT(_param
);
93 struct expression
*arg
;
94 struct smatch_state
*pre_state
;
95 struct smatch_state
*end_state
;
96 struct range_list
*rl
;
98 arg
= get_argument_from_call_expr(call_expr
->args
, param
);
99 pre_state
= get_state_expr(SMATCH_EXTRA
, arg
);
100 if (estate_rl(pre_state
)) {
101 rl
= estate_rl(pre_state
);
102 rl
= remove_range(rl
, null_ptr
, null_ptr
);
103 rl
= remove_range(rl
, err_ptr_min
, err_ptr_max
);
105 rl
= alloc_rl(valid_ptr_min_sval
, valid_ptr_max_sval
);
107 end_state
= alloc_estate_rl(rl
);
108 set_extra_expr_nomod(arg
, end_state
);
111 static void match_param_err_or_null(const char *fn
, struct expression
*call_expr
,
112 struct expression
*assign_expr
, void *_param
)
114 int param
= PTR_INT(_param
);
115 struct expression
*arg
;
116 struct range_list
*rl
;
117 struct smatch_state
*pre_state
;
118 struct smatch_state
*end_state
;
120 arg
= get_argument_from_call_expr(call_expr
->args
, param
);
121 pre_state
= get_state_expr(SMATCH_EXTRA
, arg
);
122 call_results_to_rl(call_expr
, &ptr_ctype
, "0,(-4095)-(-1)", &rl
);
123 rl
= rl_intersection(estate_rl(pre_state
), rl
);
124 rl
= cast_rl(get_type(arg
), rl
);
125 end_state
= alloc_estate_rl(rl
);
126 set_extra_expr_nomod(arg
, end_state
);
129 static void match_not_err(const char *fn
, struct expression
*call_expr
,
130 struct expression
*assign_expr
, void *unused
)
132 struct expression
*arg
;
133 struct smatch_state
*pre_state
;
134 struct range_list
*rl
;
136 arg
= get_argument_from_call_expr(call_expr
->args
, 0);
137 pre_state
= get_state_expr(SMATCH_EXTRA
, arg
);
138 if (estate_rl(pre_state
)) {
139 rl
= estate_rl(pre_state
);
140 rl
= remove_range(rl
, err_ptr_min
, err_ptr_max
);
142 rl
= alloc_rl(valid_ptr_min_sval
, valid_ptr_max_sval
);
144 rl
= cast_rl(get_type(arg
), rl
);
145 set_extra_expr_nomod(arg
, alloc_estate_rl(rl
));
148 static void match_err(const char *fn
, struct expression
*call_expr
,
149 struct expression
*assign_expr
, void *unused
)
151 struct expression
*arg
;
152 struct smatch_state
*pre_state
;
153 struct range_list
*rl
;
155 arg
= get_argument_from_call_expr(call_expr
->args
, 0);
156 pre_state
= get_state_expr(SMATCH_EXTRA
, arg
);
157 rl
= estate_rl(pre_state
);
159 rl
= alloc_rl(err_ptr_min
, err_ptr_max
);
160 rl
= rl_intersection(rl
, alloc_rl(err_ptr_min
, err_ptr_max
));
161 rl
= cast_rl(get_type(arg
), rl
);
162 set_extra_expr_nomod(arg
, alloc_estate_rl(rl
));
165 static void match_container_of_macro(const char *fn
, struct expression
*expr
, void *unused
)
167 set_extra_expr_mod(expr
->left
, alloc_estate_range(valid_ptr_min_sval
, valid_ptr_max_sval
));
170 static void match_container_of(struct expression
*expr
)
172 struct expression
*right
= expr
->right
;
176 * The problem here is that sometimes the container_of() macro is itself
177 * inside a macro and get_macro() only returns the name of the outside
182 * This actually an expression statement assignment but smatch_flow
183 * pre-mangles it for us so we only get the last chunk:
184 * sk = (typeof(sk))((char *)__mptr - offsetof(...))
187 macro
= get_macro_name(right
->pos
);
190 if (right
->type
!= EXPR_CAST
)
192 right
= strip_expr(right
);
193 if (right
->type
!= EXPR_BINOP
|| right
->op
!= '-' ||
194 right
->left
->type
!= EXPR_CAST
)
196 right
= strip_expr(right
->left
);
197 if (right
->type
!= EXPR_SYMBOL
)
199 if (!right
->symbol
->ident
||
200 strcmp(right
->symbol
->ident
->name
, "__mptr") != 0)
202 set_extra_expr_mod(expr
->left
, alloc_estate_range(valid_ptr_min_sval
, valid_ptr_max_sval
));
205 static int match_next_bit(struct expression
*call
, void *unused
, struct range_list
**rl
)
207 struct expression
*start_arg
;
208 struct expression
*size_arg
;
210 sval_t min
, max
, tmp
;
212 size_arg
= get_argument_from_call_expr(call
->args
, 1);
213 /* btw. there isn't a start_arg for find_first_bit() */
214 start_arg
= get_argument_from_call_expr(call
->args
, 2);
216 type
= get_type(call
);
217 min
= sval_type_val(type
, 0);
218 max
= sval_type_val(type
, sizeof(long long) * 8);
220 if (get_implied_max(size_arg
, &tmp
) && tmp
.uvalue
< max
.value
)
222 if (start_arg
&& get_implied_min(start_arg
, &tmp
) && !sval_is_negative(tmp
))
224 if (sval_cmp(min
, max
) > 0)
226 min
= sval_cast(type
, min
);
227 max
= sval_cast(type
, max
);
228 *rl
= alloc_rl(min
, max
);
232 static int match_fls(struct expression
*call
, void *unused
, struct range_list
**rl
)
234 struct expression
*arg
;
235 struct range_list
*arg_rl
;
247 arg
= get_argument_from_call_expr(call
->args
, 0);
248 if (!get_implied_rl(arg
, &arg_rl
))
250 if (rl_to_sval(arg_rl
, &sval
)) {
253 for (i
= 63; i
>= 0; i
--) {
254 if (sval
.uvalue
& 1ULL << i
)
258 *rl
= alloc_rl(sval
, sval
);
261 zero
.type
= rl_type(arg_rl
);
262 if (!rl_has_sval(arg_rl
, zero
))
264 *rl
= alloc_rl(start
, end
);
270 static void find_module_init_exit(struct symbol_list
*sym_list
)
274 struct statement
*stmt
;
280 * This is more complicated because Sparse ignores the "alias"
281 * attribute. I search backwards because module_init() is normally at
282 * the end of the file.
285 FOR_EACH_PTR_REVERSE(sym_list
, sym
) {
286 if (sym
->type
!= SYM_NODE
)
288 if (!(sym
->ctype
.modifiers
& MOD_STATIC
))
290 fn
= get_base_type(sym
);
293 if (fn
->type
!= SYM_FN
)
297 if (!fn
->inline_stmt
)
299 if (strcmp(sym
->ident
->name
, "__inittest") == 0)
301 else if (strcmp(sym
->ident
->name
, "__exittest") == 0)
308 stmt
= first_ptr_list((struct ptr_list
*)fn
->inline_stmt
->stmts
);
309 if (!stmt
|| stmt
->type
!= STMT_RETURN
)
311 name
= expr_to_var(stmt
->ret_value
);
315 sql_insert_function_ptr(name
, "(struct module)->init");
317 sql_insert_function_ptr(name
, "(struct module)->exit");
321 } END_FOR_EACH_PTR_REVERSE(sym
);
324 static void match_end_file(struct symbol_list
*sym_list
)
328 /* find the last static symbol in the file */
329 FOR_EACH_PTR_REVERSE(sym_list
, sym
) {
330 if (!(sym
->ctype
.modifiers
& MOD_STATIC
))
334 find_module_init_exit(sym
->scope
->symbols
);
336 } END_FOR_EACH_PTR_REVERSE(sym
);
339 static struct expression
*get_val_expr(struct expression
*expr
)
341 struct symbol
*sym
, *val
;
343 if (expr
->type
!= EXPR_DEREF
)
346 if (expr
->type
!= EXPR_SYMBOL
)
348 if (strcmp(expr
->symbol_name
->name
, "__u") != 0)
350 sym
= get_base_type(expr
->symbol
);
351 val
= first_ptr_list((struct ptr_list
*)sym
->symbol_list
);
352 if (!val
|| strcmp(val
->ident
->name
, "__val") != 0)
354 return member_expression(expr
, '.', val
->ident
);
357 static void match__write_once_size(const char *fn
, struct expression
*call
,
360 struct expression
*dest
, *data
, *assign
;
361 struct range_list
*rl
;
363 dest
= get_argument_from_call_expr(call
->args
, 0);
364 if (dest
->type
!= EXPR_PREOP
|| dest
->op
!= '&')
366 dest
= strip_expr(dest
->unop
);
368 data
= get_argument_from_call_expr(call
->args
, 1);
369 data
= get_val_expr(data
);
372 get_absolute_rl(data
, &rl
);
373 assign
= assign_expression(dest
, '=', data
);
376 __split_expr(assign
);
380 static void match__read_once_size(const char *fn
, struct expression
*call
,
383 struct expression
*dest
, *data
, *assign
;
384 struct symbol
*type
, *val_sym
;
388 * __read_once_size_nocheck(&(x), __u.__c, sizeof(x));
389 * into a fake assignment:
394 data
= get_argument_from_call_expr(call
->args
, 0);
395 if (data
->type
!= EXPR_PREOP
|| data
->op
!= '&')
397 data
= strip_parens(data
->unop
);
399 dest
= get_argument_from_call_expr(call
->args
, 1);
400 if (dest
->type
!= EXPR_DEREF
|| dest
->op
!= '.')
402 if (!dest
->member
|| strcmp(dest
->member
->name
, "__c") != 0)
405 type
= get_type(dest
);
408 val_sym
= first_ptr_list((struct ptr_list
*)type
->symbol_list
);
409 dest
= member_expression(dest
, '.', val_sym
->ident
);
411 assign
= assign_expression(dest
, '=', data
);
413 __split_expr(assign
);
417 bool is_ignored_kernel_data(const char *name
)
419 if (option_project
!= PROJ_KERNEL
)
423 * On the file I was looking at lockdep was 25% of the DB.
425 if (strstr(name
, ".dep_map."))
427 if (strstr(name
, ".lockdep_map."))
432 void check_kernel(int id
)
434 if (option_project
!= PROJ_KERNEL
)
437 add_implied_return_hook("ERR_PTR", &implied_err_cast_return
, NULL
);
438 add_implied_return_hook("ERR_CAST", &implied_err_cast_return
, NULL
);
439 add_implied_return_hook("PTR_ERR", &implied_err_cast_return
, NULL
);
440 add_hook(hack_ERR_PTR
, AFTER_DEF_HOOK
);
441 return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_param_valid_ptr
, (void *)0);
442 return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_param_err_or_null
, (void *)0);
443 return_implies_state("IS_ERR", 0, 0, &match_not_err
, NULL
);
444 return_implies_state("IS_ERR", 1, 1, &match_err
, NULL
);
445 return_implies_state("tomoyo_memory_ok", 1, 1, &match_param_valid_ptr
, (void *)0);
447 add_macro_assign_hook_extra("container_of", &match_container_of_macro
, NULL
);
448 add_hook(match_container_of
, ASSIGNMENT_HOOK
);
450 add_implied_return_hook("find_next_bit", &match_next_bit
, NULL
);
451 add_implied_return_hook("find_next_zero_bit", &match_next_bit
, NULL
);
452 add_implied_return_hook("find_first_bit", &match_next_bit
, NULL
);
453 add_implied_return_hook("find_first_zero_bit", &match_next_bit
, NULL
);
455 add_implied_return_hook("fls", &match_fls
, NULL
);
456 add_implied_return_hook("fls64", &match_fls
, NULL
);
458 add_function_hook("__ftrace_bad_type", &__match_nullify_path_hook
, NULL
);
459 add_function_hook("__write_once_size", &match__write_once_size
, NULL
);
461 add_function_hook("__read_once_size", &match__read_once_size
, NULL
);
462 add_function_hook("__read_once_size_nocheck", &match__read_once_size
, NULL
);
465 add_hook(match_end_file
, END_FILE_HOOK
);