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

C#: Adjust IR imports

Browse Source
This commit is contained in:
Tom Hvitved
2020-06-10 09:54:56 +02:00
parent d5b8c9728c
commit 70c3ff36f8
75 changed files with 255 additions and 255 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/test/experimental/ir/ir/raw_ir.qlref
View File

@@ -1 +1 @@
semmle/code/csharp/ir/implementation/raw/PrintIR.ql
experimental/ir/implementation/raw/PrintIR.ql

2
csharp/ql/test/experimental/ir/ir/raw_ir_consistency.qlref
View File

@@ -1 +1 @@
semmle/code/csharp/ir/implementation/raw/IRConsistency.ql
experimental/ir/implementation/raw/IRConsistency.ql

2
csharp/ql/test/experimental/ir/ir/unaliased_ssa_consistency.qlref
View File

@@ -1 +1 @@
semmle/code/csharp/ir/implementation/unaliased_ssa/IRConsistency.ql
experimental/ir/implementation/unaliased_ssa/IRConsistency.ql

2
csharp/ql/test/experimental/ir/ir/unaliased_ssa_ssa_consistency.qlref
View File

@@ -1 +1 @@
semmle/code/csharp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql
experimental/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql

6
csharp/ql/test/experimental/ir/offbyone/OffByOneRA.ql
View File

@@ -1,7 +1,7 @@
import csharp
import semmle.code.csharp.ir.IR
import semmle.code.csharp.ir.rangeanalysis.RangeAnalysis
import semmle.code.csharp.ir.rangeanalysis.RangeUtils
import experimental.ir.IR
import experimental.ir.rangeanalysis.RangeAnalysis
import experimental.ir.rangeanalysis.RangeUtils
/**
* Holds if the index expression of `aa` is less than or equal to the array length plus `k`.

8
csharp/ql/test/experimental/ir/rangeanalysis/RangeAnalysis.ql
View File

@@ -1,7 +1,7 @@
import semmle.code.csharp.ir.rangeanalysis.RangeAnalysis
import semmle.code.csharp.ir.IR
import semmle.code.csharp.ir.internal.IRGuards
import semmle.code.csharp.ir.ValueNumbering
import experimental.ir.rangeanalysis.RangeAnalysis
import experimental.ir.IR
import experimental.ir.internal.IRGuards
import experimental.ir.ValueNumbering
query predicate instructionBounds(
Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc