github
diff --git a/‎java/ql/src/experimental/Security/CWE/CWE-352/JsonpInjectionLib.qll‎
Lines changed: 1 addition & 1 deletion b/‎java/ql/src/experimental/Security/CWE/CWE-352/JsonpInjectionLib.qll‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎java/ql/src/semmle/code/java/frameworks/Servlets.qll‎
Lines changed: 0 additions & 10 deletions b/‎java/ql/src/semmle/code/java/frameworks/Servlets.qll‎
Lines changed: 0 additions & 10 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/Filter.java‎
Lines changed: 0 additions & 13 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/Filter.java‎
Lines changed: 0 additions & 13 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/FilterChain.java‎
Lines changed: 0 additions & 8 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/FilterChain.java‎
Lines changed: 0 additions & 8 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/FilterConfig.java‎
Lines changed: 0 additions & 3 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/FilterConfig.java‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletException.java‎
Lines changed: 0 additions & 8 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletException.java‎
Lines changed: 0 additions & 8 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletRequest.java‎
Lines changed: 0 additions & 87 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletRequest.java‎
Lines changed: 0 additions & 87 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletResponse.java‎
Lines changed: 0 additions & 39 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/ServletResponse.java‎
Lines changed: 0 additions & 39 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/annotation/WebServlet.java‎
Lines changed: 0 additions & 30 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/annotation/WebServlet.java‎
Lines changed: 0 additions & 30 deletions
diff --git a/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/http/HttpServletRequest.java‎
Lines changed: 0 additions & 116 deletions b/‎java/ql/test/stubs/tomcat-embed-core-9.0.41/javax/servlet/http/HttpServletRequest.java‎
Lines changed: 0 additions & 116 deletions
@@ -21,7 +21,7 @@ abstract class RequestGetMethod extends Method {
 
 /** Override method of `doGet` of `Servlet` subclass. */
 private class ServletGetMethod extends RequestGetMethod {
-  ServletGetMethod() { isServletRequestMethod(this) and m.getName() = "doGet" }
+  ServletGetMethod() { isServletRequestMethod(this) and this.getName() = "doGet" }
 }
 
 /** The method of SpringController class processing `get` request. */
 
@@ -361,13 +361,3 @@ predicate isDoFilterMethod(Method m) {
   m.getParameter(1).getType() instanceof ServletResponse and
   m.getParameter(2).getType() instanceof FilterChain
 }
-
-/** Holds if `m` is a method of some override of `HttpServlet.doGet`. */
-predicate isGetServletMethod(Method m) {
-  isServletRequestMethod(m) and m.getName() = "doGet"
-}
-
-/** The `doGet` method of `HttpServlet`. */
-class DoGetServletMethod extends Method {
-  DoGetServletMethod() { isGetServletMethod(this) }
-}
Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ abstract class RequestGetMethod extends Method {`
`21`	`21`
`22`	`22`	/** Override method of `doGet` of `Servlet` subclass. */
`23`	`23`	`private class ServletGetMethod extends RequestGetMethod {`
`24`		`- ServletGetMethod() { isServletRequestMethod(this) and m.getName() = "doGet" }`
	`24`	`+ ServletGetMethod() { isServletRequestMethod(this) and this.getName() = "doGet" }`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	/** The method of SpringController class processing `get` request. */