Module TaintedPermissionsCheckQuery

Provides classes to reason about tainted permissions check vulnerabilities.

Import path

import semmle.code.java.security.TaintedPermissionsCheckQuery

java	Provides all default Java QL imports.

An expression that constructs a permission.

A configuration for tracking flow from user input to a permissions check.

Tracks flow from user input to a permissions check.