Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::NullptrDerefDetector Member List

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

AbstractInterpretationSVF::NullptrDerefDetectorfriend
addBugToReporter(const AEException &e, const ICFGNode *node)SVF::NullptrDerefDetectorinline
AEDetector()SVF::AEDetectorinline
BUF_OVERFLOW enum valueSVF::AEDetector
bugLocSVF::NullptrDerefDetectorprivate
canSafelyDerefPtr(AbstractState &as, const SVFVar *ptr)SVF::NullptrDerefDetector
classof(const AEDetector *detector)SVF::NullptrDerefDetectorinlinestatic
detect(AbstractState &as, const ICFGNode *node)SVF::NullptrDerefDetectorvirtual
detectExtAPI(AbstractState &as, const CallICFGNode *call)SVF::NullptrDerefDetector
DetectorKind enum nameSVF::AEDetector
getKind() constSVF::AEDetectorinline
handleStubFunctions(const CallICFGNode *call)SVF::NullptrDerefDetectorvirtual
isNull(AbstractValue v)SVF::NullptrDerefDetectorinline
isUninit(AbstractValue v)SVF::NullptrDerefDetectorinline
kindSVF::AEDetectorprotected
nodeToBugInfoSVF::NullptrDerefDetectorprivate
NULL_DEREF enum valueSVF::AEDetector
NullptrDerefDetector()SVF::NullptrDerefDetectorinline
recoderSVF::NullptrDerefDetectorprivate
reportBug()SVF::NullptrDerefDetectorinlinevirtual
UNKNOWN enum valueSVF::AEDetector
~AEDetector()=defaultSVF::AEDetectorvirtual
~NullptrDerefDetector()=defaultSVF::NullptrDerefDetector