CodeQL library for JavaScript
codeql/javascript-all 0.7.4 ( changelog , source )

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 )