| commit | ed7f50df8499317e8cc9da433a9728a1a5f128ab | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 May 2015 13:46:18 +0000 (15 16:46 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 May 2015 13:46:18 +0000 (15 16:46 +0300) | ||
| tree | 292c31e087237174c9494dcc3f121c1191433b9a | treesnapshot (tar.gz zip) |
| parent | 1efa5fbe8e6617081a7e48be71a7fa7f077d6c05 | commitdiff |
smatch_address: separate things out into .bss and .data sections etc
Make addresses more precise. Say we have "x = &foo->bar", if "bar" isn't
the first struct member then x can't be NULL. We record the struct member
offset.
Also if we have foo = kmalloc() that means it comes from the heap. Let's
record that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Make addresses more precise. Say we have "x = &foo->bar", if "bar" isn't
the first struct member then x can't be NULL. We record the struct member
offset.
Also if we have foo = kmalloc() that means it comes from the heap. Let's
record that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_address.c | diffblobblamehistory | |
| smatch_data/db/fixup_kernel.sh | diffblobblamehistory |