For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if pred → succ should be considered a taint-propagating
data flow edge through a promise.
These steps consider a promise object to tainted if it can resolve to
a tainted value.
predicate promiseStep(Node pred, Node succ)