Skip to content

Commit 7ab91bb

Browse files
author
edvraa
committed
Inline getOptionsArgument
1 parent 3aec9c1 commit 7ab91bb

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

javascript/ql/src/semmle/javascript/dataflow/Nodes.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -169,7 +169,7 @@ class InvokeNode extends DataFlow::SourceNode {
169169
* Holds if the `i`th argument of this invocation is an object literal set to `result`.
170170
*/
171171
pragma[noinline]
172-
ObjectLiteralNode getOptionsArgument(int i) { result.flowsTo(getArgument(i)) }
172+
private ObjectLiteralNode getOptionsArgument(int i) { result.flowsTo(getArgument(i)) }
173173

174174
/** Gets an abstract value representing possible callees of this call site. */
175175
final AbstractValue getACalleeValue() {

javascript/ql/src/semmle/javascript/security/InsecureCookie.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ module Cookie {
7575
class InsecureCookieSession extends ExpressLibraries::CookieSession::MiddlewareInstance, Cookie {
7676
override string getKind() { result = "cookie-session" }
7777

78-
override DataFlow::SourceNode getCookieOptionsArgument() { result = this.getOptionsArgument(0) }
78+
override DataFlow::SourceNode getCookieOptionsArgument() { result.flowsTo(getArgument(0)) }
7979

8080
private DataFlow::Node getCookieFlagValue(string flag) {
8181
result = this.getCookieOptionsArgument().getAPropertyWrite(flag).getRhs()

0 commit comments

Comments
 (0)