TaintAnalysis::genInitState

Generate initial lattice state. Generates the initial lattice state for the given dataflow node, in the given function, with the given node state.

Synopsis

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

virtual
void
genInitState(
    Function const& func,
    DataflowNode const& node,
    NodeState const& state,
    std::vector<Lattice*>& initLattices,
    std::vector<NodeFact*>& initFacts);

Parameters

Name	Description
initLattices	A standard container which offers fixed time access to individual elements in any order.
initFacts	A standard container which offers fixed time access to individual elements in any order.

Created with MrDocs