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

CPP: Add missing rnage analysis ranges in test.

Browse Source
This commit is contained in:
Alex Eyers-Taylor
2023-10-30 14:17:03 +00:00
parent 3ac3169278
commit fb0f9ec601
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
View File

@@ -1039,7 +1039,7 @@ void test_guard_after_use(int pos, int size, int offset) {
if (offset == 1) {
return;
}
range(pos + 1); // $ overflow=+ range="==InitializeParameter: pos+1"
range(pos + 1); // $ overflow=+ range="==InitializeParameter: pos+1" MISSING: range="<=InitializeParameter: size-1"
}
int cond();
@@ -1060,8 +1060,8 @@ void alloc_in_loop(int origLen) {
}
len = len * 2; // $ overflow=-
}
// We want that index <= len
range(index);
// We want that index < len
range(index); // $ MISSING: range="<=InitializeParameter: len-1"
index++;
}
}
@@ -1079,7 +1079,7 @@ void mask_at_start(int len) {
for (int index = leftOver; index < len; index+=64) {
range(index); // $ range="<=InitializeParameter: len-1"
// This should be in bounds
range(index + 16); // $ range="<=InitializeParameter: len+15" range="==Phi: index+16"
range(index + 16); // $ range="<=InitializeParameter: len+15" range="==Phi: index+16" MISSING: range="<=InitializeParameter: len-1"
}
}
@@ -1096,7 +1096,7 @@ void mod_at_start(int len) {
// Do something with leftOver
for (int index = leftOver; index < len; index+=64) {
range(index); // $ range="<=InitializeParameter: len-1"
// This should be in bounds
range(index + 16); // $ range="<=InitializeParameter: len+15" range="==Phi: index+16"
// This should be in bounds
range(index + 16); // $ range="<=InitializeParameter: len+15" range="==Phi: index+16" MISSING: range="<=InitializeParameter: len-49"
}
}