drwxr-xr-x | .. | ||
-rw-r--r-- | 173 | README | blob | blame | history | raw |
-rw-r--r-- | 158 | a_and_b.c | blob | blame | history | raw |
-rw-r--r-- | 158 | a_and_b.sgrep | blob | blame | history | raw |
-rw-r--r-- | 1031 | dangerous_GFP_KERNEL.sgrep | blob | blame | history | raw |
-rw-r--r-- | 137 | dangerous_GFP_KERNEL2.sgrep | blob | blame | history | raw |
-rw-r--r-- | 78 | dangerous_arith_pointer_cast.sgrep | blob | blame | history | raw |
-rw-r--r-- | 599 | device_id.sgrep | blob | blame | history | raw |
-rw-r--r-- | 66 | double_cast.sgrep | blob | blame | history | raw |
-rw-r--r-- | 2043 | free.sgrep | blob | blame | history | raw |
-rw-r--r-- | 282 | intr4.sgrep | blob | blame | history | raw |
-rw-r--r-- | 1593 | null.sgrep | blob | blame | history | raw |
-rw-r--r-- | 304 | run.sh | blob | blame | history | raw |
-rw-r--r-- | 95 | simple.c | blob | blame | history | raw |
-rw-r--r-- | 126 | simple.sgrep | blob | blame | history | raw |