| commit | 22060727ec2d3029cd2cc34f1ea819f30bf2ccea | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 8 Dec 2011 07:22:06 +0000 (8 10:22 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 8 Dec 2011 07:22:06 +0000 (8 10:22 +0300) | ||
| tree | 02afa907e694ac1293e7a426dd557122ff9d52b5 | treesnapshot (tar.gz zip) |
| parent | bb7951ebe8d9430cec09f26caa185940b70e577e | commitdiff |
capped: track capped variables across function boundaries
This fixes some false positives. Imagine the user gives us a struct foo
and we verify that foo.bar is small enough. We need to track that it was
capped across function calls, otherwise inside the other functions we'll
just know that foo came from the user and not that it was capped.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This fixes some false positives. Imagine the user gives us a struct foo
and we verify that foo.bar is small enough. We need to track that it was
capped across function calls, otherwise inside the other functions we'll
just know that foo came from the user and not that it was capped.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_capped.c | diffblobblamehistory | |
| smatch_scripts/db/fill_db_caller_info.pl | diffblobblamehistory |