| commit | 45df3fee7ce0de02c514791821a1d004282bcd8f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Apr 2013 08:42:54 +0000 (17 11:42 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Apr 2013 08:42:54 +0000 (17 11:42 +0300) | ||
| tree | aa1e877c057c465de305a81d23ef39957cb9bf3d | treesnapshot (tar.gz zip) |
| parent | 541038c5241fe9bbfdd89ce3c71c5bc65a48bec4 | commitdiff |
*new* smatch_clear_buffer.c: handle memset() type functions
The smatch_param_cleared.c file records which functions clear their
parameters in the database.
The smatch_clear_buffer.c modifies smatch_extra.c and provides some helper
functions to query if all the struct members are cleared.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The smatch_param_cleared.c file records which functions clear their
parameters in the database.
The smatch_clear_buffer.c modifies smatch_extra.c and provides some helper
functions to query if all the struct members are cleared.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_clear_buffer.c | [new file with mode: 0644] | blob |
| smatch_param_cleared.c | [new file with mode: 0644] | blob |