2 * Copyright (C) 2009 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
22 #include "smatch_slist.h"
27 * Print a list of functions that return newly allocated memory.
30 static struct tracker_list
*allocated
;
32 static const char *allocation_funcs
[] = {
58 "alloc_pages_current",
60 "dma_alloc_contiguous",
65 static void match_allocation(const char *fn
, struct expression
*expr
,
69 struct symbol
*left_sym
;
71 left_name
= expr_to_var_sym(expr
->left
, &left_sym
);
72 if (!left_name
|| !left_sym
)
74 if (left_sym
->ctype
.modifiers
&
75 (MOD_NONLOCAL
| MOD_STATIC
| MOD_ADDRESSABLE
))
77 add_tracker(&allocated
, my_id
, left_name
, left_sym
);
79 free_string(left_name
);
82 static int returns_new_stuff
= 0;
83 static int returns_old_stuff
= 0;
84 static void match_return(struct expression
*ret_value
)
92 if (get_value(ret_value
, &tmp
) && tmp
.value
== 0)
94 returns_new_stuff
= 1;
95 name
= expr_to_var_sym(ret_value
, &sym
);
97 returns_old_stuff
= 1;
100 if (!in_tracker_list(allocated
, my_id
, name
, sym
))
101 returns_old_stuff
= 1;
106 static void match_end_func(struct symbol
*sym
)
110 if (returns_new_stuff
&& !returns_old_stuff
)
111 sm_info("allocation func");
112 free_trackers_and_list(&allocated
);
113 returns_new_stuff
= 0;
114 returns_old_stuff
= 0;
117 void check_allocation_funcs(int id
)
121 if (!option_info
|| option_project
!= PROJ_KERNEL
)
125 add_hook(&match_return
, RETURN_HOOK
);
126 add_hook(&match_end_func
, AFTER_FUNC_HOOK
);
127 for (i
= 0; allocation_funcs
[i
]; i
++) {
128 add_function_assign_hook(allocation_funcs
[i
],
129 &match_allocation
, NULL
);