CodeQL library for Java/Kotlin
codeql/java-all 0.8.11-dev (changelog, source)
Search

Module Servlets

Provides classes and predicates for working with the Java Servlet API.

Import path

import semmle.code.java.frameworks.Servlets

Imports

Type

Provides classes and predicates for working with Java types.

Predicates

isRequestGetParamMethod

Holds if ma is a call that gets a request parameter.

isServletRequestMethod

Holds if m is a request handler method (for example doGet or doPost).

Classes

CookieGetCommentMethod

The method getComment() declared in javax.servlet.http.Cookie.

CookieGetNameMethod

The method getName() declared in javax.servlet.http.Cookie.

CookieGetValueMethod

The method getValue() declared in javax.servlet.http.Cookie.

CookieSetValueMethod

The method setValue(String) declared in javax.servlet.http.Cookie.

GetRequestDispatcherMethod

The getRequestDispatcher method.

GetServletResourceAsStreamMethod

The getResourceAsStream method of ServletContext.

GetServletResourceMethod

The getResource method of ServletContext.

HttpServletRequest

The interface javax.servlet.http.HttpServletRequest.

HttpServletRequestGetHeaderMethod

The method getHeader(String) declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetHeaderNamesMethod

The method getHeaderNames() declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetHeadersMethod

The method getHeaders(String) declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetPathMethod

The method getPathInfo() declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetQueryStringMethod

The method getQueryString() declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetRemoteUserMethod

The method getRemoteUser() declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetRequestUriMethod

The method getRequestURI() declared in javax.servlet.http.HttpServletRequest.

HttpServletRequestGetRequestUrlMethod

The method getRequestURL() declared in javax.servlet.http.HttpServletRequest.

HttpServletResponse

The interface javax.servlet.http.HttpServletResponse.

HttpServletResponseSendErrorMethod

The method sendError(int,String) declared in javax.servlet.http.HttpServletResponse.

HttpServletResponseSendRedirectMethod

The method sendRedirect(String) declared in javax.servlet.http.HttpServletResponse.

HttpServletSession

The interface javax.servlet.http.HttpSession

RequestDispatchMethod

The request dispatch method.

RequestDispatcher

The Java EE RequestDispatcher.

ResponseAddCookieMethod

The method addCookie(Cookie) declared in javax.servlet.http.HttpServletResponse.

ResponseAddHeaderMethod

The method addHeader declared in javax.servlet.http.HttpServletResponse.

ResponseSetHeaderMethod

The method setHeader declared in javax.servlet.http.HttpServletResponse.

ServletClass

A class that has javax.servlet.Servlet as an ancestor.

ServletContext

The interface javax.servlet.ServletContext.

ServletRequest

The interface javax.servlet.ServletRequest or javax.servlet.http.HttpServletRequest.

ServletRequestGetBodyMethod

The method getInputStream() or getReader() declared in javax.servlet.ServletRequest.

ServletRequestGetParameterMapMethod

The method getParameterMap() declared in javax.servlet.ServletRequest.

ServletRequestGetParameterMethod

The method getParameter(String) or getParameterValues(String) declared in javax.servlet.ServletRequest.

ServletRequestGetParameterNamesMethod

The method getParameterNames() declared in javax.servlet.ServletRequest.

ServletRequestGetRequestDispatcherMethod

The method getRequestDispatcher(String) declared in javax.servlet.http.HttpServletRequest or javax.servlet.ServletRequest.

ServletResponse

The interface javax.servlet.ServletResponse or javax.servlet.http.HttpServletResponse.

ServletResponseGetOutputStreamMethod

The method getOutputStream() declared in javax.servlet.ServletResponse.

ServletResponseGetWriterMethod

The method getWriter() declared in javax.servlet.ServletResponse.

ServletWebXmlListenerType

The set of Servlet listener types that can be specified in a web.xml file.

TypeCookie

The class javax.servlet.http.Cookie.