ROSE 0.11.145.147
|
This is the complete list of members for TaintAnalysis, including all inherited members.
Analysis(bool(*f)(CFGNode)=defaultFilter) (defined in Analysis) | Analysis | inline |
debug (defined in TaintAnalysis) | TaintAnalysis | protected |
filter (defined in Analysis) | Analysis | |
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | protected |
genInitState(const Function &func, const DataflowNode &node, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts) | TaintAnalysis | virtual |
get_debug() const | TaintAnalysis | inline |
getDescendants(const DataflowNode &n) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
getInterAnalysis() const (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
getLatticeAnte(NodeState *state) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
getLatticePost(NodeState *state) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow) | IntraUnitDataflow | inlinevirtual |
getUltimate(const Function &func) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
initializeFunctionNodeState(const Function &func, NodeState *fState) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
interAnalysis (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | protected |
IntraFWDataflow() (defined in IntraFWDataflow) | IntraFWDataflow | inline |
lattice_info(const TaintLattice *lattice) | TaintAnalysis | inlineprotectedstatic |
ldv_analysis (defined in TaintAnalysis) | TaintAnalysis | protected |
magic_tainted(SgNode *node, FiniteVarsExprsProductLattice *prodLat) | TaintAnalysis | protected |
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | protected |
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) (defined in IntraUniDirectionalDataflow) | IntraUniDirectionalDataflow | virtual |
runAnalysis(const Function &func, NodeState *state) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inlinevirtual |
set_debug(std::ostream *os) | TaintAnalysis | inline |
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis) (defined in IntraProceduralDataflow) | IntraProceduralDataflow | inline |
setInterAnalysis(InterProceduralAnalysis *interAnalysis) (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | inline |
TaintAnalysis(LiveDeadVarsAnalysis *ldv_analysis) (defined in TaintAnalysis) | TaintAnalysis | inline |
transfer(const Function &func, const DataflowNode &node_, NodeState &state, const std::vector< Lattice * > &dfInfo) | TaintAnalysis | virtual |
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state) (defined in IntraFWDataflow) | IntraFWDataflow | virtual |
visited (defined in IntraProceduralDataflow) | IntraProceduralDataflow | |
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis) | IntraProceduralAnalysis | virtual |