Skip to content

Commit e9ca4a2

Browse files
committed
Update to new MethodCall name
1 parent a1e9564 commit e9ca4a2

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

java/ql/lib/semmle/code/java/security/WeakRandomnessQuery.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -51,10 +51,10 @@ abstract class WeakRandomnessSink extends DataFlow::Node { }
5151
private class CookieSink extends WeakRandomnessSink {
5252
CookieSink() {
5353
this.getType() instanceof TypeCookie and
54-
exists(MethodAccess ma |
55-
ma.getMethod().hasQualifiedName("javax.servlet.http", "HttpServletResponse", "addCookie")
54+
exists(MethodCall mc |
55+
mc.getMethod().hasQualifiedName("javax.servlet.http", "HttpServletResponse", "addCookie")
5656
|
57-
ma.getArgument(0) = this.asExpr()
57+
mc.getArgument(0) = this.asExpr()
5858
)
5959
}
6060
}
@@ -71,7 +71,7 @@ private class CredentialsSink extends WeakRandomnessSink instanceof CredentialsS
7171
private predicate covertsBytesToString(DataFlow::Node bytes, DataFlow::Node str) {
7272
bytes.getType().(Array).getElementType().(PrimitiveType).hasName("byte") and
7373
str.getType() instanceof TypeString and
74-
exists(MethodAccess ma | ma = str.asExpr() | bytes.asExpr() = ma.getAnArgument())
74+
exists(MethodCall mc | mc = str.asExpr() | bytes.asExpr() = mc.getAnArgument())
7575
}
7676

7777
/**

0 commit comments

Comments
 (0)