SVF::BufOverflowDetector Member List

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

AbstractInterpretation	SVF::BufOverflowDetector	friend
addBugToReporter(const AEException &e, const ICFGNode *node)	SVF::BufOverflowDetector	inline
addToGepObjOffsetFromBase(const GepObjVar *obj, const IntervalValue &offset)	SVF::BufOverflowDetector	inline
AEDetector()	SVF::AEDetector	inline
BUF_OVERFLOW enum value	SVF::AEDetector
BufOverflowDetector()	SVF::BufOverflowDetector	inline
bugLoc	SVF::BufOverflowDetector	private
canSafelyAccessMemory(const ValVar *value, const IntervalValue &len, const ICFGNode *node)	SVF::BufOverflowDetector
classof(const AEDetector *detector)	SVF::BufOverflowDetector	inlinestatic
detect(const ICFGNode *) override	SVF::BufOverflowDetector	virtual
detectExtAPI(const CallICFGNode *call)	SVF::BufOverflowDetector
DetectorKind enum name	SVF::AEDetector
detectStrcat(const CallICFGNode *call)	SVF::BufOverflowDetector	private
detectStrcpy(const CallICFGNode *call)	SVF::BufOverflowDetector	private
extAPIBufOverflowCheckRules	SVF::BufOverflowDetector	private
gepObjOffsetFromBase	SVF::BufOverflowDetector	private
getAccessOffset(NodeID objId, const GepStmt *gep)	SVF::BufOverflowDetector
getGepObjOffsetFromBase(const GepObjVar *obj) const	SVF::BufOverflowDetector	inline
getKind() const	SVF::AEDetector	inline
handleStubFunctions(const CallICFGNode *) override	SVF::BufOverflowDetector	virtual
hasGepObjOffsetFromBase(const GepObjVar *obj) const	SVF::BufOverflowDetector	inline
initExtAPIBufOverflowCheckRules()	SVF::BufOverflowDetector
kind	SVF::AEDetector	protected
nodeToBugInfo	SVF::BufOverflowDetector	private
NULL_DEREF enum value	SVF::AEDetector
recoder	SVF::BufOverflowDetector	private
reportBug() override	SVF::BufOverflowDetector	inlinevirtual
UNKNOWN enum value	SVF::AEDetector
updateGepObjOffsetFromBase(const ICFGNode *node, AddressValue gepAddrs, AddressValue objAddrs, IntervalValue offset)	SVF::BufOverflowDetector
~AEDetector()=default	SVF::AEDetector	virtual
~BufOverflowDetector()=default	SVF::BufOverflowDetector