| commit | a9abd907d1c9861539535f25c0d5df454c7b4a01 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 16 May 2013 09:54:00 +0000 (16 12:54 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 16 May 2013 09:54:00 +0000 (16 12:54 +0300) | ||
| tree | 4fc760cd21b2a715c537f147588950dd5f7d55e0 | treesnapshot (tar.gz zip) |
| parent | 2150401a41b84c8a2295d796952350da43e5d36d | commitdiff |
db: introduce call_results_to_rl()
I would like to store relationships in the database instead of just
numbers. For example the return value from copy_from_user() is between
zero and the size parameter. I want to store this in the database:
OLD: 0-u64max
NEW: 0-<2>
The "<2>" here means parameter 2.
This patch doesn't change what is loaded in the database, so it doesn't
change how Smatch works. It just changes how the database info would be
parsed if "0-<2>" were stored there.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I would like to store relationships in the database instead of just
numbers. For example the return value from copy_from_user() is between
zero and the size parameter. I want to store this in the database:
OLD: 0-u64max
NEW: 0-<2>
The "<2>" here means parameter 2.
This patch doesn't change what is loaded in the database, so it doesn't
change how Smatch works. It just changes how the database info would be
parsed if "0-<2>" were stored there.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory | |
| smatch_ranges.c | diffblobblamehistory |