| commit | b67adf444d50dc105abef3617256639fd116701d | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 19 May 2023 10:05:54 +0000 (19 13:05 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 19 May 2023 10:05:54 +0000 (19 13:05 +0300) | ||
| tree | 3323750fd50121c8fefec43024b265fa15d1685a | treesnapshot (tar.gz zip) |
| parent | 82e45b8df8d7a34aab40689685e40e96a5ea848c | commitdiff |
dereference: hard code nla_data() as dereferencing the parameter
The nla_data() does not actually dereference the parameter but it does
dangerous pointer math and something is going to dereference the result
so count it as a dereference.
This finds the bug it was designed to find (and a couple more instances in
the same file) without introducing any false positives in my .config.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
The nla_data() does not actually dereference the parameter but it does
dangerous pointer math and something is going to dereference the result
so count it as a dereference.
This finds the bug it was designed to find (and a couple more instances in
the same file) without introducing any false positives in my .config.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| smatch_dereference.c | diffblobblamehistory |