Skip to content

TaintAnalysis::transfer

Adjust a result vertex pointer. This function has an opportunity to adjust the result lattice vertex pointer based on input lattice vertices at a particular AST node at a particular time in the data flow. For instance, if the AST node is an SgAddOp binry operation then we can obtain the vertices to which the two operands point (say, VERTEX_TAINTED and VERTEX_UNTAINTED) and adjust the result so it points to a particular vertex (say, VERTEX_TAINTED).

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/taintAnalysis.h>

virtual
bool
transfer(
    Function const& func,
    DataflowNode const& node_,
    NodeState& state,
    std::vector<Lattice*> const& dfInfo);

Description

This method returns true if it changed where the result points, and false otherwise. For example, if the result originally pointed to VERTEX_BOTTOM but now points to VERTEX_TAINTED then we would return true.

Parameters

Name

Description

dfInfo

A standard container which offers fixed time access to individual elements in any order.

Created with MrDocs