CodeQL library for C#
Search

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 i in basic block bb.

    Inherited predicates

    flowsTo

    Holds if this node flows to sink in zero or more steps.

    from DataFlowNode
    getALocalFlowSucc

    Holds if this node flows to sink in one step. tt is the tainting that occurs during this step.

    from DataFlowNode
    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