From 31fae89b370ffb85a4251ff7ecf5d3e7fd843b8a Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 17 Jun 2013 12:32:40 +0300 Subject: [PATCH] db, fixup_kernel.sh: ignore (struct irq_router)->set() We already ignore the ->get() function and we should ignore the ->set function as well. It leads to false positives. Signed-off-by: Dan Carpenter --- smatch_data/db/fixup_kernel.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/smatch_data/db/fixup_kernel.sh b/smatch_data/db/fixup_kernel.sh index 1a30fe58..08246472 100755 --- a/smatch_data/db/fixup_kernel.sh +++ b/smatch_data/db/fixup_kernel.sh @@ -10,6 +10,7 @@ delete from caller_info where function = '(struct file_operations)->write' and f delete from caller_info where function = '(struct notifier_block)->notifier_call' and type != 0; delete from caller_info where function = '(struct mISDNchannel)->send' and type != 0; delete from caller_info where function = '(struct irq_router)->get' and type != 0; +delete from caller_info where function = '(struct irq_router)->set' and type != 0; /* type 3 is USER_DATA */ delete from caller_info where caller = 'hid_input_report' and type = 3; @@ -37,6 +38,7 @@ insert into return_states values ('faked', 'rw_verify_area', 0, 1, '0-1000000[<= insert into return_states values ('faked', 'rw_verify_area', 0, 1, '0-1000000[<=p3]', 0, 11, 3, '\$\$', '0-1000000'); insert into return_states values ('faked', 'rw_verify_area', 0, 2, '(-4095)-(-1)', 0, 0, -1, '', ''); + /* store a bunch of capped functions */ update return_states set return = '0-u32max[<=p2]' where function = 'copy_to_user'; update return_states set return = '0-u32max[<=p2]' where function = '_copy_to_user'; -- 2.11.4.GIT