Merge pull request diffblue#446 from diffblue/bugfix/sakai-rules

Fix to Sakai rules
NathanJPhillips · Jun 8, 2018 · 8fa38cd · 8fa38cd
2 parents f435929 + 638ca2e
commit 8fa38cd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/benchmarks/GENUINE/Sakai_rules.json b/benchmarks/GENUINE/Sakai_rules.json
@@ -49,7 +49,7 @@
       {
         "comment": "Obtained ZIP file from potentially tainted file.",
         "class": "java.util.zip.ZipFile",
-        "method": "<init>:(Ljava/io/File;Ljava/nio/charset/Charset;)V;",
+        "method": "<init>:(Ljava/io/File;Ljava/nio/charset/Charset;)V",
         "input": {
           "location": "arg1",
           "taint": "Tainted file"
@@ -325,7 +325,7 @@
         }
       },
       {
-        "comment": "Gut an object from a tainted map is a tainted object.",
+        "comment": "Get an object from a tainted map is a tainted object.",
         "class": "java.util.Map",
         "method": "get:(Ljava/lang/Object;)Ljava/lang/Object;",
         "input": {
@@ -338,7 +338,7 @@
         }
       },
       {
-        "comment": "Gut an object from a tainted map is a tainted object.",
+        "comment": "Get an object from a tainted map is a tainted object.",
         "class": "java.util.Map",
         "method": "get:(Ljava/lang/Object;)Ljava/lang/Object;",
         "input": {