Ginco: Improving rules for the case SKOSImportService is present.

Author: marek-trtik

benchmarks/GENUINE/GincoRules.json

@@ -63,6 +63,19 @@
         "taint": "Tainted Set"
       }
     },
+    {
+      "comment": "Obtained tainted Set from tainted Map",
+      "class": "java.util.HashMap",
+      "method": "keySet:()Ljava/util/Set;",
+      "input": {
+        "location": "this",
+        "taint": "Tainted Map"
+      },
+      "result": {
+        "location": "returns",
+        "taint": "Tainted Set"
+      }
+    },
     {
       "comment": "Obtained tainted Iterator from tainted Set",
       "class": "java.util.Set",
@@ -76,6 +89,32 @@
         "taint": "Tainted Iterator"
       }
     },
+    {
+      "comment": "Obtained tainted Iterator from tainted Set",
+      "class": "java.util.HashMap$KeySet",
+      "method": "iterator:()Ljava/util/Iterator;",
+      "input": {
+        "location": "this",
+        "taint": "Tainted Set"
+      },
+      "result": {
+        "location": "returns",
+        "taint": "Tainted Iterator"
+      }
+    },
+    {
+      "comment": "Obtained tainted Object from tainted Iterator",
+      "class": "java.util.HashMap$KeyIterator",
+      "method": "next:()Ljava/lang/Object;",
+      "input": {
+        "location": "this",
+        "taint": "Tainted Iterator"
+      },
+      "result": {
+        "location": "returns",
+        "taint": "Tainted Thesaurus"
+      }
+    },
     {
       "comment": "Obtained tainted Object from tainted Iterator",
       "class": "java.util.Iterator",