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

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

_addrToAbsValSVF::AbstractStateprotected
_varToAbsValSVF::AbstractStateprotected
AbstractState()SVF::AbstractStateinline
AbstractState(VarToAbsValMap &_varToValMap, AddrToAbsValMap &_locToValMap)SVF::AbstractStateinline
AbstractState(const AbstractState &rhs)SVF::AbstractStateinline
AbstractState(AbstractState &&rhs)SVF::AbstractStateinline
AddrToAbsValMap typedefSVF::AbstractState
bottom() constSVF::AbstractStateinline
clear()SVF::AbstractStateinline
equals(const AbstractState &other) constSVF::AbstractState
eqVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)SVF::AbstractStateinlinestatic
geqVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)SVF::AbstractStateinlinestatic
getAllocaInstByteSize(const AddrStmt *addr)SVF::AbstractState
getByteOffset(const GepStmt *gep)SVF::AbstractState
getElementIndex(const GepStmt *gep)SVF::AbstractState
getGepObjAddrs(u32_t pointer, IntervalValue offset)SVF::AbstractState
getInternalID(u32_t idx)SVF::AbstractStateinlinestatic
getLocToVal() constSVF::AbstractStateinline
getPointeeElement(NodeID id)SVF::AbstractState
getVarToVal() constSVF::AbstractStateinline
getVirtualMemAddress(u32_t idx)SVF::AbstractStateinlinestatic
hash() constSVF::AbstractState
inAddrToAddrsTable(u32_t id) constSVF::AbstractStateinline
inAddrToValTable(u32_t id) constSVF::AbstractStateinlinevirtual
initObjVar(ObjVar *objVar)SVF::AbstractState
inVarToAddrsTable(u32_t id) constSVF::AbstractStateinline
inVarToValTable(u32_t id) constSVF::AbstractStateinlinevirtual
isNullPtr(u32_t addr)SVF::AbstractStateinlinestatic
isVirtualMemAddress(u32_t val)SVF::AbstractStateinlinestatic
joinWith(const AbstractState &other)SVF::AbstractState
lessThanVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)SVF::AbstractStateinlinestatic
load(u32_t addr)SVF::AbstractStateinlinevirtual
loadValue(NodeID varId)SVF::AbstractState
meetWith(const AbstractState &other)SVF::AbstractState
narrowing(const AbstractState &other)SVF::AbstractState
operator!=(const AbstractState &rhs) constSVF::AbstractStateinline
operator<(const AbstractState &rhs) constSVF::AbstractStateinline
operator=(const AbstractState &rhs)SVF::AbstractStateinline
operator=(AbstractState &&rhs)SVF::AbstractStateinline
operator==(const AbstractState &rhs) constSVF::AbstractStateinline
operator>=(const AbstractState &rhs) constSVF::AbstractStateinline
operator[](u32_t varId)SVF::AbstractStateinlinevirtual
operator[](u32_t varId) constSVF::AbstractStateinlinevirtual
printAbstractState() constSVF::AbstractState
RelationSolverSVF::AbstractStatefriend
sliceState(Set< u32_t > &sl)SVF::AbstractStateinline
store(u32_t addr, const AbstractValue &val)SVF::AbstractStateinline
storeValue(NodeID varId, AbstractValue val)SVF::AbstractState
SVFIR2AbsStateSVF::AbstractStatefriend
top() constSVF::AbstractStateinline
toString() constSVF::AbstractStateinline
VarToAbsValMap typedefSVF::AbstractState
widening(const AbstractState &other)SVF::AbstractState
~AbstractState()=defaultSVF::AbstractStatevirtual
Generated by doxygen 1.9.8