Skip to content

Commit b66f391

Browse files
committed
Extend source and sink from DataFlow::Node instead of DataFlow::exprNode
1 parent fed506a commit b66f391

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

java/ql/src/Security/CWE/CWE-113/ServletResponseSplitting.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,23 +10,23 @@ class ServletHeaderSplittingSink extends HeaderSplittingSink {
1010
ServletHeaderSplittingSink() {
1111
exists(ResponseAddCookieMethod m, MethodAccess ma |
1212
ma.getMethod() = m and
13-
this.getExpr() = ma.getArgument(0)
13+
this.asExpr() = ma.getArgument(0)
1414
)
1515
or
1616
exists(ResponseAddHeaderMethod m, MethodAccess ma |
1717
ma.getMethod() = m and
18-
this.getExpr() = ma.getAnArgument()
18+
this.asExpr() = ma.getAnArgument()
1919
)
2020
or
2121
exists(ResponseSetHeaderMethod m, MethodAccess ma |
2222
ma.getMethod() = m and
23-
this.getExpr() = ma.getAnArgument()
23+
this.asExpr() = ma.getAnArgument()
2424
)
2525
or
2626
exists(JaxRsResponseBuilder builder, Method m |
2727
m = builder.getAMethod() and m.getName() = "header"
2828
|
29-
this.getExpr() = m.getAReference().getArgument(1)
29+
this.asExpr() = m.getAReference().getArgument(1)
3030
)
3131
}
3232
}

java/ql/src/semmle/code/java/security/ResponseSplitting.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ import semmle.code.java.dataflow.DataFlow
33
/**
44
* Header-splitting sinks. Expressions that end up in an HTTP header.
55
*/
6-
abstract class HeaderSplittingSink extends DataFlow::ExprNode { }
6+
abstract class HeaderSplittingSink extends DataFlow::Node { }
77

88
/**
99
* Sources that cannot be used to perform a header splitting attack.
1010
*/
11-
abstract class SafeHeaderSplittingSource extends DataFlow::ExprNode { }
11+
abstract class SafeHeaderSplittingSource extends DataFlow::Node { }

0 commit comments

Comments
 (0)