untracked_param: add a call back for when we lose track of a parameter
commit2942280e94f24659acdc49529c861ae392c65e8e
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 1 Dec 2014 12:39:29 +0000 (1 15:39 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 1 Dec 2014 12:39:29 +0000 (1 15:39 +0300)
tree10391d0e6f1c5e4e6d13043d35b83201d6e9f425
parentbb3e293a24461e49651e9479a4db193307541dd6
untracked_param: add a call back for when we lose track of a parameter

I want to create an "using uninitialized memory" warning.

The problem is:
1)  Maybe the function has too many return states so we drop everything.
This is especially if we're calling a function pointer which is implemented
many times.

2) Smatch is bad at tracking va_args.

3) Maybe the parameter is assigned to another variable and that variable is
set but we lose track of it.  This can also happen in assembly.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Makefile
check_list.h
smatch.h
smatch_untracked_param.c [new file with mode: 0644]