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

Member predicate DataFlow::Configuration::isAdditionalStoreStep

EXPERIMENTAL. This API may change in the future.

Holds if pred should be stored in the object succ under the property prop. The object succ must be a DataFlow::SourceNode for the object wherein the value is stored.

predicate isAdditionalStoreStep(Node pred, SourceNode succ, string prop)