Merge pull request github#15567 from hvitved/csharp/cache-module

hvitved · web-flow · commit b27b89bff72a · 2024-02-12T09:15:49.000+01:00
C#: Actually cache module `Cached`
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
@@ -89,6 +89,7 @@ class DataFlowSummarizedCallable instanceof FlowSummary::SummarizedCallable {
   string toString() { result = super.toString() }
 }
 
+cached
 private module Cached {
   /**
    * The following heuristic is used to rank when to use source code or when to use summaries for DataFlowCallables.

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@ class DataFlowSummarizedCallable instanceof FlowSummary::SummarizedCallable {`
`89`	`89`	`string toString() { result = super.toString() }`
`90`	`90`	`}`
`91`	`91`
	`92`	`+cached`
`92`	`93`	`private module Cached {`
`93`	`94`	`/**`
`94`	`95`	`* The following heuristic is used to rank when to use source code or when to use summaries for DataFlowCallables.`