|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::SVFIR2AbsState, including all inherited members.
| _relEs | SVF::SVFIR2AbsState | private |
| _svfir | SVF::SVFIR2AbsState | private |
| applySummary(AbstractState &es) | SVF::SVFIR2AbsState | |
| getAddrs(AbstractState &es, u32_t id) | SVF::SVFIR2AbsState | inline |
| getByteOffset(const AbstractState &es, const GepStmt *gep) | SVF::SVFIR2AbsState | |
| getContext() | SVF::SVFIR2AbsState | inlinestatic |
| getElementIndex(const AbstractState &es, const GepStmt *gep) | SVF::SVFIR2AbsState | |
| getFPToSIntValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| getFPToUIntValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| getFPTruncValue(const AbstractState &es, const SVFVar *var, const SVFType *dstType) | SVF::SVFIR2AbsState | |
| getGepObjAddress(AbstractState &es, u32_t pointer, APOffset offset) | SVF::SVFIR2AbsState | |
| getInternalID(u32_t idx) | SVF::SVFIR2AbsState | inlinestatic |
| getRangeLimitFromType(const SVFType *type) | SVF::SVFIR2AbsState | |
| getRelEs() | SVF::SVFIR2AbsState | inline |
| getSExtValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| getSIntToFPValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| getTruncValue(const AbstractState &es, const SVFVar *var, const SVFType *dstType) | SVF::SVFIR2AbsState | |
| getUIntToFPValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| getVirtualMemAddress(u32_t idx) | SVF::SVFIR2AbsState | inlinestatic |
| getZExtValue(const AbstractState &es, const SVFVar *var) | SVF::SVFIR2AbsState | |
| globalNulladdrs | SVF::SVFIR2AbsState | static |
| handleAddr(AbstractState &es, const AddrStmt *addr) | SVF::SVFIR2AbsState | |
| handleBinary(AbstractState &es, const BinaryOPStmt *binary) | SVF::SVFIR2AbsState | |
| handleCall(AbstractState &es, const CallPE *callPE) | SVF::SVFIR2AbsState | |
| handleCmp(AbstractState &es, const CmpStmt *cmp) | SVF::SVFIR2AbsState | |
| handleCopy(AbstractState &es, const CopyStmt *copy) | SVF::SVFIR2AbsState | |
| handleGep(AbstractState &es, const GepStmt *gep) | SVF::SVFIR2AbsState | |
| handleLoad(AbstractState &es, const LoadStmt *load) | SVF::SVFIR2AbsState | |
| handlePhi(AbstractState &es, const PhiStmt *phi) | SVF::SVFIR2AbsState | |
| handleRet(AbstractState &es, const RetPE *retPE) | SVF::SVFIR2AbsState | |
| handleSelect(AbstractState &es, const SelectStmt *select) | SVF::SVFIR2AbsState | |
| handleStore(AbstractState &es, const StoreStmt *store) | SVF::SVFIR2AbsState | |
| inAddrTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| initObjVar(AbstractState &as, const ObjVar *var) | SVF::SVFIR2AbsState | |
| inLocToAddrsTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| inLocToValTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| inVarTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| inVarToAddrsTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| inVarToValTable(const AbstractState &es, u32_t id) const | SVF::SVFIR2AbsState | inline |
| isVirtualMemAddress(u32_t val) | SVF::SVFIR2AbsState | inlinestatic |
| narrowAddrs(AbstractState &es, AbstractState &lhs, const AbstractState &rhs) | SVF::SVFIR2AbsState | |
| setRelEs(const RelExeState &relEs) | SVF::SVFIR2AbsState | inline |
| SVFIR2AbsState(SVFIR *ir) | SVF::SVFIR2AbsState | inline |
| widenAddrs(AbstractState &es, AbstractState &lhs, const AbstractState &rhs) | SVF::SVFIR2AbsState |
1.9.1