extra: db: record when people modify pointers passed as parameters
commitca162179bd25b1d945239dddc3a427c1eaec9e01
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 28 Nov 2012 13:33:13 +0000 (28 16:33 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 28 Nov 2012 13:33:13 +0000 (28 16:33 +0300)
treeec3c542891d82455bc61354fb914001c57971038
parentd539e0661fe09d4997a5e6acebac073d79bfea3e
extra: db: record when people modify pointers passed as parameters

Record when we have functions like:

void foo(int *p)
{
*p = 1;
}

Or functions like:

void foo(struct my_struct *p)
{
p->foo = 2;
}

Store it in the database.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c
smatch_scripts/db/fill_db_return_states.pl