We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fa63dad commit c610af8Copy full SHA for c610af8
1 file changed
csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/BoundSpecific.qll
@@ -1,6 +1,8 @@
1
/**
2
* Provides C#-specific definitions for bounds.
3
*/
4
+overlay[local?]
5
+module;
6
7
private import csharp as CS
8
private import semmle.code.csharp.dataflow.SSA::Ssa as Ssa
@@ -9,7 +11,7 @@ private import semmle.code.csharp.dataflow.internal.rangeanalysis.RangeUtils as
9
11
private import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtils as SU
10
12
private import codeql.rangeanalysis.Bound as SharedBound
13
-/** Holds if `e` is a bound expression and it is not an SSA variable read. */
14
+/** Provides C#-specific definitions for bounds. */
15
module BoundDefs implements SharedBound::BoundDefinitions<CS::Location> {
16
class Type = CS::Type;
17
0 commit comments