Tag: 0d0659c78d7ea29ad6c3c538dcaae0227f31b9d2

arch/sparc/kernel: Eliminate what looks like a NULL pointer dereference

Author: Julia Lawall <julia@diku.dk> At the point of the test, action cannot be NULL, as it has been dereferenced in the code just above. A simplified version of the semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @r exists@ expression E,E1; identifier f; statement S1,S2,S3; @@ if ((E == NULL && …) …

Continue reading