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

Instantiate shared FlowSummary library

Browse Source
This commit is contained in:
Asger F
2024-06-25 13:35:49 +02:00
parent f0d7c3a7f0
commit dd7aff555d
2 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll
View File

@@ -294,6 +294,9 @@ string encodeArgumentPosition(ArgumentPosition pos) {
positionName(pos, result) and result != "any"
}
/** Gets the return kind corresponding to specification `"ReturnValue"`. */
ReturnKind getStandardReturnValueKind() { result = MkNormalReturnKind() }
/** Holds if input specification component `c` needs a reference. */
predicate inputNeedsReferenceSpecific(string c) { none() }

9
javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowArg.qll
View File

@@ -2,6 +2,7 @@ private import semmle.javascript.Locations
private import DataFlowImplSpecific
private import codeql.dataflow.DataFlow as SharedDataFlow
private import codeql.dataflow.TaintTracking as SharedTaintTracking
private import codeql.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
module JSDataFlow implements SharedDataFlow::InputSig<Location> {
import Private
@@ -22,3 +23,11 @@ module JSDataFlow implements SharedDataFlow::InputSig<Location> {
module JSTaintFlow implements SharedTaintTracking::InputSig<Location, JSDataFlow> {
import semmle.javascript.dataflow.internal.TaintTrackingPrivate
}
module JSFlowSummary implements FlowSummaryImpl::InputSig<Location, JSDataFlow> {
private import semmle.javascript.dataflow.internal.FlowSummaryPrivate as FlowSummaryPrivate
import FlowSummaryPrivate
// Explicitly implement signature members that have a default
predicate callbackSelfParameterPosition = FlowSummaryPrivate::callbackSelfParameterPosition/0;
}