Module InsecureTrustManagerQuery
Provides taint tracking configurations to be used in Trust Manager queries.
Import path
import semmle.code.java.security.InsecureTrustManagerQuery
Imports
FlowSources | Provides classes representing various flow sources for taint tracking. |
InsecureTrustManager | Provides classes and predicates to reason about insecure |
java | Provides all default Java QL imports. |
Modules
InsecureTrustManagerConfig | A configuration to model the flow of an insecure |
Aliases
InsecureTrustManagerFlow | Constructs a global data flow computation. |