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

JS: Also expose "any state" version of tracking predicates

Browse Source
This commit is contained in:
Asger F
2025-11-28 10:16:20 +01:00
parent daf04f1184
commit b12d927020
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1384,6 +1384,13 @@ module API {
result = trackUseNode(nd, false, 0, "")
}
/**
* Gets a node whose forward tracking reaches `nd` in some state (e.g. possibly inside a content at this point).
*/
DataFlow::SourceNode trackUseNodeAnyState(DataFlow::SourceNode nd) {
result = trackUseNode(nd, _, _, _, _)
}
private DataFlow::SourceNode trackDefNode(DataFlow::Node nd, DataFlow::TypeBackTracker t) {
t.start() and
rhs(_, nd) and
@@ -1434,6 +1441,11 @@ module API {
result = trackDefNode(nd, DataFlow::TypeBackTracker::end())
}
/**
* Gets a node reached by the backwards tracking of `nd` in some state (e.g. possibly inside a content at this point).
*/
DataFlow::SourceNode trackDefNodeAnyState(DataFlow::Node nd) { result = trackDefNode(nd, _) }
private DataFlow::SourceNode awaited(DataFlow::InvokeNode call, DataFlow::TypeTracker t) {
t.startInPromise() and
trackUseNode(_, true, _, "").flowsTo(call.getCalleeNode()) and
@@ -1548,9 +1560,15 @@ module API {
DataFlow::SourceNode trackUseNode(DataFlow::SourceNode nd) =
forceLocal(Stage1::trackUseNode/1)(nd, result)
DataFlow::SourceNode trackUseNodeAnyState(DataFlow::SourceNode nd) =
forceLocal(Stage1::trackUseNodeAnyState/1)(nd, result)
DataFlow::SourceNode trackDefNode(DataFlow::SourceNode nd) =
forceLocal(Stage1::trackDefNode/1)(nd, result)
DataFlow::SourceNode trackDefNodeAnyState(DataFlow::Node nd) =
forceLocal(Stage1::trackDefNodeAnyState/1)(nd, result)
predicate edge(TApiNode pred, Label::ApiLabel lbl, TApiNode succ) =
forceLocal(Stage1::edge/3)(pred, lbl, succ)