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
[] = {
50 "pci_alloc_consistent",
60 "alloc_pages_current",
62 "dma_alloc_contiguous",
67 static void match_allocation(const char *fn
, struct expression
*expr
,
71 struct symbol
*left_sym
;
73 left_name
= expr_to_var_sym(expr
->left
, &left_sym
);
74 if (!left_name
|| !left_sym
)
76 if (left_sym
->ctype
.modifiers
&
77 (MOD_NONLOCAL
| MOD_STATIC
| MOD_ADDRESSABLE
))
79 add_tracker(&allocated
, my_id
, left_name
, left_sym
);
81 free_string(left_name
);
84 static int returns_new_stuff
= 0;
85 static int returns_old_stuff
= 0;
86 static void match_return(struct expression
*ret_value
)
94 if (get_value(ret_value
, &tmp
) && tmp
.value
== 0)
96 returns_new_stuff
= 1;
97 name
= expr_to_var_sym(ret_value
, &sym
);
99 returns_old_stuff
= 1;
102 if (!in_tracker_list(allocated
, my_id
, name
, sym
))
103 returns_old_stuff
= 1;
108 static void match_end_func(struct symbol
*sym
)
112 if (returns_new_stuff
&& !returns_old_stuff
)
113 sm_info("allocation func");
114 free_trackers_and_list(&allocated
);
115 returns_new_stuff
= 0;
116 returns_old_stuff
= 0;
119 void check_allocation_funcs(int id
)
123 if (!option_info
|| option_project
!= PROJ_KERNEL
)
127 add_hook(&match_return
, RETURN_HOOK
);
128 add_hook(&match_end_func
, AFTER_FUNC_HOOK
);
129 for (i
= 0; allocation_funcs
[i
]; i
++) {
130 add_function_assign_hook(allocation_funcs
[i
],
131 &match_allocation
, NULL
);