Update TimingAttack.qll

This commit is contained in:
Ahmed Farid
2022-07-27 00:06:28 +01:00
committed by GitHub
parent ad57ff4def
commit ca4fa0aaae

View File

@@ -71,7 +71,7 @@ class SecretSource extends DataFlow::Node {
SecretSource() { secret = this.asExpr() }
/** Holds if the source of secret was remote user input. */
/** Holds if the secret was deliverd by remote user. */
predicate includesUserInput() {
exists(UserInputSecretConfig config |
config.hasFlowTo(DataFlow2::exprNode(secret))