Class VariableUpdate
A node that updates a variable.
Import path
import semmle.code.cil.DataFlow
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getSource | Gets the value assigned, if any. |
getVariable | Gets the variable that is updated. |
updatesAt | Holds if this variable update happens at index |
Inherited predicates
getLocation | Gets the location of this dataflow node. | from DataFlowNode |
getMethod | Gets the method that contains this dataflow node. | from DataFlowNode |
getType | Gets the type of this data flow node. | from DataFlowNode |
toString | Gets a textual representation of this data flow node. | from DataFlowNode |