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

Module signature GraphExportSig

Specifies a graph to export in GraphExport.

Import path

import codeql.mad.dynamic.GraphExport

Predicates

edge

Holds if an edge pred -> succ exist with the access path path.

exposedName

Holds if node is exposed to downstream packages with the given (type, path) tuple.

hasTypeSummary

Holds if host has a method that returns this, and path is the path from host to the method followed by the appropriate ReturnValue token.

mustBeNamed

Holds if node must be named if it is part of the exported graph.

shouldContain

Holds if the exported graph should contain node, if it is reachable from an exposed node.

shouldNotContain

Holds if paths going through node should be blocked.

suggestedName

Holds if name is a good name for node that should be used in case the node needs to be named with a type name.

Parameters

LocationLocationSig
NodeNodeSig