ROSE  0.11.145.0
TaintAnalysis Member List

This is the complete list of members for TaintAnalysis, including all inherited members.

Analysis(bool(*f)(CFGNode)=defaultFilter) (defined in Analysis)Analysisinline
debug (defined in TaintAnalysis)TaintAnalysisprotected
filter (defined in Analysis)Analysis
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotected
genInitState(const Function &func, const DataflowNode &node, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)TaintAnalysisvirtual
get_debug() const TaintAnalysisinline
getDescendants(const DataflowNode &n) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getInterAnalysis() const (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
getLatticeAnte(NodeState *state) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getLatticePost(NodeState *state) (defined in IntraFWDataflow)IntraFWDataflowvirtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow)IntraUnitDataflowinlinevirtual
getUltimate(const Function &func) (defined in IntraFWDataflow)IntraFWDataflowvirtual
initializeFunctionNodeState(const Function &func, NodeState *fState) (defined in IntraFWDataflow)IntraFWDataflowvirtual
interAnalysis (defined in IntraProceduralAnalysis)IntraProceduralAnalysisprotected
IntraFWDataflow() (defined in IntraFWDataflow)IntraFWDataflowinline
lattice_info(const TaintLattice *lattice)TaintAnalysisinlineprotectedstatic
ldv_analysis (defined in TaintAnalysis)TaintAnalysisprotected
magic_tainted(SgNode *node, FiniteVarsExprsProductLattice *prodLat)TaintAnalysisprotected
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowprotected
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) (defined in IntraUniDirectionalDataflow)IntraUniDirectionalDataflowvirtual
runAnalysis(const Function &func, NodeState *state) (defined in IntraProceduralDataflow)IntraProceduralDataflowinlinevirtual
set_debug(std::ostream *os)TaintAnalysisinline
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis) (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis) (defined in IntraProceduralDataflow)IntraProceduralDataflowinline
setInterAnalysis(InterProceduralAnalysis *interAnalysis) (defined in IntraProceduralAnalysis)IntraProceduralAnalysisinline
TaintAnalysis(LiveDeadVarsAnalysis *ldv_analysis) (defined in TaintAnalysis)TaintAnalysisinline
transfer(const Function &func, const DataflowNode &node_, NodeState &state, const std::vector< Lattice * > &dfInfo)TaintAnalysisvirtual
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state) (defined in IntraFWDataflow)IntraFWDataflowvirtual
visited (defined in IntraProceduralDataflow)IntraProceduralDataflow
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis)IntraProceduralAnalysisvirtual