SVF::AbstractState Member List

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

_addrToAbsVal	SVF::AbstractState	protected
_varToAbsVal	SVF::AbstractState	protected
AbstractState()	SVF::AbstractState	inline
AbstractState(VarToAbsValMap &_varToValMap, AddrToAbsValMap &_locToValMap)	SVF::AbstractState	inline
AbstractState(const AbstractState &rhs)	SVF::AbstractState	inline
AbstractState(AbstractState &&rhs)	SVF::AbstractState	inline
AddrToAbsValMap typedef	SVF::AbstractState
bottom() const	SVF::AbstractState	inline
clear()	SVF::AbstractState	inline
equals(const AbstractState &other) const	SVF::AbstractState
eqVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)	SVF::AbstractState	inlinestatic
geqVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)	SVF::AbstractState	inlinestatic
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::AbstractState	inlinestatic
getLocToVal() const	SVF::AbstractState	inline
getPointeeElement(NodeID id)	SVF::AbstractState
getVarToVal() const	SVF::AbstractState	inline
getVirtualMemAddress(u32_t idx)	SVF::AbstractState	inlinestatic
hash() const	SVF::AbstractState
inAddrToAddrsTable(u32_t id) const	SVF::AbstractState	inline
inAddrToValTable(u32_t id) const	SVF::AbstractState	inlinevirtual
initObjVar(ObjVar *objVar)	SVF::AbstractState
inVarToAddrsTable(u32_t id) const	SVF::AbstractState	inline
inVarToValTable(u32_t id) const	SVF::AbstractState	inlinevirtual
isNullPtr(u32_t addr)	SVF::AbstractState	inlinestatic
isVirtualMemAddress(u32_t val)	SVF::AbstractState	inlinestatic
joinWith(const AbstractState &other)	SVF::AbstractState
lessThanVarToValMap(const VarToAbsValMap &lhs, const VarToAbsValMap &rhs)	SVF::AbstractState	inlinestatic
load(u32_t addr)	SVF::AbstractState	inlinevirtual
loadValue(NodeID varId)	SVF::AbstractState
meetWith(const AbstractState &other)	SVF::AbstractState
narrowing(const AbstractState &other)	SVF::AbstractState
operator!=(const AbstractState &rhs) const	SVF::AbstractState	inline
operator<(const AbstractState &rhs) const	SVF::AbstractState	inline
operator=(const AbstractState &rhs)	SVF::AbstractState	inline
operator=(AbstractState &&rhs)	SVF::AbstractState	inline
operator==(const AbstractState &rhs) const	SVF::AbstractState	inline
operator>=(const AbstractState &rhs) const	SVF::AbstractState	inline
operator[](u32_t varId)	SVF::AbstractState	inlinevirtual
operator[](u32_t varId) const	SVF::AbstractState	inlinevirtual
printAbstractState() const	SVF::AbstractState
RelationSolver class	SVF::AbstractState	friend
sliceState(Set< u32_t > &sl)	SVF::AbstractState	inline
store(u32_t addr, const AbstractValue &val)	SVF::AbstractState	inline
storeValue(NodeID varId, AbstractValue val)	SVF::AbstractState
SVFIR2AbsState class	SVF::AbstractState	friend
top() const	SVF::AbstractState	inline
toString() const	SVF::AbstractState	inline
VarToAbsValMap typedef	SVF::AbstractState
widening(const AbstractState &other)	SVF::AbstractState
~AbstractState()=default	SVF::AbstractState	virtual