|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::RelExeState, including all inherited members.
| _addrToVal | SVF::RelExeState | protected |
| _varToVal | SVF::RelExeState | protected |
| AddrToValMap typedef | SVF::RelExeState | |
| buildRelZ3Expr(u32_t cmp, s32_t succ, Set< u32_t > &vars, Set< u32_t > &initVars) | SVF::RelExeState | |
| eqVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs) const | SVF::RelExeState | private |
| existsVar(u32_t varId) const | SVF::RelExeState | inline |
| extractCmpVars(const Z3Expr &expr, Set< u32_t > &res) | SVF::RelExeState | |
| extractSubVars(const Z3Expr &expr, Set< u32_t > &res) | SVF::RelExeState | |
| getContext() | SVF::RelExeState | inlinestatic |
| getInternalID(u32_t idx) | SVF::RelExeState | inlinestatic |
| getLocToVal() const | SVF::RelExeState | inline |
| getVarToVal() const | SVF::RelExeState | inline |
| getVirtualMemAddress(u32_t idx) | SVF::RelExeState | inlinestatic |
| getZ3Expr(u32_t varId) | SVF::RelExeState | inlinevirtual |
| hash() const | SVF::RelExeState | inline |
| isVirtualMemAddress(u32_t val) | SVF::RelExeState | inlinestatic |
| lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs) const | SVF::RelExeState | private |
| load(const Z3Expr &loc) | SVF::RelExeState | |
| load(u32_t objId) | SVF::RelExeState | inlineprotected |
| operator!=(const RelExeState &rhs) const | SVF::RelExeState | inline |
| operator<(const RelExeState &rhs) const | SVF::RelExeState | |
| operator=(const RelExeState &rhs) | SVF::RelExeState | |
| operator=(RelExeState &&rhs) noexcept | SVF::RelExeState | inline |
| operator==(const RelExeState &rhs) const | SVF::RelExeState | |
| operator[](u32_t varId) | SVF::RelExeState | inline |
| printExprValues() | SVF::RelExeState | |
| RelExeState()=default | SVF::RelExeState | |
| RelExeState(VarToValMap &varToVal, AddrToValMap &locToVal) | SVF::RelExeState | inline |
| RelExeState(const RelExeState &rhs) | SVF::RelExeState | inline |
| RelExeState(RelExeState &&rhs) noexcept | SVF::RelExeState | inline |
| store(const Z3Expr &loc, const Z3Expr &value) | SVF::RelExeState | |
| store(u32_t objId, const Z3Expr &z3Expr) | SVF::RelExeState | inlineprotected |
| SVFIR2AbsState class | SVF::RelExeState | friend |
| toZ3Expr(u32_t varId) const | SVF::RelExeState | inlinevirtual |
| VarToValMap typedef | SVF::RelExeState | |
| z3Expr2NumValue(const Z3Expr &e) | SVF::RelExeState | inlinestatic |
| ~RelExeState()=default | SVF::RelExeState | virtual |
1.9.1