Static Value-Flow Analysis
SVF::AbstractValue Member List

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

AbstractValue()SVF::AbstractValueinline
AbstractValue(const AbstractValue &other)SVF::AbstractValueinline
AbstractValue(AbstractValue &&other)SVF::AbstractValueinline
AbstractValue(const IntervalValue &ival)SVF::AbstractValueinline
AbstractValue(const AddressValue &addr)SVF::AbstractValueinline
addrsSVF::AbstractValue
equals(const AbstractValue &rhs) constSVF::AbstractValueinline
getAddrs()SVF::AbstractValueinline
getAddrs() constSVF::AbstractValueinline
getInterval()SVF::AbstractValueinline
getInterval() constSVF::AbstractValueinline
intervalSVF::AbstractValue
isAddr() constSVF::AbstractValueinline
isInterval() constSVF::AbstractValueinline
join_with(const AbstractValue &other)SVF::AbstractValueinline
meet_with(const AbstractValue &other)SVF::AbstractValueinline
narrow_with(const AbstractValue &other)SVF::AbstractValueinline
operator=(const AbstractValue &other)SVF::AbstractValueinline
operator=(const AbstractValue &&other)SVF::AbstractValueinline
operator=(const IntervalValue &other)SVF::AbstractValueinline
operator=(const AddressValue &other)SVF::AbstractValueinline
toString() constSVF::AbstractValueinline
widen_with(const AbstractValue &other)SVF::AbstractValueinline
~AbstractValue()SVF::AbstractValueinline