hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update QLDoc.

Browse Source
This commit is contained in:
Geoffrey White
2021-04-09 18:11:48 +01:00
parent 3b437fe6cf
commit 0818c1d703
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
View File

@@ -31,7 +31,8 @@ predicate isGuarded(SubExpr sub, Expr left, Expr right) {
}
/**
* Holds if `e` is known to be less than or equal to `sub.getLeftOperand()`.
* Holds if `e` is known or suspected to be less than or equal to
* `sub.getLeftOperand()`.
*/
predicate exprIsSubLeftOrLess(SubExpr sub, Expr e) {
e = sub.getLeftOperand()