fix code scanning bot warnings

This commit is contained in:
Jami Cogswell
2022-09-20 15:19:26 -04:00
committed by Tony Torralba
parent 47fcbdd4b4
commit af812cf407
2 changed files with 3 additions and 3 deletions

View File

@@ -324,10 +324,10 @@ private class StartActivityIntentStep extends AdditionalValueStep {
startActivity.getMethod().overrides*(any(StartActivityMethod m)) and
getIntent.getMethod().overrides*(any(AndroidGetIntentMethod m)) and
newIntent.getConstructedType() instanceof TypeIntent and
DataFlow::localExprFlow(newIntent, getIntentArgOfStartActMethod(startActivity)) and
DataFlow::localExprFlow(newIntent, this.getIntentArgOfStartActMethod(startActivity)) and
getClassArgOfIntentConstructor(newIntent).getType().(ParameterizedType).getATypeArgument() =
getIntent.getReceiverType() and
n1.asExpr() = getIntentArgOfStartActMethod(startActivity) and
n1.asExpr() = this.getIntentArgOfStartActMethod(startActivity) and
n2.asExpr() = getIntent
)
}

View File

@@ -37,7 +37,7 @@ private import semmle.code.xml.AndroidManifest
// )
// }
// }
// ! experimental modelling of `parseUri`
// ! experimental modeling of `parseUri`
/**
* The method `Intent.parseUri`
*/