Update OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql

ihsinme · web-flow · commit 4f09545f2485 · 2021-08-03T15:12:39.000+03:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-783/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql b/cpp/ql/src/experimental/Security/CWE/CWE-783/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql
@@ -127,7 +127,7 @@ predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {
   )
 }
 
-/** Holds if it is possible to get different values of the expression */
+/** Holds if different values of the expression obtained from the parameters of the predicate can be obtained. */
 pragma[inline]
 predicate isDifferentResults(
   Expr exp1, Expr exp2, Expr exp3, BinaryBitwiseOperation op1, BinaryBitwiseOperation op2

Original file line number	Diff line number	Diff line change
`@@ -127,7 +127,7 @@ predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {`
`127`	`127`	`)`
`128`	`128`	`}`
`129`	`129`
`130`		`-/** Holds if it is possible to get different values of the expression */`
	`130`	`+/** Holds if different values of the expression obtained from the parameters of the predicate can be obtained. */`
`131`	`131`	`pragma[inline]`
`132`	`132`	`predicate isDifferentResults(`
`133`	`133`	`Expr exp1, Expr exp2, Expr exp3, BinaryBitwiseOperation op1, BinaryBitwiseOperation op2`