From cddc140ed17910b3114383936edbeb351f5a9339 Mon Sep 17 00:00:00 2001
From: flankerhqd <2270027+flankerhqd@users.noreply.github.com>
Date: Mon, 3 Oct 2022 14:22:45 +0800
Subject: [PATCH] Update Intent summary

This fixes issue https://github.com/secure-software-engineering/FlowDroid/issues/520
---
 .../summariesManual/android.content.Intent.xml                  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/soot-infoflow-summaries/summariesManual/android.content.Intent.xml b/soot-infoflow-summaries/summariesManual/android.content.Intent.xml
index 4a302df87..385e584d2 100644
--- a/soot-infoflow-summaries/summariesManual/android.content.Intent.xml
+++ b/soot-infoflow-summaries/summariesManual/android.content.Intent.xml
@@ -1529,7 +1529,7 @@
 						AccessPath="[android.content.Intent: java.lang.String mimeType]"
 						AccessPathTypes="[java.lang.String]" />
 				</flow>
-				<flow isAlias="true" typeChecking="false">
+				<flow isAlias="true" typeChecking="true">
 					<from sourceSinkType="Field" />
 					<to sourceSinkType="Return" />
 				</flow>