TaintAnalysis Member List

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

Analysis(bool(*f)(CFGNode)=defaultFilter)	Analysis	inline
debug	TaintAnalysis	protected
filter	Analysis
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const)	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)	IntraFWDataflow	virtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)	IntraFWDataflow	virtual
getInterAnalysis() const	IntraProceduralDataflow	inline
getLatticeAnte(NodeState *state)	IntraFWDataflow	virtual
getLatticePost(NodeState *state)	IntraFWDataflow	virtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)	IntraUnitDataflow	inlinevirtual
getUltimate(const Function &func)	IntraFWDataflow	virtual
initializeFunctionNodeState(const Function &func, NodeState *fState)	IntraFWDataflow	virtual
interAnalysis	IntraProceduralAnalysis	protected
IntraFWDataflow()	IntraFWDataflow	inline
lattice_info(const TaintLattice *lattice)	TaintAnalysis	inlineprotectedstatic
ldv_analysis	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)	IntraUniDirectionalDataflow	protected
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)	IntraUniDirectionalDataflow	virtual
IntraUnitDataflow::runAnalysis(const Function &func, NodeState *state)	IntraProceduralDataflow	inlinevirtual
set_debug(std::ostream *os)	TaintAnalysis	inline
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis)	IntraProceduralDataflow	inline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis)	IntraProceduralDataflow	inline
IntraProceduralAnalysis::setInterAnalysis(InterProceduralAnalysis *interAnalysis)	IntraProceduralAnalysis	inline
TaintAnalysis(LiveDeadVarsAnalysis *ldv_analysis)	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)	IntraFWDataflow	virtual
visited	IntraProceduralDataflow
~IntraProceduralAnalysis()	IntraProceduralAnalysis	virtual