Delete duplicated taint summary rows

owen-mc · owen-mc · commit e929de98ec4c · 2021-06-10T10:43:35.000+01:00
diff --git a/java/ql/src/semmle/code/java/frameworks/JaxWS.qll b/java/ql/src/semmle/code/java/frameworks/JaxWS.qll
@@ -610,8 +610,6 @@ private class UriBuilderModel extends SummaryModelCsv {
         "javax.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument[-1];ReturnValue;value",
         "javax.ws.rs.core;UriBuilder;true;segment;;;Argument;ReturnValue;taint",
         "javax.ws.rs.core;UriBuilder;true;segment;;;Argument[-1];ReturnValue;value",
-        "javax.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument;ReturnValue;taint",
-        "javax.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument[-1];ReturnValue;value",
         "javax.ws.rs.core;UriBuilder;true;toTemplate;;;Argument[-1];ReturnValue;taint",
         "javax.ws.rs.core;UriBuilder;true;uri;;;Argument;ReturnValue;taint",
         "javax.ws.rs.core;UriBuilder;true;uri;;;Argument[-1];ReturnValue;value",
@@ -663,8 +661,6 @@ private class UriBuilderModel extends SummaryModelCsv {
         "jakarta.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument[-1];ReturnValue;value",
         "jakarta.ws.rs.core;UriBuilder;true;segment;;;Argument;ReturnValue;taint",
         "jakarta.ws.rs.core;UriBuilder;true;segment;;;Argument[-1];ReturnValue;value",
-        "jakarta.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument;ReturnValue;taint",
-        "jakarta.ws.rs.core;UriBuilder;true;schemeSpecificPart;;;Argument[-1];ReturnValue;value",
         "jakarta.ws.rs.core;UriBuilder;true;toTemplate;;;Argument[-1];ReturnValue;taint",
         "jakarta.ws.rs.core;UriBuilder;true;uri;;;Argument;ReturnValue;taint",
         "jakarta.ws.rs.core;UriBuilder;true;uri;;;Argument[-1];ReturnValue;value",
