Skip to content

Commit 3a977b8

Browse files
MathiasVPIdrissRio
andauthored
Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll
Co-authored-by: Idriss Riouak <[email protected]>
1 parent 5d6c4a6 commit 3a977b8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ module SizeBarrier<SizeBarrierInputSig Input> {
112112

113113
/**
114114
* Gets an instruction `instr` that is guarded by a check such as `instr <= small + delta` where
115-
* `small <= _ + k` and `small` is the "small side" of of a relational comparison that checks
115+
* `small <= _ + k` and `small` is the "small side" of a relational comparison that checks
116116
* whether `small <= size` where `size` is the size of an allocation.
117117
*/
118118
private Instruction getABarrierInstruction0(int delta, int k) {

0 commit comments

Comments
 (0)