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
allAnalyzedNodes	SVF::AbstractInterpretation	private
analyse()	SVF::AbstractInterpretation
analyzeFromAllProgEntries()	SVF::AbstractInterpretation
api	SVF::AbstractInterpretation	private
BufOverflowDetector	SVF::AbstractInterpretation	friend
callGraph	SVF::AbstractInterpretation	private
checkPointAllSet()	SVF::AbstractInterpretation	private
checkpoints	SVF::AbstractInterpretation
collectCheckPoint()	SVF::AbstractInterpretation	private
collectProgEntryFuns()	SVF::AbstractInterpretation
detectors	SVF::AbstractInterpretation	private
func_map	SVF::AbstractInterpretation	private
getAbsStateFromTrace(const ICFGNode *node)	SVF::AbstractInterpretation	inline
getAEInstance()	SVF::AbstractInterpretation	inlinestatic
getCallee(const CallICFGNode *callNode)	SVF::AbstractInterpretation	private
getNextNodes(const ICFGNode *node) const	SVF::AbstractInterpretation	private
getNextNodesOfCycle(const ICFGCycleWTO *cycle) const	SVF::AbstractInterpretation	private
getUtils()	SVF::AbstractInterpretation	inlineprivate
handleCallSite(const ICFGNode *node)	SVF::AbstractInterpretation	privatevirtual
handleExtCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
handleFunCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
handleFunction(const ICFGNode *funEntry, const CallICFGNode *caller=nullptr)	SVF::AbstractInterpretation	private
handleGlobalNode()	SVF::AbstractInterpretation	privatevirtual
handleICFGNode(const ICFGNode *node)	SVF::AbstractInterpretation	private
handleLoopOrRecursion(const ICFGCycleWTO *cycle, const CallICFGNode *caller=nullptr)	SVF::AbstractInterpretation	privatevirtual
HandleRecur enum name	SVF::AbstractInterpretation
handleRecursiveCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
handleSingletonWTO(const ICFGSingletonWTO *icfgSingletonWto)	SVF::AbstractInterpretation	privatevirtual
handleSVFStatement(const SVFStmt *stmt)	SVF::AbstractInterpretation	privatevirtual
hasAbsStateFromTrace(const ICFGNode *node)	SVF::AbstractInterpretation	inlineprivate
icfg	SVF::AbstractInterpretation	private
isBranchFeasible(const IntraCFGEdge *intraEdge, AbstractState &as)	SVF::AbstractInterpretation	private
isCmpBranchFeasible(const CmpStmt *cmpStmt, s64_t succ, AbstractState &as)	SVF::AbstractInterpretation	private
isExtCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	privatevirtual
isRecursiveCallSite(const CallICFGNode *callNode, const FunObjVar *)	SVF::AbstractInterpretation	privatevirtual
isRecursiveFun(const FunObjVar *fun)	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
NullptrDerefDetector	SVF::AbstractInterpretation	friend
preAnalysis	SVF::AbstractInterpretation	private
runOnModule(ICFG *icfg)	SVF::AbstractInterpretation	virtual
setTopToObjInRecursion(const CallICFGNode *callnode)	SVF::AbstractInterpretation	privatevirtual
shouldApplyNarrowing(const FunObjVar *fun)	SVF::AbstractInterpretation	private
skipRecursiveCall(const CallICFGNode *callNode)	SVF::AbstractInterpretation	private
stat	SVF::AbstractInterpretation	private
svfir	SVF::AbstractInterpretation	private
TOP enum value	SVF::AbstractInterpretation
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
WIDEN_NARROW enum value	SVF::AbstractInterpretation
WIDEN_ONLY enum value	SVF::AbstractInterpretation
~AbstractInterpretation()	SVF::AbstractInterpretation	virtual