C#: Introduce SyntheticFieldContent in RelevantContent.

michaelnebel · michaelnebel · commit b7803ef0b11f · 2022-03-14T13:50:55.000+01:00
diff --git a/csharp/ql/src/utils/model-generator/ModelGeneratorUtils.qll b/csharp/ql/src/utils/model-generator/ModelGeneratorUtils.qll
@@ -23,7 +23,7 @@ predicate isRelevantTaintStep(DataFlow::Node node1, DataFlow::Node node2) {
  */
 predicate isRelevantContent(DataFlow::Content c) {
   isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or
-  isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or
+  isRelevantType(c.(DataFlow::SyntheticFieldContent).getField().getType()) or
   DataFlow::containerContent(c)
 }
 
diff --git a/java/ql/src/utils/model-generator/ModelGeneratorUtils.qll b/java/ql/src/utils/model-generator/ModelGeneratorUtils.qll
@@ -23,7 +23,7 @@ predicate isRelevantTaintStep(DataFlow::Node node1, DataFlow::Node node2) {
  */
 predicate isRelevantContent(DataFlow::Content c) {
   isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or
-  isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or
+  isRelevantType(c.(DataFlow::SyntheticFieldContent).getField().getType()) or
   DataFlow::containerContent(c)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ predicate isRelevantTaintStep(DataFlow::Node node1, DataFlow::Node node2) {`
`23`	`23`	`*/`
`24`	`24`	`predicate isRelevantContent(DataFlow::Content c) {`
`25`	`25`	`isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or`
`26`		`- isRelevantType(c.(DataFlow::FieldContent).getField().getType()) or`
	`26`	`+ isRelevantType(c.(DataFlow::SyntheticFieldContent).getField().getType()) or`
`27`	`27`	`DataFlow::containerContent(c)`
`28`	`28`	`}`
`29`	`29`