From d57b83b23e2f52ced8c924aa7bc849f3be39b898 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 26 Apr 2012 15:51:30 +0300 Subject: [PATCH] overflow: check memcpy() to see if we're comparing past the end This doesn't generate a lot of output. The most common false positive is when the code does a memcpy() across struct members which are next to each other. Signed-off-by: Dan Carpenter --- check_overflow.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/check_overflow.c b/check_overflow.c index a69a4081..a6043b0c 100644 --- a/check_overflow.c +++ b/check_overflow.c @@ -310,6 +310,8 @@ void check_overflow(int id) add_function_hook("strcpy", &match_strcpy, NULL); add_function_hook("snprintf", &match_snprintf, NULL); add_function_hook("sprintf", &match_sprintf, NULL); + add_function_hook("memcmp", &match_limited, &b0_l2); + add_function_hook("memcmp", &match_limited, &b1_l2); if (option_project == PROJ_KERNEL) { add_function_hook("copy_to_user", &match_limited, &b0_l2); add_function_hook("copy_to_user", &match_limited, &b1_l2); -- 2.11.4.GIT