C++: Support 'Element' content in flow summaries.

MathiasVP · MathiasVP · commit 901fac428242 · 2024-06-19T13:40:06.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
@@ -35,6 +35,12 @@ module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {
       result = "Field" and
       arg = repeatStars(c.getIndirectionIndex() - 1) + c.getField().getName()
     )
+    or
+    exists(ElementContent ec |
+      cs.isSingleton(ec) and
+      result = "Element" and
+      arg = repeatStars(ec.getIndirectionIndex() - 1)
+    )
   }
 
   string encodeWithoutContent(ContentSet c, string arg) {

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,12 @@ module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {`
`35`	`35`	`result = "Field" and`
`36`	`36`	`arg = repeatStars(c.getIndirectionIndex() - 1) + c.getField().getName()`
`37`	`37`	`)`
	`38`	`+ or`
	`39`	`+ exists(ElementContent ec \|`
	`40`	`+ cs.isSingleton(ec) and`
	`41`	`+ result = "Element" and`
	`42`	`+ arg = repeatStars(ec.getIndirectionIndex() - 1)`
	`43`	`+ )`
`38`	`44`	`}`
`39`	`45`
`40`	`46`	`string encodeWithoutContent(ContentSet c, string arg) {`