hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Restrict DF configuration

Browse Source
This commit is contained in:
Mauro Baluda
2022-12-05 11:02:19 +01:00
committed by GitHub
parent 04f1fe523a
commit 16d7dc0853
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql
View File

@@ -29,9 +29,18 @@ predicate isSafeSecureCookieSetting(Expr e) {
class SecureCookieConfiguration extends DataFlow::Configuration {
SecureCookieConfiguration() { this = "SecureCookieConfiguration" }
override predicate isSource(DataFlow::Node source) { any() }
override predicate isSource(DataFlow::Node source) {
exists(Variable cookie, MethodAccess m |
source.asExpr() = cookie.getAnAccess() and
cookie.getAnAccess() = m.getQualifier() and
m.getMethod().getName() = "setSecure"
)
}
override predicate isSink(DataFlow::Node sink) { any() }
override predicate isSink(DataFlow::Node sink) {
sink.asExpr() =
any(MethodAccess add | add.getMethod() instanceof ResponseAddCookieMethod).getArgument(0)
}
}
from MethodAccess add, SecureCookieConfiguration df