Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF
NullptrDerefDetector
SVF::NullptrDerefDetector Member List
This is the complete list of members for
SVF::NullptrDerefDetector
, including all inherited members.
AbstractInterpretation
SVF::NullptrDerefDetector
friend
addBugToReporter
(const AEException &e, const ICFGNode *node)
SVF::NullptrDerefDetector
inline
AEDetector
()
SVF::AEDetector
inline
BUF_OVERFLOW
enum value
SVF::AEDetector
bugLoc
SVF::NullptrDerefDetector
private
canSafelyDerefPtr
(AbstractState &as, const SVFVar *ptr)
SVF::NullptrDerefDetector
classof
(const AEDetector *detector)
SVF::NullptrDerefDetector
inline
static
detect
(AbstractState &as, const ICFGNode *node)
SVF::NullptrDerefDetector
virtual
detectExtAPI
(AbstractState &as, const CallICFGNode *call)
SVF::NullptrDerefDetector
DetectorKind
enum name
SVF::AEDetector
getKind
() const
SVF::AEDetector
inline
handleStubFunctions
(const CallICFGNode *call)
SVF::NullptrDerefDetector
virtual
isNull
(AbstractValue v)
SVF::NullptrDerefDetector
inline
isUninit
(AbstractValue v)
SVF::NullptrDerefDetector
inline
kind
SVF::AEDetector
protected
nodeToBugInfo
SVF::NullptrDerefDetector
private
NULL_DEREF
enum value
SVF::AEDetector
NullptrDerefDetector
()
SVF::NullptrDerefDetector
inline
recoder
SVF::NullptrDerefDetector
private
reportBug
()
SVF::NullptrDerefDetector
inline
virtual
UNKNOWN
enum value
SVF::AEDetector
~AEDetector
()=default
SVF::AEDetector
virtual
~NullptrDerefDetector
()=default
SVF::NullptrDerefDetector
Generated by
1.9.8