This is the complete list of members for SVF::BufOverflowDetector, including all inherited members.
| AbstractInterpretation class | 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(AbstractState &as, const SVFVar *value, const IntervalValue &len) | SVF::BufOverflowDetector | |
| classof(const AEDetector *detector) | SVF::BufOverflowDetector | inlinestatic |
| detect(AbstractState &as, const ICFGNode *) | SVF::BufOverflowDetector | virtual |
| detectExtAPI(AbstractState &as, const CallICFGNode *call) | SVF::BufOverflowDetector | |
| DetectorKind enum name | SVF::AEDetector | |
| detectStrcat(AbstractState &as, const CallICFGNode *call) | SVF::BufOverflowDetector | private |
| detectStrcpy(AbstractState &as, const CallICFGNode *call) | SVF::BufOverflowDetector | private |
| extAPIBufOverflowCheckRules | SVF::BufOverflowDetector | private |
| gepObjOffsetFromBase | SVF::BufOverflowDetector | private |
| getAccessOffset(AbstractState &as, NodeID objId, const GepStmt *gep) | SVF::BufOverflowDetector | |
| getGepObjOffsetFromBase(const GepObjVar *obj) const | SVF::BufOverflowDetector | inline |
| getKind() const | SVF::AEDetector | inline |
| handleStubFunctions(const CallICFGNode *) | SVF::BufOverflowDetector | virtual |
| hasGepObjOffsetFromBase(const GepObjVar *obj) const | SVF::BufOverflowDetector | inline |
| initExtAPIBufOverflowCheckRules() | SVF::BufOverflowDetector | |
| kind | SVF::AEDetector | protected |
| nodeToBugInfo | SVF::BufOverflowDetector | private |
| recoder | SVF::BufOverflowDetector | private |
| reportBug() | SVF::BufOverflowDetector | inlinevirtual |
| UNKNOWN enum value | SVF::AEDetector | |
| updateGepObjOffsetFromBase(AddressValue gepAddrs, AddressValue objAddrs, IntervalValue offset) | SVF::BufOverflowDetector | |
| ~AEDetector()=default | SVF::AEDetector | virtual |
| ~BufOverflowDetector()=default | SVF::BufOverflowDetector | |
