Support ai-generated summaries

atorralba · Stephan Brandauer · commit 77d9bac52d66 · 2023-03-10T12:35:13.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -1012,7 +1012,7 @@ module Private {
       private predicate relevantSummaryElementGenerated(
         AccessPath inSpec, AccessPath outSpec, string kind
       ) {
-        summaryElement(this, inSpec, outSpec, kind, "generated") and
+        summaryElement(this, inSpec, outSpec, kind, ["generated", "ai-generated"]) and
         not summaryElement(this, _, _, _, "manual")
       }
 

Original file line number	Diff line number	Diff line change
`@@ -1012,7 +1012,7 @@ module Private {`
`1012`	`1012`	`private predicate relevantSummaryElementGenerated(`
`1013`	`1013`	`AccessPath inSpec, AccessPath outSpec, string kind`
`1014`	`1014`	`) {`
`1015`		`- summaryElement(this, inSpec, outSpec, kind, "generated") and`
	`1015`	`+ summaryElement(this, inSpec, outSpec, kind, ["generated", "ai-generated"]) and`
`1016`	`1016`	`not summaryElement(this, _, _, _, "manual")`
`1017`	`1017`	`}`
`1018`	`1018`