We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 38b811b commit f7a8a8aCopy full SHA for f7a8a8a
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -383,7 +383,12 @@ module EssaFlow {
383
//--------
384
/** A module for transforming step relations. */
385
module StepRelationTransformations {
386
- /** A step relation */
+ /**
387
+ * Holds if there is a step from `nodeFrom` to `nodeTo` in
388
+ * the step relation to be transformed.
389
+ *
390
+ * This is the input relation to the transformations.
391
+ */
392
signature predicate stepSig(Node nodeFrom, Node nodeTo);
393
394
/**
0 commit comments