absolute: track the absolute limits that variables can be
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 12 Oct 2012 07:55:55 +0000 (10:55 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 12 Oct 2012 07:55:55 +0000 (10:55 +0300)
commit4c8dacd2d919092fcbeab4fde6b72218a0ac5f98
tree3096b6c70cc79e28dddddfe134f81e83b277d2c4
parent71f1e57d8bb5690b7fbda1aa14ff4baa2c719350
absolute: track the absolute limits that variables can be

If you have an assignment like this "int x = (unsigned char)y;" then you
know that x is a number between 0-255.  This is to track those kinds of
things.

smatch_extra.c tracks some of these things right now, but it's not really
the right thing.  Smatch extra should be tracking stronger implications.
Tracking this stuff in Smatch extra leads to buffer overflow false
positives.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Makefile
check_debug.c
check_debug.h
check_list.h
smatch.h
smatch_absolute.c [new file with mode: 0644]
smatch_math.c
smatch_scripts/db/fill_db_caller_info.pl