Patch it with the stuff from the web
commita91632e27596413a334c8caff23775135c44d979
authorDan Carpenter <dcarpenter@usbsys.site>
Tue, 5 Aug 2008 19:51:12 +0000 (5 22:51 +0300)
committerDan Carpenter <dcarpenter@usbsys.site>
Tue, 5 Aug 2008 19:51:12 +0000 (5 22:51 +0300)
tree61164c832e2990207db9718140533ad9212aa496
parent9b282b5c991c38595b8677523a9bcad85377f321
Patch it with the stuff from the web
Makefile
check_derefed_params.c [new file with mode: 0644]
check_null_deref.c [new file with mode: 0644]
check_overflow.c [new file with mode: 0644]
smatch.c [new file with mode: 0644]
smatch.h [new file with mode: 0644]
smatch_extra.c [new file with mode: 0644]
smatch_flow.c [new file with mode: 0644]
smatch_helper.c [new file with mode: 0644]
smatch_hooks.c [new file with mode: 0644]
smatch_states.c [new file with mode: 0644]