Add Linux net driver benchmarks from Locksmith papers

.gitignore

@@ -12,3 +12,6 @@ juliet/summary_table.html
 incremental_data/
 original/
 increment/
+
+.goblint*/
+result/

index/conf/locksmith-linux.json

@@ -0,0 +1,29 @@
+{
+  "pre": {
+    "cppflags": [
+      "-DGOBLINT_NO_PTHREAD_ONCE"
+    ]
+  },
+  "ana": {
+    "activated": [
+      "expRelation",
+      "base",
+      "threadid",
+      "threadflag",
+      "threadreturn",
+      "escape",
+      "mutex",
+      "access",
+      "mallocWrapper"
+    ],
+    "thread": {
+      "domain": "plain"
+    }
+  },
+  "dbg": {
+    "debug": true,
+    "verbose": true,
+    "print_dead_code": true
+  },
+  "printstats": true
+}

index/defs/locksmith-linux.yml

@@ -0,0 +1,6 @@
+baseconf: index/conf/locksmith-linux.json
+compare: false
+incremental: false
+
+Default:
+SymbLocks: --set ana.activated[+] var_eq --set ana.activated[+] symb_locks

index/sets/locksmith-linux.yml

@@ -0,0 +1,29 @@
+plip:
+  info: plip
+  path: linux/drivers/net/plip/plip.c
+  param: --enable kernel ../stub.c
+
+slip:
+  info: slip
+  path: linux/drivers/net/slip/slip.c
+  param: --enable kernel ../stub.c
+
+eql:
+  info: eql
+  path: linux/drivers/net/eql.c
+  param: --enable kernel stub.c --set pre.cppflags[+] '-DKBUILD_MODNAME="eql"'
+
+sis900:
+  info: sis900
+  path: linux/drivers/net/ethernet/sis/sis900.c
+  param: --enable kernel ../../stub.c --set pre.cppflags[+] '-DKBUILD_MODNAME="sis900"'
+
+hp100:
+  info: hp100
+  path: linux/drivers/net/ethernet/hp/hp100.c
+  param: --enable kernel ../../stub.c --set pre.cppflags[+] '-DKBUILD_MODNAME="hp100"'
+
+sundance:
+  info: sundance
+  path: linux/drivers/net/ethernet/dlink/sundance.c
+  param: --enable kernel ../../stub.c --set pre.cppflags[+] '-DKBUILD_MODNAME="sundance"'