#Linux# Eliminate a null pointer dereference

coccinelle · Aug 10, 2016 · f8403be · f8403be
1 parent cc0fe9a
commit f8403be
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/isnull_oct/isnull.cocci b/isnull_oct/isnull.cocci
@@ -1,3 +1,13 @@
+//
+//  Eliminate a null pointer dereference
+//
+// Target: Linux
+// Copyright:  2012 - LIP6/INRIA
+// License:  Licensed under ISC. See LICENSE or http://www.isc.org/software/license
+// Author: Julia Lawall <Julia.Lawall@lip6.fr>
+// URL: http://coccinelle.lip6.fr/ 
+// URL: http://coccinellery.org/ 
+
 @r@
 expression E, E1, E2;
 identifier f;