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

PS: Ensure the constants 0 .. 10 always exists.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-10-14 14:58:00 +01:00
parent 51269633b0
commit 01a556e583
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
powershell/ql/lib/semmle/code/powershell/ConstantExpression.qll
View File

@@ -13,6 +13,8 @@ class ConstExpr extends @constant_expression, BaseConstExpr {
private newtype TConstantValue =
TConstInteger(int value) {
exists(ConstExpr ce | ce.getType() = "Int32" and ce.getValue().getValue().toInt() = value)
or
value = [0 .. 10] // needed for `trackKnownValue` in `DataFlowPrivate`
} or
TConstDouble(float double) {
exists(ConstExpr ce | ce.getType() = "Double" and ce.getValue().getValue().toFloat() = double)