Provides classes and predicates to reason about Intent URI permission manipulation vulnerabilities on Android.
Provides all default Java QL imports.
An additional taint step for flows related to Intent URI permission manipulation vulnerabilities.
A sanitizer that makes sure that an Intent is safe to be returned to another Activity.
A sink for Intent URI permission manipulation vulnerabilities in Android, that is, method calls that return an Intent as the result of an Activity.