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

JS: Add instantiation boilerplate

Browse Source 
Note that this commit won't compile on its own, but putting the boilerplate in its own commit
This commit is contained in:
Asger F
2023-10-03 10:06:02 +02:00
parent c839822eb9
commit 3455463e71
6 changed files with 33 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlow.qll Normal file
View File

@@ -0,0 +1,4 @@
private import codeql.dataflow.DataFlow
private import DataFlowArg
import DataFlowMake<JSDataFlow>
import DataFlowImplSpecific::Public

19
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowArg.qll Normal file
View File

@@ -0,0 +1,19 @@
private import DataFlowImplSpecific
private import codeql.dataflow.DataFlow as SharedDataFlow
private import codeql.dataflow.TaintTracking as SharedTaintTracking
module JSDataFlow implements SharedDataFlow::InputSig {
import Private
import Public
// Explicitly implement signature members that have a default
predicate typeStrongerThan = Private::typeStrongerThan/2;
predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;
predicate accessPathLimit = Private::accessPathLimit/0;
}
module JSTaintFlow implements SharedTaintTracking::InputSig<JSDataFlow> {
import semmle.javascript.dataflow.internal.TaintTrackingPrivate
}

3
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowImpl.qll Normal file
View File

@@ -0,0 +1,3 @@
private import codeql.dataflow.internal.DataFlowImpl
private import DataFlowArg
import MakeImpl<JSDataFlow>

3
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowImplCommon.qll Normal file
View File

@@ -0,0 +1,3 @@
private import DataFlowArg
private import codeql.dataflow.internal.DataFlowImplCommon
import MakeImplCommon<JSDataFlow>

3
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/TaintTracking.qll Normal file
View File

@@ -0,0 +1,3 @@
private import codeql.dataflow.TaintTracking
private import DataFlowArg
import TaintFlowMake<JSDataFlow, JSTaintFlow>