A synthetic node representing the value of an object after a state change.
See QLDoc for PostUpdateNode.
Import path
import semmle.python.dataflow.new.internal.DataFlowPublicA synthetic node representing the value of an object after a state change.
See QLDoc for PostUpdateNode.
import semmle.python.dataflow.new.internal.DataFlowPublic