Merge pull request diffblue#404 from diffblue/feature/ginco-analysis

Ginco analysis

Author: NathanJPhillips

benchmarks/GENUINE/GincoRules.json

@@ -0,0 +1,19 @@
+{
+  "namespace": "com.diffblue.security",
+  "rules":
+  [
+    {
+      "comment": "Get on a tainted map returns a tainted object",
+      "class": "java.util.Map",
+      "method": "get:(Ljava/lang/Object;)Ljava/lang/Object;",
+      "input": {
+        "location": "this",
+        "taint": "Tainted Parameter Map"
+      },
+      "result": {
+        "location": "returns",
+        "taint": "Tainted String"
+      }
+    }
+  ]
+}

benchmarks/GENUINE/README.txt

@@ -148,7 +148,7 @@ The built binaries will be stored in:
 (4) ginco
 ---------
 
-GINCO is a free software developped by the Ministry of Culture and Communication
+GINCO is free software developped by the Ministry of Culture and Communication
 (France) and is dedicated to the management of vocabularies. GINCO is released
 under the terms of the CeCiLL v2 license.
 
@@ -168,7 +168,7 @@ Install guide for Ubuntu:
 1. Open a terminal in the directory of this readme file and clone:
       git clone https://github.com/culturecommunication/ginco
 2. Enter the directory "ginco" and build the app with maven:
-      (optional) git checkout 9d07909a1d768499443fa84085fa295649135507  # The commit before the commits of interest above
+      (this commit may not build) git checkout 9d07909a1d768499443fa84085fa295649135507  # The commit before the commits of interest above
       mvn clean package
       mkdir dist
       cp ginco-admin/target/ginco-admin.war dist