Provides classes and predicates to reason about CSRF vulnerabilities due to use of unprotected HTTP request types.
Import path
import semmle.code.java.security.CsrfUnprotectedRequestTypeQuery
Imports
Predicates
unprotectedStateChange | Holds if |
Classes
CsrfUnprotectedMethod | A method that is not protected from CSRF by default. |
DatabaseUpdateMethod | A method that updates a database. |
Modules
CallGraph | Provides classes and predicates representing call graph paths. |