hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add preOffset to the bindingset for simpleArrayLengthStep.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-04-30 15:00:12 +02:00
parent b838426421
commit c856552b64
1 changed files with 1 additions and 1 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

@@ -128,7 +128,7 @@ private int getBaseSizeForPointerType(PointerType type) { result = type.getBaseT
* steps to `array` that points to `offset + offsetDelta` in one step.
* This predicate does not contain any recursive steps.
*/
bindingset[prevOffsetDelta]
bindingset[prevOffset,prevOffsetDelta]
predicate simpleArrayLengthStep(
Instruction array, Offset offset, int offsetDelta, Instruction prev, Offset prevOffset,
int prevOffsetDelta