Introduce TaintInheritingContent

java/ql/lib/semmle/code/java/frameworks/android/Intent.qll

@@ -75,6 +75,14 @@ class IntentGetParcelableExtraMethod extends Method {
   }
 }
 
+/**
+ * Specifies that if an `Intent` is tainted, then so are its synthetic fields.
+ */
+private class IntentFieldsInheritTaint extends DataFlow::SyntheticFieldContent,
+  TaintInheritingContent {
+  IntentFieldsInheritTaint() { this.getField().matches("android.content.Intent.%") }
+}
+
 private class IntentBundleFlowSteps extends SummaryModelCsv {
   override predicate row(string row) {
     row =