CodeQL library for JavaScript/TypeScript

codeql/javascript-all 0.9.0 (changelog, source)

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

Location		LocationSig
Node		NodeSig