CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.6.26 (changelog, source)
Search

Module ModelOutput

Module providing access to the imported models in terms of API graph nodes.

Import path

import semmle.javascript.frameworks.data.internal.ApiGraphModels

Predicates

barrierNode

Holds if node is specified as a barrier with the given kind in an external model.

getABarrierGuardNode

Holds if a barrier model contributed barrier with the given kind for the given branch.

getABarrierGuardNode

Holds if an external model contributed barrier-guard with the given kind and branch.

getABarrierNode

Holds if a barrier model contributed barrier with the given kind.

getABarrierNode

Holds if an external model contributed barrier with the given kind.

getASinkNode

Holds if a sink model contributed sink with the given kind.

getASinkNode

Holds if an external model contributed sink with the given kind.

getASourceNode

Holds if a source model contributed source with the given kind.

getASourceNode

Holds if an external model contributed source with the given kind.

getATypeNode

Holds if node is seen as an instance of type due to a type definition contributed by a model.

getATypeNode

Gets a node that should be seen as an instance of package,type due to a type definition contributed by a CSV model.

getAWarning

Gets an error message relating to an invalid CSV row in a model.

relevantSummaryModel

Holds if a relevant summary exists for these parameters.

resolvedSummaryBase

Holds if a baseNode is an invocation identified by the type,path part of a summary row.

resolvedSummaryRefBase

Holds if a baseNode is a callable identified by the type,path part of a summary row.

sinkNode

Holds if node is specified as a sink with the given kind in an external model.

sourceNode

Holds if node is specified as a source with the given kind in an external model.