Update comparisonBarrierGuard qldoc

This commit is contained in:
Chris Smowton
2022-06-21 12:12:17 +01:00
committed by GitHub
parent 8ae4c21a3e
commit 7bb0d62863

View File

@@ -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) {