db, kernel: when kmalloc() succeeds that implies the size was reasonable
commit373cb7d625abd3414cdf454b8540670ff43a0901
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 4 Nov 2014 08:14:54 +0000 (4 11:14 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 4 Nov 2014 08:14:54 +0000 (4 11:14 +0300)
tree4948c58c9f882fbb5d5f26c2cb99c33b68135cc7
parentdec2de454634fa9a7d190c4e5c3777857b581692
db, kernel: when kmalloc() succeeds that implies the size was reasonable

There are lots of places where we do:

p = kmalloc(user_controlled_value, GFP_KERNEL);

If p is non-NULL then it means that user_controlled_value is a positive
and below 128MB.  This is useful information to have.

Also I've recorded that zero sizes return 0x16.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_data/db/fixup_kernel.sh