SVF::AbstractInterpretation Member List

This is the complete list of members for SVF::AbstractInterpretation, including all inherited members.

_reverse_predicate	SVF::AbstractInterpretation	private
_switch_lhsrhs_predicate	SVF::AbstractInterpretation	private
AbstractInterpretation()	SVF::AbstractInterpretation
abstractTrace	SVF::AbstractInterpretation	private
addDetector(std::unique_ptr< AEDetector > detector)	SVF::AbstractInterpretation	inline
AEAPI	SVF::AbstractInterpretation	friend
AEStat	SVF::AbstractInterpretation	friend
analyse()	SVF::AbstractInterpretation
api	SVF::AbstractInterpretation	private
BufOverflowDetector	SVF::AbstractInterpretation	friend
CallGraphSCC typedef	SVF::AbstractInterpretation
callSiteStack	SVF::AbstractInterpretation	private
checkPointAllSet()	SVF::AbstractInterpretation	private
checkpoints	SVF::AbstractInterpretation
collectCheckPoint()	SVF::AbstractInterpretation	private
detectors	SVF::AbstractInterpretation	private
directCallFunPass(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
extCallPass(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
func_map	SVF::AbstractInterpretation	private
funcToWTO	SVF::AbstractInterpretation	private
getAbsStateFromTrace(const ICFGNode *node)	SVF::AbstractInterpretation	inlineprivate
getAEInstance()	SVF::AbstractInterpretation	inlinestatic
getUtils()	SVF::AbstractInterpretation	inlineprivate
handleCallSite(const ICFGNode *node)	SVF::AbstractInterpretation	privatevirtual
handleCycleWTO(const ICFGCycleWTO *cycle)	SVF::AbstractInterpretation	privatevirtual
handleGlobalNode()	SVF::AbstractInterpretation	privatevirtual
handleSingletonWTO(const ICFGSingletonWTO *icfgSingletonWto)	SVF::AbstractInterpretation	privatevirtual
handleSVFStatement(const SVFStmt *stmt)	SVF::AbstractInterpretation	privatevirtual
handleWTOComponent(const ICFGWTOComp *wtoComp)	SVF::AbstractInterpretation	private
handleWTOComponents(const std::list< const ICFGWTOComp * > &wtoComps)	SVF::AbstractInterpretation	private
hasAbsStateFromTrace(const ICFGNode *node)	SVF::AbstractInterpretation	inlineprivate
icfg	SVF::AbstractInterpretation	private
indirectCallFunPass(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
initWTO()	SVF::AbstractInterpretation	private
isBranchFeasible(const IntraCFGEdge *intraEdge, AbstractState &as)	SVF::AbstractInterpretation	private
isCmpBranchFeasible(const CmpStmt *cmpStmt, s64_t succ, AbstractState &as)	SVF::AbstractInterpretation	private
isDirectCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
isExtCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
isIndirectCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
isRecursiveCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
isSwitchBranchFeasible(const SVFVar *var, s64_t succ, AbstractState &as)	SVF::AbstractInterpretation	private
mergeStatesFromPredecessors(const ICFGNode *icfgNode)	SVF::AbstractInterpretation	private
moduleName	SVF::AbstractInterpretation	private
recursiveCallPass(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
recursiveFuns	SVF::AbstractInterpretation	private
runOnModule(ICFG *icfg)	SVF::AbstractInterpretation	virtual
SkipRecursiveCall(const CallICFGNode *callnode)	SVF::AbstractInterpretation	privatevirtual
stat	SVF::AbstractInterpretation	private
svfir	SVF::AbstractInterpretation	private
updateStateOnAddr(const AddrStmt *addr)	SVF::AbstractInterpretation	private
updateStateOnBinary(const BinaryOPStmt *binary)	SVF::AbstractInterpretation	private
updateStateOnCall(const CallPE *callPE)	SVF::AbstractInterpretation	private
updateStateOnCmp(const CmpStmt *cmp)	SVF::AbstractInterpretation	private
updateStateOnCopy(const CopyStmt *copy)	SVF::AbstractInterpretation	private
updateStateOnGep(const GepStmt *gep)	SVF::AbstractInterpretation	private
updateStateOnLoad(const LoadStmt *load)	SVF::AbstractInterpretation	private
updateStateOnPhi(const PhiStmt *phi)	SVF::AbstractInterpretation	private
updateStateOnRet(const RetPE *retPE)	SVF::AbstractInterpretation	private
updateStateOnSelect(const SelectStmt *select)	SVF::AbstractInterpretation	private
updateStateOnStore(const StoreStmt *store)	SVF::AbstractInterpretation	private
utils	SVF::AbstractInterpretation	private
~AbstractInterpretation()	SVF::AbstractInterpretation	virtual