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

C#: No qualified name for local scope variables

Browse Source
This commit is contained in:
Tom Hvitved
2019-03-08 14:58:58 +01:00
parent c087394917
commit 6f44384db9
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/semmle/code/cil/Variable.qll
View File

@@ -28,7 +28,9 @@ class Variable extends DotNet::Variable, Declaration, DataFlowNode, @cil_variabl
}
/** A stack variable. Either a local variable (`LocalVariable`) or a parameter (`Parameter`). */
class StackVariable extends Variable, @cil_stack_variable { }
class StackVariable extends Variable, @cil_stack_variable {
override predicate hasQualifiedName(string qualifier, string name) { none() }
}
/**
* A local variable.

2
csharp/ql/src/semmle/code/csharp/Variable.qll
View File

@@ -111,6 +111,8 @@ class LocalScopeVariable extends Variable, @local_scope_variable {
* Holds if this local variable or parameter is a `ref`.
*/
predicate isRef() { none() }
override predicate hasQualifiedName(string qualifier, string name) { none() }
}
/**