Remove unnecessary import

Add comment
This commit is contained in:
Tony Torralba
2021-08-24 16:46:54 +02:00
parent 14963103aa
commit 4dd9e7d6a0
2 changed files with 3 additions and 2 deletions

View File

@@ -70,8 +70,10 @@ private class TaintedIntentComponentConf extends TaintTracking2::Configuration {
/** Holds if `expr` modifies the component of an `Intent`. */ /** Holds if `expr` modifies the component of an `Intent`. */
private predicate changesIntentComponent(Expr expr) { private predicate changesIntentComponent(Expr expr) {
any(IntentGetParcelableExtra igpe) = expr or
any(IntentSetComponent isc).getSink() = expr any(IntentSetComponent isc).getSink() = expr
or
// obtaining an arbitrary Intent as a Parcelable extra
expr instanceof IntentGetParcelableExtra
} }
/** A call to the method `Intent.getParcelableExtra`. */ /** A call to the method `Intent.getParcelableExtra`. */

View File

@@ -14,7 +14,6 @@
*/ */
import java import java
import semmle.code.java.dataflow.DataFlow
import semmle.code.java.security.AndroidIntentRedirectionQuery import semmle.code.java.security.AndroidIntentRedirectionQuery
import DataFlow::PathGraph import DataFlow::PathGraph