CodeQL library for Python
codeql/python-all 1.0.3-dev (changelog, source)
Search

Predicate TypeTrackingInput::loadStoreStep

Holds if the loadContent of nodeFrom is stored in the storeContent of nodeTo.

Import path

import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content loadContent, Content storeContent)