Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

Co-authored-by: yoff <lerchedahl@gmail.com>
This commit is contained in:
Rasmus Wriedt Larsen
2023-11-10 15:57:00 +01:00
committed by GitHub
parent 9b0ad8295e
commit b3feb4d7e9

View File

@@ -848,7 +848,7 @@ predicate comprehensionStoreStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {
*/
predicate attributeStoreStep(Node nodeFrom, AttributeContent c, Node nodeTo) {
exists(Node object |
// normally we target any PostUpdateNode. However, for class definitions the class
// Normally we target a PostUpdateNode. However, for class definitions the class
// is only constructed after evaluating its' entire scope, so in terms of python
// evaluations there is no post or pre update nodes, just one node for the class
// expression. Therefore we target the class expression directly.