local_values: store possible values of static data
commitcb4fc4b706ee740b417e6bddaa3f2c99fd60e46d
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 Feb 2013 06:25:40 +0000 (26 09:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 Feb 2013 06:25:40 +0000 (26 09:25 +0300)
tree441ccce4245113333c3971f4f6e0d998d102f841
parentf5523434cb931987849afaf9312b76dbdbc7c036
local_values: store possible values of static data

Static data is normally not passed in as a parameter so it's hard to track
the values of it.

This tries to put it into the database to say that static value "x" is
a number between 1-100.  It looks at how the number was initialized.  Then
if the number gets set inside a function it records that at the end.  At
the end of processing the file it combines all the possible values that
a variable can be and records that in the database.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Makefile
check_list.h
smatch.h
smatch_data/db/local_values.schema [new file with mode: 0644]
smatch_db.c
smatch_local_values.c [new file with mode: 0644]
smatch_math.c