param_set: handle certain struct assignments
commit7a2e9f14530f04294f76c03d9f85a5173e4732cb
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 17 Nov 2020 18:52:25 +0000 (17 21:52 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 17 Nov 2020 18:52:25 +0000 (17 21:52 +0300)
tree6ba895944be16403e39f224492d949703ad146c2
parentcd7f9591f286794100ba6220946f52eaed7959bf
param_set: handle certain struct assignments

The problem here is that if a function does a struct assignment and
sets a struct member that should be recorded.  In other words

*param = foo;

results in param->a and param->b being set.

The problem is that just recording all assignments bloated the DB so much
that it was unworkable.  The fix for that is maybe to mark a whole range
of data as unknown.  But that's not the fix I implemented here.  My fix
is more of a hack.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_param_set.c