Update javascript/ql/src/experimental/Security/CWE-614/InsecureCookie.qll

Co-authored-by: Esben Sparre Andreasen <esbena@github.com>
This commit is contained in:
Alessio Della Libera
2020-08-16 14:21:56 +02:00
committed by GitHub
parent 5cae3005f3
commit e463014759

View File

@@ -48,8 +48,10 @@ module InsecureCookie {
result = this.getCookieOptionsArgument().getAPropertyWrite(flag).getRhs()
}
// A cookie is insecure if the `secure` flag is explicitly set to `false`.
override predicate isInsecure() { getCookieFlagValue(flag()).mayHaveBooleanValue(false) }
override predicate isInsecure() {
// A cookie is insecure if the `secure` flag is explicitly set to `false`.
getCookieFlagValue(flag()).mayHaveBooleanValue(false)
}
}
/**