hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Expose a synthetic global singleton stack.

Browse Source
This commit is contained in:
Michael Nebel
2023-05-12 11:24:17 +02:00
parent 06b02eb3ce
commit 93d9783940
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll
View File

@@ -116,6 +116,11 @@ module SummaryComponentStack {
/** Gets a singleton stack representing a jump to `c`. */
SummaryComponentStack jump(Callable c) { result = singleton(SummaryComponent::jump(c)) }
/** Gets a singleton stack representing a synthetic global with name `name`. */
SummaryComponentStack syntheticGlobal(string synthetic) {
result = singleton(SummaryComponent::syntheticGlobal(synthetic))
}
}
class SummarizedCallable = Impl::Public::SummarizedCallable;