hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20323 from asgerf/js/remove-totalorder

Browse Source 
JS: Remove totalorder()
This commit is contained in:
Asger F
2025-09-02 22:08:33 +02:00
committed by GitHub
parent ab3ad20a1e 45b8158fe5
commit 1ea843f23c
1 changed files with 0 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files

58
javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowPrivate.qll
View File

@@ -408,12 +408,6 @@ class DataFlowCallable extends TDataFlowCallable {
/** Gets the corresponding `LibraryCallable` if this is a library callable. */
LibraryCallable asLibraryCallable() { this = MkLibraryCallable(result) }
int totalorder() {
result = TotalOrdering::astNodeId(this.asSourceCallable()).bitShiftLeft(1)
or
result = TotalOrdering::libraryCallableId(this.asLibraryCallable()).bitShiftLeft(1) + 1
}
}
/** A callable defined in library code, identified by a unique string. */
@@ -797,47 +791,6 @@ private newtype TDataFlowCall =
FlowSummaryImpl::Private::summaryCallbackRange(c, receiver)
}
private module TotalOrdering {
private predicate astNodeRefl(AstNode x, AstNode y) { x = y }
int astNodeId(AstNode n) = equivalenceRelation(astNodeRefl/2)(n, result)
predicate dataFlowNodeId(DataFlow::Node node, int cls, int content) {
exists(AstNode n |
node = TValueNode(n) and cls = 1 and content = astNodeId(n)
or
node = TReflectiveCallNode(n, _) and cls = 2 and content = astNodeId(n)
)
}
predicate callId(DataFlowCall call, int cls, int child, int extra) {
exists(DataFlow::Node node |
call = MkOrdinaryCall(node) and dataFlowNodeId(node, cls - 1000, child) and extra = 0
or
call = MkPartialCall(node, _) and dataFlowNodeId(node, cls - 2000, child) and extra = 0
or
call = MkBoundCall(node, extra) and dataFlowNodeId(node, cls - 3000, child)
or
call = MkAccessorCall(node) and dataFlowNodeId(node, cls - 4000, child) and extra = 0
)
or
exists(Function f |
call = MkImpliedLambdaCall(f) and cls = 5000 and child = astNodeId(f) and extra = 0
)
or
exists(
FlowSummaryImpl::Public::SummarizedCallable c, FlowSummaryImpl::Private::SummaryNode receiver
|
call = MkSummaryCall(c, receiver) and
cls = 6000 and
c = rank[child](FlowSummaryImpl::Public::SummarizedCallable cs) and
extra = 0
)
}
int libraryCallableId(LibraryCallable callable) { callable = rank[result](LibraryCallable c) }
}
class DataFlowCall extends TDataFlowCall {
DataFlowCallable getEnclosingCallable() { none() } // Overridden in subclass
@@ -861,15 +814,6 @@ class DataFlowCall extends TDataFlowCall {
}
Location getLocation() { none() } // Overridden in subclass
int totalorder() {
this =
rank[result](DataFlowCall call, int x, int y, int z |
TotalOrdering::callId(call, x, y, z)
|
call order by x, y, z
)
}
}
private class OrdinaryCall extends DataFlowCall, MkOrdinaryCall {
@@ -1653,8 +1597,6 @@ abstract class NodeRegion extends Unit {
/** Holds if this region contains `n`. */
predicate contains(Node n) { none() }
int totalOrder() { none() }
}
/**