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

Merge pull request #3793 from rdmarsh2/rdmarsh/cpp/ir-range-analysis-experimental

Browse Source 
C++: move IR range analysis to experimental
This commit is contained in:
Dave Bartolomeo
2020-06-24 20:51:07 -04:00
committed by GitHub
parent 3e6a19843d fb6e578618
commit 06a5242d76
17 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll
View File

@@ -20,7 +20,7 @@ import semmle.code.cpp.ir.IR
private import semmle.code.cpp.ir.ValueNumbering
private import semmle.code.cpp.ir.internal.CppType
private import semmle.code.cpp.models.interfaces.Allocation
private import semmle.code.cpp.rangeanalysis.RangeUtils
private import experimental.semmle.code.cpp.rangeanalysis.RangeUtils
private newtype TLength =
TZeroLength() or

0
cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll → cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/Bound.qll
View File

2
cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll
View File

@@ -13,7 +13,7 @@
import cpp
private import experimental.semmle.code.cpp.rangeanalysis.ArrayLengthAnalysis
private import semmle.code.cpp.rangeanalysis.RangeAnalysis
private import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
/**
* Gets the instruction that computes the address of memory that `i` accesses.

0
cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll → cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll
View File

0
cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeUtils.qll → cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll
View File

0
cpp/ql/src/semmle/code/cpp/rangeanalysis/SignAnalysis.qll → cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll
View File

0
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected
View File

2
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql
View File

@@ -1,4 +1,4 @@
import semmle.code.cpp.rangeanalysis.RangeAnalysis
import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
import semmle.code.cpp.ir.IR
import semmle.code.cpp.controlflow.IRGuards
import semmle.code.cpp.ir.ValueNumbering

0
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/test.cpp → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/test.cpp
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

2
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.ql → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.ql
View File

@@ -1,4 +1,4 @@
import semmle.code.cpp.rangeanalysis.SignAnalysis
import experimental.semmle.code.cpp.rangeanalysis.SignAnalysis
import semmle.code.cpp.ir.IR
string getASignString(Instruction i) {

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/binary_logical_operator.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/binary_logical_operator.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/bounded_bounds.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/bounded_bounds.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/inline_assembly.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/inline_assembly.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/minmax.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/minmax.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/test.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/test.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/test.cpp → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/test.cpp
View File