mirror of
https://mirrors.bfsu.edu.cn/git/linux.git
synced 2024-11-17 01:04:19 +08:00
4202066c69
In each case, the print involves dereferencing a value that is NULL or is near NULL. A simplified version of the semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // <smpl> @r exists@ expression E,E1; identifier f; statement S1,S2,S3; @@ if ((E == NULL && ...) || ...) { ... when != if (...) S1 else S2 when != E = E1 * E->f ... when any return ...; } else S3 // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com> |
||
|---|---|---|
| .. | ||
| b2c2 | ||
| bt8xx | ||
| dm1105 | ||
| dvb-core | ||
| dvb-usb | ||
| firewire | ||
| frontends | ||
| mantis | ||
| ngene | ||
| pluto2 | ||
| pt1 | ||
| siano | ||
| ttpci | ||
| ttusb-budget | ||
| ttusb-dec | ||
| Kconfig | ||
| Makefile | ||