| commit | 06a90175b3e8f9fdc6655de16eb0c15e9a052f2a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 24 Apr 2015 09:38:05 +0000 (24 12:38 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 24 Apr 2015 09:38:05 +0000 (24 12:38 +0300) | ||
| tree | 731e4bf29c2679ee67dea17c4cb803d2d52dac92 | treesnapshot (tar.gz zip) |
| parent | afadc99370149f58da88c3bbe20db1d35f898849 | commitdiff |
smatch_address: sort pointers into different ranges
This patch doesn't change behavior, it just creates a new file.
Eventually, we want to sort pointers into .text, .bss, .data, stack and
kmalloc and vmalloc(). That way if we allocate a pointer with vmalloc()
then we can't free it with kfree().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This patch doesn't change behavior, it just creates a new file.
Eventually, we want to sort pointers into .text, .bss, .data, stack and
kmalloc and vmalloc(). That way if we allocate a pointer with vmalloc()
then we can't free it with kfree().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_address.c | [new file with mode: 0644] | blob |
| smatch_extra.c | diffblobblamehistory |