hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Restrict CfgScope

Browse Source
This commit is contained in:
Tom Hvitved
2024-09-25 16:43:15 +02:00
parent ce2d959b7e
commit 1bd504bf61
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
View File

@@ -15,11 +15,19 @@ class CfgScope extends Element, @top_level_exprorstmt_parent {
CfgScope() { CfgScope() {
this.getFile().fromSource() and this.getFile().fromSource() and
( (
this instanceof Callable this =
any(Callable c |
c.(Constructor).hasInitializer()
or
InitializerSplitting::constructorInitializes(c, _)
or
c.hasBody()
)
or or
// For now, static initializer values have their own scope. Eventually, they // For now, static initializer values have their own scope. Eventually, they
// should be treated like instance initializers. // should be treated like instance initializers.
this.(Assignable).(Modifiable).isStatic() this.(Assignable).(Modifiable).isStatic() and
expr_parent_top_level_adjusted2(_, _, this)
) )
} }
} }