Java: PR discussion

Author: Stephan Brandauer

java/ql/lib/ext/javax.servlet.model.yml

@@ -9,15 +9,9 @@ extensions:
       - ["javax.servlet", "ServletRequest", False, "getParameterNames", "()", "", "ReturnValue", "remote", "manual"]
       - ["javax.servlet", "ServletRequest", False, "getParameterValues", "(String)", "", "ReturnValue", "remote", "manual"]
       - ["javax.servlet", "ServletRequest", False, "getReader", "()", "", "ReturnValue", "remote", "manual"]
-      - ["javax.servlet", "ServletRequest", True, "getParameter", "(String)", "", "Parameter[0]", "remote", "ai-manual"]
-      - ["javax.servlet", "ServletRequest", True, "getParameterValues", "(String)", "", "Parameter[0]", "remote", "ai-manual"]
+      - ["javax.servlet", "ServletRequest", False, "getRealPath", "(String)", "", "ReturnValue", "remote", "ai-manual"]
   - addsTo:
       pack: codeql/java-all
       extensible: sinkModel
     data:
       - ["javax.servlet", "ServletContext", True, "getResourceAsStream", "(String)", "", "Argument[0]", "path-injection", "ai-manual"]
-  - addsTo:
-      pack: codeql/java-all
-      extensible: summaryModel
-    data:
-      - ["javax.servlet", "ServletRequest", True, "getRealPath", "(String)", "", "Parameter[0]", ReturnValue, "taint", "ai-manual"]