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

Create DataFlowImplConsistency.qll

Browse Source
This commit is contained in:
Asger F
2023-10-04 15:10:40 +02:00
parent 3ef478669b
commit 16df2c31bb
1 changed files with 42 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowImplConsistency.qll Normal file
View File

@@ -0,0 +1,42 @@
private import javascript
private import codeql.dataflow.internal.DataFlowImplConsistency
private import sharedlib.DataFlowArg
private import semmle.javascript.dataflow.internal.DataFlowPrivate
private import semmle.javascript.dataflow.internal.DataFlowNode
private module ConsistencyConfig implements InputSig<JSDataFlow> {
private predicate isAmbientNode(DataFlow::Node node) {
exists(AstNode n | n.isAmbient() |
node = TValueNode(n) or
node = TThisNode(n) or
node = TReflectiveParametersNode(n) or
node = TPropNode(n) or
node = TFunctionSelfReferenceNode(n) or
node = TExceptionalFunctionReturnNode(n) or
node = TExprPostUpdateNode(n) or
node = TExceptionalInvocationReturnNode(n) or
node = TDestructuredModuleImportNode(n)
)
}
predicate missingLocationExclude(DataFlow::Node n) {
n instanceof FlowSummaryNode
or
n instanceof FlowSummaryIntermediateAwaitStoreNode
or
n instanceof GenericSynthesizedNode
or
n = DataFlow::globalAccessPathRootPseudoNode()
}
predicate uniqueNodeLocationExclude(DataFlow::Node n) { missingLocationExclude(n) }
predicate uniqueEnclosingCallableExclude(DataFlow::Node n) { isAmbientNode(n) }
predicate uniqueCallEnclosingCallableExclude(DataFlowCall call) {
isAmbientNode(call.asOrdinaryCall()) or
isAmbientNode(call.asAccessorCall())
}
}
module Consistency = MakeConsistency<JSDataFlow, JSTaintFlow, ConsistencyConfig>;