Update comparisonBarrierGuard qldoc

smowton · web-flow · commit 7bb0d628638c · 2022-06-21T12:12:17.000+01:00
diff --git a/go/ql/src/Security/CWE-326/InsufficientKeySize.ql b/go/ql/src/Security/CWE-326/InsufficientKeySize.ql
@@ -34,7 +34,7 @@ class RsaKeyTrackingConfiguration extends DataFlow::Configuration {
 }
 
 /**
- * A comparison which guarantees that an expression is at least 2048,
+ * Holds if `g` is a comparison which guarantees that `e` is at least 2048 on `branch`,
  * considered as a barrier guard for key sizes.
  */
 predicate comparisonBarrierGuard(DataFlow::Node g, Expr e, boolean branch) {

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ class RsaKeyTrackingConfiguration extends DataFlow::Configuration {`
`34`	`34`	`}`
`35`	`35`
`36`	`36`	`/**`
`37`		`- * A comparison which guarantees that an expression is at least 2048,`
	`37`	+ * Holds if `g` is a comparison which guarantees that `e` is at least 2048 on `branch`,
`38`	`38`	`* considered as a barrier guard for key sizes.`
`39`	`39`	`*/`
`40`	`40`	`predicate comparisonBarrierGuard(DataFlow::Node g, Expr e, boolean branch) {`