Apply suggestions from code review

Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
Tony Torralba
2022-01-17 12:34:37 +01:00
parent 8767d2db23
commit 58a0bcd70f

View File

@@ -72,6 +72,8 @@ private class IntentFlagsOrDataCheckedGuard extends IntentUriPermissionManipulat
override predicate checks(Expr e, boolean branch) {
exists(MethodAccess ma, Method m |
// This checks `intent` when the result of an `intent.getFlags` or `intent.getData` call flows to `condition`
// (i.e., that result is equality-tested)
ma.getMethod() = m and
m.getDeclaringType() instanceof TypeIntent and
m.hasName(["getFlags", "getData"]) and