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

NathanJPhillips · web-flow · commit 8fa38cd28228 · 2018-06-08T10:29:07.000+01:00
Fix to Sakai rules
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": {

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@`
`49`	`49`	`{`
`50`	`50`	`"comment": "Obtained ZIP file from potentially tainted file.",`
`51`	`51`	`"class": "java.util.zip.ZipFile",`
`52`		`- "method": "<init>:(Ljava/io/File;Ljava/nio/charset/Charset;)V;",`
	`52`	`+ "method": "<init>:(Ljava/io/File;Ljava/nio/charset/Charset;)V",`
`53`	`53`	`"input": {`
`54`	`54`	`"location": "arg1",`
`55`	`55`	`"taint": "Tainted file"`
`@@ -325,7 +325,7 @@`
`325`	`325`	`}`
`326`	`326`	`},`
`327`	`327`	`{`
`328`		`- "comment": "Gut an object from a tainted map is a tainted object.",`
	`328`	`+ "comment": "Get an object from a tainted map is a tainted object.",`
`329`	`329`	`"class": "java.util.Map",`
`330`	`330`	`"method": "get:(Ljava/lang/Object;)Ljava/lang/Object;",`
`331`	`331`	`"input": {`
`@@ -338,7 +338,7 @@`
`338`	`338`	`}`
`339`	`339`	`},`
`340`	`340`	`{`
`341`		`- "comment": "Gut an object from a tainted map is a tainted object.",`
	`341`	`+ "comment": "Get an object from a tainted map is a tainted object.",`
`342`	`342`	`"class": "java.util.Map",`
`343`	`343`	`"method": "get:(Ljava/lang/Object;)Ljava/lang/Object;",`
`344`	`344`	`"input": {`