Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

yoff · RasmusWL · web-flow · commit 06bd436aea94 · 2020-08-19T08:02:53.000+02:00
Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
@@ -297,7 +297,7 @@ predicate readStep(Node nodeFrom, Content c, Node nodeTo) {
   //   `s.pop()`
   //   nodeFrom is `s`, cfg node
   //   nodeTo is `s.pop()`, cfg node
-  //   c denotes list or set
+  //   c denotes element of list or set
   exists(CallNode call, AttrNode a |
     call.getFunction() = a and
     a.getName() = "pop" and // TODO: Should be made more robust, like Value::named("set.pop").getACall()
