hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 20:51:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: Call forceLocal on the output of Stage 1

Browse Source
This commit is contained in:
Asger F
2025-11-28 10:15:58 +01:00
parent 271567c88f
commit daf04f1184
1 changed files with 19 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
javascript/ql/lib/semmle/javascript/ApiGraphs.qll
View File

@@ -1539,6 +1539,25 @@ module API {
private module Stage1 = Stage<Stage1Input>;
overlay[local]
private module Stage1Local {
predicate use(TApiNode node, DataFlow::Node ref) = forceLocal(Stage1::use/2)(node, ref)
predicate rhs(TApiNode node, DataFlow::Node def) = forceLocal(Stage1::rhs/2)(node, def)
DataFlow::SourceNode trackUseNode(DataFlow::SourceNode nd) =
forceLocal(Stage1::trackUseNode/1)(nd, result)
DataFlow::SourceNode trackDefNode(DataFlow::SourceNode nd) =
forceLocal(Stage1::trackDefNode/1)(nd, result)
predicate edge(TApiNode pred, Label::ApiLabel lbl, TApiNode succ) =
forceLocal(Stage1::edge/3)(pred, lbl, succ)
DataFlow::InvokeNode getAPromisifiedInvocation(TApiNode callee, int bound, TApiNode succ) =
forceLocal(Stage1::getAPromisifiedInvocation/3)(callee, bound, succ, result)
}
cached
private module Cached {
cached