Index of:

 Name                               Last modified      Size  
 Parent Directory                                        -   
 simple.sgrep                       2021-09-06 13:24  126   
 simple.c                           2021-09-06 13:24   95   
 run.sh                             2021-09-06 13:24  304   
 null.sgrep                         2021-09-06 13:24  1.6K  
 intr4.sgrep                        2021-09-06 13:24  282   
 free.sgrep                         2021-09-06 13:24  2.0K  
 double_cast.sgrep                  2021-09-06 13:24   66   
 device_id.sgrep                    2021-09-06 13:24  599   
 dangerous_arith_pointer_cast.sgrep 2021-09-06 13:24   78   
 dangerous_GFP_KERNEL2.sgrep        2021-09-06 13:24  137   
 dangerous_GFP_KERNEL.sgrep         2021-09-06 13:24  1.0K  
 a_and_b.sgrep                      2021-09-06 13:24  158   
 a_and_b.c                          2021-09-06 13:24  158   
 README                             2021-09-06 13:24  173