| AbstractStateManager(SVFIR *svfir, AndersenWaveDiff *pta) | SVF::AbstractStateManager | |
| abstractTrace | SVF::AbstractStateManager | private |
| getAbstractState(const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractState(const Set< const ValVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractState(const Set< const ObjVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractState(const Set< const SVFVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractValue(const ValVar *var, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractValue(const ObjVar *var, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAbstractValue(const SVFVar *var, const ICFGNode *node) | SVF::AbstractStateManager | |
| getAllocaInstByteSize(const AddrStmt *addr) | SVF::AbstractStateManager | |
| getDefSiteOfObjVar(const ObjVar *obj, const ICFGNode *node) const | SVF::AbstractStateManager | |
| getDefSiteOfValVar(const ValVar *var) const | SVF::AbstractStateManager | |
| getGepByteOffset(const GepStmt *gep) | SVF::AbstractStateManager | |
| getGepElementIndex(const GepStmt *gep) | SVF::AbstractStateManager | |
| getGepObjAddrs(const ValVar *pointer, IntervalValue offset) | SVF::AbstractStateManager | |
| getPointeeElement(const ObjVar *var, const ICFGNode *node) | SVF::AbstractStateManager | |
| getTrace() | SVF::AbstractStateManager | inline |
| getUseSitesOfObjVar(const ObjVar *obj, const ICFGNode *node) const | SVF::AbstractStateManager | |
| getUseSitesOfValVar(const ValVar *var) const | SVF::AbstractStateManager | |
| hasAbstractState(const ICFGNode *node) | SVF::AbstractStateManager | |
| hasAbstractValue(const ValVar *var, const ICFGNode *node) const | SVF::AbstractStateManager | |
| hasAbstractValue(const ObjVar *var, const ICFGNode *node) const | SVF::AbstractStateManager | |
| hasAbstractValue(const SVFVar *var, const ICFGNode *node) const | SVF::AbstractStateManager | |
| loadValue(const ValVar *pointer, const ICFGNode *node) | SVF::AbstractStateManager | |
| operator[](const ICFGNode *node) | SVF::AbstractStateManager | inline |
| storeValue(const ValVar *pointer, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractStateManager | |
| svfg | SVF::AbstractStateManager | private |
| svfir | SVF::AbstractStateManager | private |
| updateAbstractState(const ICFGNode *node, const AbstractState &state) | SVF::AbstractStateManager | |
| updateAbstractValue(const ValVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractStateManager | |
| updateAbstractValue(const ObjVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractStateManager | |
| updateAbstractValue(const SVFVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractStateManager | |
| ~AbstractStateManager() | SVF::AbstractStateManager | |
