Versions in this module Expand all Collapse all v1 v1.0.0 Sep 22, 2022 Changes in this version + func Consts() consts + func Create() factory + func Elements() elementFactory + func IsTopLocation(l loc.Location) bool + func MemOps(mem Memory) _mops + type AbstractValue struct + func TopValueForType(t T.Type) (top AbstractValue) + func ZeroValueForType(t T.Type) (zero AbstractValue) + func (AbstractValue) Analysis() Analysis + func (AbstractValue) AnalysisIntraprocess() AnalysisIntraprocess + func (AbstractValue) AnalysisState() AnalysisState + func (AbstractValue) Charges() Charges + func (AbstractValue) Dropped() *DroppedTop + func (AbstractValue) FlatInt() FlatIntElement + func (AbstractValue) Interval() Interval + func (AbstractValue) Lifted() *LiftedBot + func (AbstractValue) Map() Map + func (AbstractValue) Memory() Memory + func (AbstractValue) OneElement() oneElementLatticeElement + func (AbstractValue) OpOutcomes() OpOutcomes + func (AbstractValue) Product() Product + func (AbstractValue) Set() Set + func (AbstractValue) ThreadCharges() ThreadCharges + func (AbstractValue) TwoElement() twoElementLatticeElement + func (e AbstractValue) ForEachField(do func(interface{}, AbstractValue)) + func (e AbstractValue) InjectTopLocation(l loc.AddressableLocation) AbstractValue + func (e AbstractValue) IsBot() bool + func (e AbstractValue) IsWildcard() bool + func (e AbstractValue) Lattice() Lattice + func (e AbstractValue) ToBot() AbstractValue + func (e AbstractValue) ToTop() AbstractValue + func (e1 AbstractValue) Eq(e2 Element) bool + func (e1 AbstractValue) Geq(e2 Element) bool + func (e1 AbstractValue) Join(e2 Element) Element + func (e1 AbstractValue) Leq(e2 Element) bool + func (e1 AbstractValue) Meet(e2 Element) Element + func (e1 AbstractValue) MonoJoin(e2 AbstractValue) AbstractValue + func (e1 AbstractValue) MonoMeet(e2 AbstractValue) AbstractValue + func (m AbstractValue) AbstractValue() AbstractValue + func (m AbstractValue) AddPointers(ls ...loc.Location) AbstractValue + func (m AbstractValue) BasicValue() FlatElement + func (m AbstractValue) ChanValue() ChannelInfo + func (m AbstractValue) ChannelInfo() ChannelInfo + func (m AbstractValue) Closure() *ssa.Function + func (m AbstractValue) Cond() Cond + func (m AbstractValue) CondValue() Cond + func (m AbstractValue) Flat() FlatElement + func (m AbstractValue) Height() int + func (m AbstractValue) InfiniteMap() InfiniteMap + func (m AbstractValue) IsArray() bool + func (m AbstractValue) IsBasic() bool + func (m AbstractValue) IsBotStruct() bool + func (m AbstractValue) IsChan() bool + func (m AbstractValue) IsClosure() bool + func (m AbstractValue) IsCond() bool + func (m AbstractValue) IsKnownStruct() bool + func (m AbstractValue) IsLocker() bool + func (m AbstractValue) IsMap() bool + func (m AbstractValue) IsMutex() bool + func (m AbstractValue) IsPointer() bool + func (m AbstractValue) IsRWMutex() bool + func (m AbstractValue) IsStruct() bool + func (m AbstractValue) IsTopStruct() bool + func (m AbstractValue) MutexValue() FlatElement + func (m AbstractValue) PointerValue() PointsTo + func (m AbstractValue) PointsTo() PointsTo + func (m AbstractValue) RWMutex() RWMutex + func (m AbstractValue) RWMutexValue() RWMutex + func (m AbstractValue) String() string + func (m AbstractValue) Struct() Element + func (m AbstractValue) StructValue() InfiniteMap + func (m AbstractValue) Update(x Element) AbstractValue + func (m AbstractValue) UpdateChan(x Element) AbstractValue + func (m AbstractValue) UpdateCond(x Element) AbstractValue + func (m AbstractValue) UpdateMutex(x Element) AbstractValue + func (m AbstractValue) UpdatePointer(x Element) AbstractValue + func (m AbstractValue) UpdateRWMutex(x Element) AbstractValue + func (v AbstractValue) HasFixedHeight() bool + func (v1 AbstractValue) Difference(v2 AbstractValue) (AbstractValue, bool) + type AbstractValueConfig struct + Basic interface{} + Channel bool + Cond bool + Mutex bool + PointsTo *[]loc.Location + RWMutex bool + Struct map[interface{}]Element + Wildcard bool + func (config AbstractValueConfig) String() string + type AbstractValueLattice struct + func (*AbstractValueLattice) Analysis() *AnalysisLattice + func (*AbstractValueLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*AbstractValueLattice) ChannelInfo() *ChannelInfoLattice + func (*AbstractValueLattice) Dropped() *Dropped + func (*AbstractValueLattice) Flat() *FlatLattice + func (*AbstractValueLattice) FlatFinite() *FlatFiniteLattice + func (*AbstractValueLattice) FlatInt() *FlatIntLattice + func (*AbstractValueLattice) InfiniteMap() *InfiniteMapLattice + func (*AbstractValueLattice) Interval() *IntervalLattice + func (*AbstractValueLattice) Lifted() *Lifted + func (*AbstractValueLattice) Map() *MapLattice + func (*AbstractValueLattice) Memory() *MemoryLattice + func (*AbstractValueLattice) OneElement() *OneElementLattice + func (*AbstractValueLattice) OpOutcomes() *OpOutcomesLattice + func (*AbstractValueLattice) Powerset() *Powerset + func (*AbstractValueLattice) Preheight() int + func (*AbstractValueLattice) TwoElement() *TwoElementLattice + func (AbstractValueLattice) String() string + func (l *AbstractValueLattice) Get(i int) Lattice + func (l *AbstractValueLattice) LatticeForType(T types.Type) Lattice + func (l *AbstractValueLattice) Product() *ProductLattice + func (l *AbstractValueLattice) Value() *AbstractValueLattice + func (l1 *AbstractValueLattice) Eq(l2 Lattice) bool + func (v *AbstractValueLattice) AbstractValue() *AbstractValueLattice + func (v *AbstractValueLattice) Bot() Element + func (v *AbstractValueLattice) Top() Element + type AnalysisStateLattice struct + func (*AnalysisStateLattice) AbstractValue() *AbstractValueLattice + func (*AnalysisStateLattice) Analysis() *AnalysisLattice + func (*AnalysisStateLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*AnalysisStateLattice) ChannelInfo() *ChannelInfoLattice + func (*AnalysisStateLattice) Dropped() *Dropped + func (*AnalysisStateLattice) Flat() *FlatLattice + func (*AnalysisStateLattice) FlatFinite() *FlatFiniteLattice + func (*AnalysisStateLattice) FlatInt() *FlatIntLattice + func (*AnalysisStateLattice) InfiniteMap() *InfiniteMapLattice + func (*AnalysisStateLattice) Interval() *IntervalLattice + func (*AnalysisStateLattice) Lifted() *Lifted + func (*AnalysisStateLattice) Map() *MapLattice + func (*AnalysisStateLattice) Memory() *MemoryLattice + func (*AnalysisStateLattice) OneElement() *OneElementLattice + func (*AnalysisStateLattice) OpOutcomes() *OpOutcomesLattice + func (*AnalysisStateLattice) Powerset() *Powerset + func (*AnalysisStateLattice) Preheight() int + func (*AnalysisStateLattice) String() string + func (*AnalysisStateLattice) TwoElement() *TwoElementLattice + func (c *AnalysisStateLattice) AnalysisState() *AnalysisStateLattice + func (c *AnalysisStateLattice) Bot() Element + func (c *AnalysisStateLattice) Product() *ProductLattice + func (c *AnalysisStateLattice) Top() Element + func (l1 *AnalysisStateLattice) Eq(l2 Lattice) bool + type ChannelInfoLattice struct + func (*ChannelInfoLattice) AbstractValue() *AbstractValueLattice + func (*ChannelInfoLattice) Analysis() *AnalysisLattice + func (*ChannelInfoLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*ChannelInfoLattice) Dropped() *Dropped + func (*ChannelInfoLattice) Flat() *FlatLattice + func (*ChannelInfoLattice) FlatFinite() *FlatFiniteLattice + func (*ChannelInfoLattice) FlatInt() *FlatIntLattice + func (*ChannelInfoLattice) InfiniteMap() *InfiniteMapLattice + func (*ChannelInfoLattice) Interval() *IntervalLattice + func (*ChannelInfoLattice) Lifted() *Lifted + func (*ChannelInfoLattice) Map() *MapLattice + func (*ChannelInfoLattice) Memory() *MemoryLattice + func (*ChannelInfoLattice) OneElement() *OneElementLattice + func (*ChannelInfoLattice) OpOutcomes() *OpOutcomesLattice + func (*ChannelInfoLattice) Powerset() *Powerset + func (*ChannelInfoLattice) Preheight() int + func (*ChannelInfoLattice) String() string + func (*ChannelInfoLattice) TwoElement() *TwoElementLattice + func (c *ChannelInfoLattice) Bot() Element + func (c *ChannelInfoLattice) BufferFlat() *FlatIntLattice + func (c *ChannelInfoLattice) BufferInterval() *IntervalLattice + func (c *ChannelInfoLattice) Capacity() *FlatIntLattice + func (c *ChannelInfoLattice) ChannelInfo() *ChannelInfoLattice + func (c *ChannelInfoLattice) Payload() *AbstractValueLattice + func (c *ChannelInfoLattice) Product() *ProductLattice + func (c *ChannelInfoLattice) Status() *FlatFiniteLattice + func (c *ChannelInfoLattice) Top() Element + func (l1 *ChannelInfoLattice) Eq(l2 Lattice) bool + type CondLattice struct + func (*CondLattice) AbstractValue() *AbstractValueLattice + func (*CondLattice) Analysis() *AnalysisLattice + func (*CondLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*CondLattice) ChannelInfo() *ChannelInfoLattice + func (*CondLattice) Dropped() *Dropped + func (*CondLattice) Flat() *FlatLattice + func (*CondLattice) FlatFinite() *FlatFiniteLattice + func (*CondLattice) FlatInt() *FlatIntLattice + func (*CondLattice) InfiniteMap() *InfiniteMapLattice + func (*CondLattice) Interval() *IntervalLattice + func (*CondLattice) Lifted() *Lifted + func (*CondLattice) Map() *MapLattice + func (*CondLattice) Memory() *MemoryLattice + func (*CondLattice) OneElement() *OneElementLattice + func (*CondLattice) OpOutcomes() *OpOutcomesLattice + func (*CondLattice) Powerset() *Powerset + func (*CondLattice) Preheight() int + func (*CondLattice) TwoElement() *TwoElementLattice + func (CondLattice) String() string + func (l CondLattice) Bot() Element + func (l CondLattice) Top() Element + func (l1 CondLattice) Eq(l2 Lattice) bool + type ConstantPropagationLattice struct + func (*ConstantPropagationLattice) AbstractValue() *AbstractValueLattice + func (*ConstantPropagationLattice) Analysis() *AnalysisLattice + func (*ConstantPropagationLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*ConstantPropagationLattice) ChannelInfo() *ChannelInfoLattice + func (*ConstantPropagationLattice) Dropped() *Dropped + func (*ConstantPropagationLattice) Flat() *FlatLattice + func (*ConstantPropagationLattice) FlatFinite() *FlatFiniteLattice + func (*ConstantPropagationLattice) FlatInt() *FlatIntLattice + func (*ConstantPropagationLattice) InfiniteMap() *InfiniteMapLattice + func (*ConstantPropagationLattice) Interval() *IntervalLattice + func (*ConstantPropagationLattice) Lifted() *Lifted + func (*ConstantPropagationLattice) Map() *MapLattice + func (*ConstantPropagationLattice) Memory() *MemoryLattice + func (*ConstantPropagationLattice) OneElement() *OneElementLattice + func (*ConstantPropagationLattice) OpOutcomes() *OpOutcomesLattice + func (*ConstantPropagationLattice) Powerset() *Powerset + func (*ConstantPropagationLattice) Preheight() int + func (*ConstantPropagationLattice) Product() *ProductLattice + func (*ConstantPropagationLattice) TwoElement() *TwoElementLattice + func (ConstantPropagationLattice) String() string + func (l1 *ConstantPropagationLattice) Eq(l2 Lattice) bool + type Dropped struct + func Drop(lat Lattice) *Dropped + func (l *Dropped) Dropped() *Dropped + func (l *Dropped) Flat() *FlatLattice + func (l *Dropped) FlatFinite() *FlatFiniteLattice + func (l *Dropped) FlatInt() *FlatIntLattice + func (l *Dropped) InfiniteMap() *InfiniteMapLattice + func (l *Dropped) Interval() *IntervalLattice + func (l *Dropped) Lifted() *Lifted + func (l *Dropped) Map() *MapLattice + func (l *Dropped) Powerset() *Powerset + func (l *Dropped) Preheight() int + func (l *Dropped) Product() *ProductLattice + func (l *Dropped) String() string + func (l *Dropped) Top() Element + func (l *Dropped) TwoElement() *TwoElementLattice + func (l1 *Dropped) Eq(l2 Lattice) bool + type DroppedTop struct + func (DroppedTop) Analysis() Analysis + func (DroppedTop) AnalysisIntraprocess() AnalysisIntraprocess + func (DroppedTop) AnalysisState() AnalysisState + func (DroppedTop) ChannelInfo() ChannelInfo + func (DroppedTop) Charges() Charges + func (DroppedTop) Cond() Cond + func (DroppedTop) Dropped() *DroppedTop + func (DroppedTop) Flat() FlatElement + func (DroppedTop) FlatInt() FlatIntElement + func (DroppedTop) InfiniteMap() InfiniteMap + func (DroppedTop) Interval() Interval + func (DroppedTop) Lifted() *LiftedBot + func (DroppedTop) Map() Map + func (DroppedTop) Memory() Memory + func (DroppedTop) OneElement() oneElementLatticeElement + func (DroppedTop) OpOutcomes() OpOutcomes + func (DroppedTop) PointsTo() PointsTo + func (DroppedTop) Product() Product + func (DroppedTop) RWMutex() RWMutex + func (DroppedTop) Set() Set + func (DroppedTop) ThreadCharges() ThreadCharges + func (DroppedTop) TwoElement() twoElementLatticeElement + func (e *DroppedTop) Height() int + func (e *DroppedTop) Index() int + func (e *DroppedTop) String() string + func (e DroppedTop) AbstractValue() AbstractValue + func (e DroppedTop) Lattice() Lattice + func (e1 *DroppedTop) Eq(e2 Element) bool + func (e1 *DroppedTop) Geq(e2 Element) bool + func (e1 *DroppedTop) Join(e2 Element) Element + func (e1 *DroppedTop) Leq(e2 Element) bool + func (e1 *DroppedTop) Meet(e2 Element) Element + type Element interface + AbstractValue func() AbstractValue + Analysis func() Analysis + AnalysisIntraprocess func() AnalysisIntraprocess + AnalysisState func() AnalysisState + ChannelInfo func() ChannelInfo + Charges func() Charges + Cond func() Cond + Dropped func() *DroppedTop + Eq func(Element) bool + Flat func() FlatElement + FlatInt func() FlatIntElement + Geq func(Element) bool + Height func() int + InfiniteMap func() InfiniteMap + Interval func() Interval + Join func(Element) Element + Lattice func() Lattice + Leq func(Element) bool + Lifted func() *LiftedBot + Map func() Map + Meet func(Element) Element + Memory func() Memory + OneElement func() oneElementLatticeElement + OpOutcomes func() OpOutcomes + PointsTo func() PointsTo + Product func() Product + RWMutex func() RWMutex + Set func() Set + String func() string + ThreadCharges func() ThreadCharges + TwoElement func() twoElementLatticeElement + type FiniteBound int + func (FiniteBound) IsInfinite() bool + func (b FiniteBound) String() string + func (b1 FiniteBound) Div(b2 IntervalBound) IntervalBound + func (b1 FiniteBound) Eq(b2 IntervalBound) bool + func (b1 FiniteBound) Geq(b2 IntervalBound) bool + func (b1 FiniteBound) Gt(b2 IntervalBound) bool + func (b1 FiniteBound) Leq(b2 IntervalBound) bool + func (b1 FiniteBound) Lt(b2 IntervalBound) bool + func (b1 FiniteBound) Max(b2 IntervalBound) IntervalBound + func (b1 FiniteBound) Min(b2 IntervalBound) IntervalBound + func (b1 FiniteBound) Minus(b2 IntervalBound) IntervalBound + func (b1 FiniteBound) Mult(b2 IntervalBound) IntervalBound + func (b1 FiniteBound) Plus(b2 IntervalBound) IntervalBound + type FlatBot struct + func (FlatBot) Height() int + func (FlatBot) String() string + func (FlatBot) Value() interface{} + func (e FlatBot) Flat() FlatElement + func (e FlatBot) IsBot() bool + func (e FlatBot) IsTop() bool + func (e1 FlatBot) Eq(e2 Element) bool + func (e1 FlatBot) Geq(e2 Element) bool + func (e1 FlatBot) Join(e2 Element) Element + func (e1 FlatBot) Leq(e2 Element) bool + func (e1 FlatBot) Meet(e2 Element) Element + func (f1 FlatBot) Is(f2 interface{}) bool + type FlatElement interface + Is func(x interface{}) bool + IsBot func() bool + IsTop func() bool + Value func() interface{} + type FlatFiniteLattice struct + func (*FlatFiniteLattice) AbstractValue() *AbstractValueLattice + func (*FlatFiniteLattice) Analysis() *AnalysisLattice + func (*FlatFiniteLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*FlatFiniteLattice) ChannelInfo() *ChannelInfoLattice + func (*FlatFiniteLattice) Dropped() *Dropped + func (*FlatFiniteLattice) Flat() *FlatLattice + func (*FlatFiniteLattice) FlatInt() *FlatIntLattice + func (*FlatFiniteLattice) InfiniteMap() *InfiniteMapLattice + func (*FlatFiniteLattice) Interval() *IntervalLattice + func (*FlatFiniteLattice) Lifted() *Lifted + func (*FlatFiniteLattice) Map() *MapLattice + func (*FlatFiniteLattice) Memory() *MemoryLattice + func (*FlatFiniteLattice) OneElement() *OneElementLattice + func (*FlatFiniteLattice) OpOutcomes() *OpOutcomesLattice + func (*FlatFiniteLattice) Powerset() *Powerset + func (*FlatFiniteLattice) Preheight() int + func (*FlatFiniteLattice) Product() *ProductLattice + func (*FlatFiniteLattice) TwoElement() *TwoElementLattice + func (l *FlatFiniteLattice) FlatFinite() *FlatFiniteLattice + func (l *FlatFiniteLattice) String() string + func (l1 *FlatFiniteLattice) Eq(l2 Lattice) bool + type FlatIntElement struct + func (FlatIntElement) Analysis() Analysis + func (FlatIntElement) AnalysisIntraprocess() AnalysisIntraprocess + func (FlatIntElement) AnalysisState() AnalysisState + func (FlatIntElement) ChannelInfo() ChannelInfo + func (FlatIntElement) Charges() Charges + func (FlatIntElement) Cond() Cond + func (FlatIntElement) Dropped() *DroppedTop + func (FlatIntElement) InfiniteMap() InfiniteMap + func (FlatIntElement) Interval() Interval + func (FlatIntElement) Lifted() *LiftedBot + func (FlatIntElement) Map() Map + func (FlatIntElement) Memory() Memory + func (FlatIntElement) OneElement() oneElementLatticeElement + func (FlatIntElement) OpOutcomes() OpOutcomes + func (FlatIntElement) PointsTo() PointsTo + func (FlatIntElement) Product() Product + func (FlatIntElement) RWMutex() RWMutex + func (FlatIntElement) Set() Set + func (FlatIntElement) ThreadCharges() ThreadCharges + func (FlatIntElement) TwoElement() twoElementLatticeElement + func (e FlatIntElement) AbstractValue() AbstractValue + func (e FlatIntElement) Flat() FlatElement + func (e FlatIntElement) FlatInt() FlatIntElement + func (e FlatIntElement) Height() int + func (e FlatIntElement) IValue() int + func (e FlatIntElement) Is(x interface{}) bool + func (e FlatIntElement) IsBot() bool + func (e FlatIntElement) IsTop() bool + func (e FlatIntElement) Lattice() Lattice + func (e FlatIntElement) String() string + func (e FlatIntElement) Value() interface{} + func (e1 FlatIntElement) Eq(e2 Element) bool + func (e1 FlatIntElement) Geq(e2 Element) bool + func (e1 FlatIntElement) Join(e2 Element) Element + func (e1 FlatIntElement) Leq(e2 Element) bool + func (e1 FlatIntElement) Meet(e2 Element) Element + type FlatIntLattice struct + func (*FlatIntLattice) AbstractValue() *AbstractValueLattice + func (*FlatIntLattice) Analysis() *AnalysisLattice + func (*FlatIntLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*FlatIntLattice) ChannelInfo() *ChannelInfoLattice + func (*FlatIntLattice) Dropped() *Dropped + func (*FlatIntLattice) Flat() *FlatLattice + func (*FlatIntLattice) FlatFinite() *FlatFiniteLattice + func (*FlatIntLattice) InfiniteMap() *InfiniteMapLattice + func (*FlatIntLattice) Interval() *IntervalLattice + func (*FlatIntLattice) Lifted() *Lifted + func (*FlatIntLattice) Map() *MapLattice + func (*FlatIntLattice) Memory() *MemoryLattice + func (*FlatIntLattice) OneElement() *OneElementLattice + func (*FlatIntLattice) OpOutcomes() *OpOutcomesLattice + func (*FlatIntLattice) Powerset() *Powerset + func (*FlatIntLattice) Preheight() int + func (*FlatIntLattice) Product() *ProductLattice + func (*FlatIntLattice) TwoElement() *TwoElementLattice + func (l *FlatIntLattice) FlatInt() *FlatIntLattice + func (l *FlatIntLattice) String() string + func (l1 *FlatIntLattice) Eq(l2 Lattice) bool + type FlatLattice struct + func (l *FlatLattice) Bot() Element + func (l *FlatLattice) Top() Element + type FlatTop struct + func (FlatTop) Height() int + func (FlatTop) String() string + func (FlatTop) Value() interface{} + func (e FlatTop) Flat() FlatElement + func (e FlatTop) IsBot() bool + func (e FlatTop) IsTop() bool + func (e1 FlatTop) Eq(e2 Element) bool + func (e1 FlatTop) Geq(e2 Element) bool + func (e1 FlatTop) Join(e2 Element) Element + func (e1 FlatTop) Leq(e2 Element) bool + func (e1 FlatTop) Meet(e2 Element) Element + func (f1 FlatTop) Is(f2 interface{}) bool + type InfiniteMap struct + func (InfiniteMap) Analysis() Analysis + func (InfiniteMap) AnalysisIntraprocess() AnalysisIntraprocess + func (InfiniteMap) AnalysisState() AnalysisState + func (InfiniteMap) ChannelInfo() ChannelInfo + func (InfiniteMap) Charges() Charges + func (InfiniteMap) Cond() Cond + func (InfiniteMap) Dropped() *DroppedTop + func (InfiniteMap) Flat() FlatElement + func (InfiniteMap) FlatInt() FlatIntElement + func (InfiniteMap) Interval() Interval + func (InfiniteMap) Lifted() *LiftedBot + func (InfiniteMap) Map() Map + func (InfiniteMap) Memory() Memory + func (InfiniteMap) OneElement() oneElementLatticeElement + func (InfiniteMap) OpOutcomes() OpOutcomes + func (InfiniteMap) PointsTo() PointsTo + func (InfiniteMap) Product() Product + func (InfiniteMap) RWMutex() RWMutex + func (InfiniteMap) Set() Set + func (InfiniteMap) ThreadCharges() ThreadCharges + func (InfiniteMap) TwoElement() twoElementLatticeElement + func (e InfiniteMap) AbstractValue() AbstractValue + func (e InfiniteMap) ForEach(do func(interface{}, Element)) + func (e InfiniteMap) Get(x interface{}) Element + func (e InfiniteMap) Lattice() Lattice + func (e1 InfiniteMap) Eq(e2 Element) bool + func (e1 InfiniteMap) Geq(e2 Element) bool + func (e1 InfiniteMap) InfiniteMap() InfiniteMap + func (e1 InfiniteMap) Join(e2 Element) Element + func (e1 InfiniteMap) Leq(e2 Element) bool + func (e1 InfiniteMap) Meet(e2 Element) Element + func (e1 InfiniteMap) MonoJoin(e2 InfiniteMap) InfiniteMap + func (e1 InfiniteMap) MonoMeet(e2 InfiniteMap) InfiniteMap + func (e1 InfiniteMap) Update(x interface{}, e2 Element) InfiniteMap + type InfiniteMapLattice struct + func (l *InfiniteMapLattice) Bot() Element + func (l *InfiniteMapLattice) InfiniteMap() *InfiniteMapLattice + func (l *InfiniteMapLattice) String() string + func (l *InfiniteMapLattice) Top() Element + func (l1 *InfiniteMapLattice) Eq(l2 Lattice) bool + func (m InfiniteMapLattice) RngBot() Element + type Interval struct + func (Interval) Analysis() Analysis + func (Interval) AnalysisIntraprocess() AnalysisIntraprocess + func (Interval) AnalysisState() AnalysisState + func (Interval) ChannelInfo() ChannelInfo + func (Interval) Charges() Charges + func (Interval) Cond() Cond + func (Interval) Dropped() *DroppedTop + func (Interval) Flat() FlatElement + func (Interval) FlatInt() FlatIntElement + func (Interval) InfiniteMap() InfiniteMap + func (Interval) Lattice() Lattice + func (Interval) Lifted() *LiftedBot + func (Interval) Map() Map + func (Interval) Memory() Memory + func (Interval) OneElement() oneElementLatticeElement + func (Interval) OpOutcomes() OpOutcomes + func (Interval) PointsTo() PointsTo + func (Interval) Product() Product + func (Interval) RWMutex() RWMutex + func (Interval) Set() Set + func (Interval) ThreadCharges() ThreadCharges + func (Interval) TwoElement() twoElementLatticeElement + func (e Interval) AbstractValue() AbstractValue + func (e Interval) Height() int + func (e Interval) Interval() Interval + func (e Interval) IsBot() bool + func (e Interval) IsTop() bool + func (e Interval) String() string + func (e1 Interval) Eq(e2 Element) bool + func (e1 Interval) Geq(e2 Element) bool + func (e1 Interval) Join(e2 Element) Element + func (e1 Interval) Leq(e2 Element) bool + func (e1 Interval) Meet(e2 Element) Element + func (i Interval) GetFiniteBounds() (int, int) + func (i Interval) High() int + func (i Interval) Low() int + type IntervalBound interface + Div func(IntervalBound) IntervalBound + Eq func(IntervalBound) bool + Geq func(IntervalBound) bool + Gt func(IntervalBound) bool + IsInfinite func() bool + Leq func(IntervalBound) bool + Lt func(IntervalBound) bool + Max func(IntervalBound) IntervalBound + Min func(IntervalBound) IntervalBound + Minus func(IntervalBound) IntervalBound + Mult func(IntervalBound) IntervalBound + Plus func(IntervalBound) IntervalBound + String func() string + type IntervalLattice struct + func (*IntervalLattice) AbstractValue() *AbstractValueLattice + func (*IntervalLattice) Analysis() *AnalysisLattice + func (*IntervalLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*IntervalLattice) Bot() Element + func (*IntervalLattice) ChannelInfo() *ChannelInfoLattice + func (*IntervalLattice) Dropped() *Dropped + func (*IntervalLattice) Flat() *FlatLattice + func (*IntervalLattice) FlatFinite() *FlatFiniteLattice + func (*IntervalLattice) FlatInt() *FlatIntLattice + func (*IntervalLattice) InfiniteMap() *InfiniteMapLattice + func (*IntervalLattice) Lifted() *Lifted + func (*IntervalLattice) Map() *MapLattice + func (*IntervalLattice) Memory() *MemoryLattice + func (*IntervalLattice) OneElement() *OneElementLattice + func (*IntervalLattice) OpOutcomes() *OpOutcomesLattice + func (*IntervalLattice) Powerset() *Powerset + func (*IntervalLattice) Preheight() int + func (*IntervalLattice) Product() *ProductLattice + func (*IntervalLattice) String() string + func (*IntervalLattice) Top() Element + func (*IntervalLattice) TwoElement() *TwoElementLattice + func (l1 *IntervalLattice) Eq(l2 Lattice) bool + func (l1 *IntervalLattice) Interval() *IntervalLattice + type Lattice interface + AbstractValue func() *AbstractValueLattice + Analysis func() *AnalysisLattice + AnalysisIntraprocess func() *AnalysisIntraprocessLattice + Bot func() Element + ChannelInfo func() *ChannelInfoLattice + Dropped func() *Dropped + Eq func(Lattice) bool + Flat func() *FlatLattice + FlatFinite func() *FlatFiniteLattice + FlatInt func() *FlatIntLattice + InfiniteMap func() *InfiniteMapLattice + Interval func() *IntervalLattice + Lifted func() *Lifted + Map func() *MapLattice + Memory func() *MemoryLattice + OneElement func() *OneElementLattice + OpOutcomes func() *OpOutcomesLattice + Powerset func() *Powerset + Preheight func() int + Product func() *ProductLattice + String func() string + Top func() Element + TwoElement func() *TwoElementLattice + type Lifted struct + func Lift(lat Lattice) *Lifted + func (l *Lifted) Bot() Element + func (l *Lifted) Dropped() *Dropped + func (l *Lifted) Flat() *FlatLattice + func (l *Lifted) FlatFinite() *FlatFiniteLattice + func (l *Lifted) FlatInt() *FlatIntLattice + func (l *Lifted) InfiniteMap() *InfiniteMapLattice + func (l *Lifted) Interval() *IntervalLattice + func (l *Lifted) Lifted() *Lifted + func (l *Lifted) Map() *MapLattice + func (l *Lifted) Powerset() *Powerset + func (l *Lifted) Preheight() int + func (l *Lifted) Product() *ProductLattice + func (l *Lifted) String() string + func (l *Lifted) TwoElement() *TwoElementLattice + func (l1 *Lifted) Eq(l2 Lattice) bool + type LiftedBot struct + func (LiftedBot) Analysis() Analysis + func (LiftedBot) AnalysisIntraprocess() AnalysisIntraprocess + func (LiftedBot) AnalysisState() AnalysisState + func (LiftedBot) ChannelInfo() ChannelInfo + func (LiftedBot) Charges() Charges + func (LiftedBot) Cond() Cond + func (LiftedBot) Dropped() *DroppedTop + func (LiftedBot) Flat() FlatElement + func (LiftedBot) FlatInt() FlatIntElement + func (LiftedBot) InfiniteMap() InfiniteMap + func (LiftedBot) Interval() Interval + func (LiftedBot) Map() Map + func (LiftedBot) Memory() Memory + func (LiftedBot) OneElement() oneElementLatticeElement + func (LiftedBot) OpOutcomes() OpOutcomes + func (LiftedBot) PointsTo() PointsTo + func (LiftedBot) Product() Product + func (LiftedBot) RWMutex() RWMutex + func (LiftedBot) Set() Set + func (LiftedBot) ThreadCharges() ThreadCharges + func (LiftedBot) TwoElement() twoElementLatticeElement + func (e *LiftedBot) Height() int + func (e *LiftedBot) Index() int + func (e *LiftedBot) Lifted() *LiftedBot + func (e *LiftedBot) String() string + func (e LiftedBot) AbstractValue() AbstractValue + func (e LiftedBot) Lattice() Lattice + func (e1 *LiftedBot) Eq(e2 Element) bool + func (e1 *LiftedBot) Geq(e2 Element) bool + func (e1 *LiftedBot) Join(e2 Element) Element + func (e1 *LiftedBot) Leq(e2 Element) bool + func (e1 *LiftedBot) Meet(e2 Element) Element + type Map struct + func (Map) Analysis() Analysis + func (Map) AnalysisIntraprocess() AnalysisIntraprocess + func (Map) AnalysisState() AnalysisState + func (Map) ChannelInfo() ChannelInfo + func (Map) Charges() Charges + func (Map) Cond() Cond + func (Map) Dropped() *DroppedTop + func (Map) Flat() FlatElement + func (Map) FlatInt() FlatIntElement + func (Map) InfiniteMap() InfiniteMap + func (Map) Interval() Interval + func (Map) Lifted() *LiftedBot + func (Map) Memory() Memory + func (Map) OneElement() oneElementLatticeElement + func (Map) OpOutcomes() OpOutcomes + func (Map) PointsTo() PointsTo + func (Map) Product() Product + func (Map) RWMutex() RWMutex + func (Map) Set() Set + func (Map) ThreadCharges() ThreadCharges + func (Map) TwoElement() twoElementLatticeElement + func (e Map) AbstractValue() AbstractValue + func (e Map) ForAll(f func(interface{}, Element) bool) bool + func (e Map) ForEach(f func(interface{}, Element)) + func (e Map) Get(x interface{}) Element + func (e Map) Lattice() Lattice + func (e Map) Map() Map + func (e1 Map) Eq(e2 Element) bool + func (e1 Map) Geq(e2 Element) bool + func (e1 Map) Join(e2 Element) Element + func (e1 Map) Leq(e2 Element) bool + func (e1 Map) Meet(e2 Element) Element + func (e1 Map) MonoJoin(e2 Map) Map + func (e1 Map) MonoMeet(e2 Map) Map + func (e1 Map) Update(x interface{}, e2 Element) Map + type MapBase struct + func (MapBase) Analysis() Analysis + func (MapBase) AnalysisIntraprocess() AnalysisIntraprocess + func (MapBase) AnalysisState() AnalysisState + func (MapBase) ChannelInfo() ChannelInfo + func (MapBase) Charges() Charges + func (MapBase) Cond() Cond + func (MapBase) Dropped() *DroppedTop + func (MapBase) Flat() FlatElement + func (MapBase) FlatInt() FlatIntElement + func (MapBase) InfiniteMap() InfiniteMap + func (MapBase) Interval() Interval + func (MapBase) Lifted() *LiftedBot + func (MapBase) Map() Map + func (MapBase) Memory() Memory + func (MapBase) OneElement() oneElementLatticeElement + func (MapBase) OpOutcomes() OpOutcomes + func (MapBase) PointsTo() PointsTo + func (MapBase) Product() Product + func (MapBase) RWMutex() RWMutex + func (MapBase) Set() Set + func (MapBase) ThreadCharges() ThreadCharges + func (MapBase) TwoElement() twoElementLatticeElement + func (e MapBase) AbstractValue() AbstractValue + func (e MapBase) Lattice() Lattice + func (e MapBase) String() string + func (m MapBase) Height() (h int) + type MapLattice struct + func (e *MapLattice) Contains(x interface{}) bool + func (e *MapLattice) Map() *MapLattice + func (l *MapLattice) Bot() Element + func (l *MapLattice) Domain() set + func (l *MapLattice) Range() Lattice + func (l *MapLattice) String() string + func (l *MapLattice) Top() Element + func (l1 *MapLattice) Eq(l2 Lattice) bool + func (m MapLattice) RngBot() Element + type Memory struct + func PopulateGlobals(mem Memory, pkgs []*ssa.Package, harnessed bool) Memory + func (Memory) Analysis() Analysis + func (Memory) AnalysisIntraprocess() AnalysisIntraprocess + func (Memory) AnalysisState() AnalysisState + func (Memory) ChannelInfo() ChannelInfo + func (Memory) Charges() Charges + func (Memory) Cond() Cond + func (Memory) Dropped() *DroppedTop + func (Memory) Flat() FlatElement + func (Memory) FlatInt() FlatIntElement + func (Memory) InfiniteMap() InfiniteMap + func (Memory) Interval() Interval + func (Memory) Lifted() *LiftedBot + func (Memory) Map() Map + func (Memory) OneElement() oneElementLatticeElement + func (Memory) OpOutcomes() OpOutcomes + func (Memory) PointsTo() PointsTo + func (Memory) Product() Product + func (Memory) RWMutex() RWMutex + func (Memory) Set() Set + func (Memory) ThreadCharges() ThreadCharges + func (Memory) TwoElement() twoElementLatticeElement + func (e Memory) AbstractValue() AbstractValue + func (e Memory) Lattice() Lattice + func (m Memory) Get(key loc.AddressableLocation) (AbstractValue, bool) + func (m Memory) Height() (h int) + func (m Memory) LocsToTop(locs ...loc.Location) Memory + func (m Memory) MaxElementHeight() (h int) + func (m1 Memory) Difference(m2 Memory) (diff Memory) + func (m1 Memory) HeightDiff(m2 Memory) (h int) + func (mem Memory) Channels() Memory + func (mem Memory) Filter(pred func(loc.AddressableLocation, AbstractValue) bool) Memory + func (mem Memory) InjectTopValues(locs ...loc.AddressableLocation) Memory + func (w Memory) Allocate(key loc.AllocationSiteLocation, value AbstractValue, forceMultialloc bool) Memory + func (w Memory) EffectiveSize() (count int) + func (w Memory) Eq(e Element) bool + func (w Memory) ForEach(f func(loc.AddressableLocation, AbstractValue)) + func (w Memory) Geq(e Element) bool + func (w Memory) GetOrDefault(key loc.AddressableLocation, dflt AbstractValue) AbstractValue + func (w Memory) GetUnsafe(key loc.AddressableLocation) AbstractValue + func (w Memory) IsMultialloc(key loc.AddressableLocation) bool + func (w Memory) Join(o Element) Element + func (w Memory) Leq(e Element) bool + func (w Memory) Meet(o Element) Element + func (w Memory) Memory() Memory + func (w Memory) MonoJoin(o Memory) Memory + func (w Memory) Remove(key loc.AddressableLocation) Memory + func (w Memory) Size() int + func (w Memory) String() string + func (w Memory) Update(key loc.AddressableLocation, value AbstractValue) Memory + type MemoryLattice struct + func (m *MemoryLattice) Bot() Element + func (m *MemoryLattice) Eq(o Lattice) bool + func (m *MemoryLattice) Memory() *MemoryLattice + func (m *MemoryLattice) String() string + func (m *MemoryLattice) Top() Element + func (m MemoryLattice) RngBot() Element + type MinusInfinity struct + func (MinusInfinity) Div(b2 IntervalBound) IntervalBound + func (MinusInfinity) Eq(b2 IntervalBound) bool + func (MinusInfinity) Geq(b2 IntervalBound) bool + func (MinusInfinity) Gt(IntervalBound) bool + func (MinusInfinity) IsInfinite() bool + func (MinusInfinity) Leq(IntervalBound) bool + func (MinusInfinity) Lt(b2 IntervalBound) bool + func (MinusInfinity) Max(b2 IntervalBound) IntervalBound + func (MinusInfinity) Min(b2 IntervalBound) IntervalBound + func (MinusInfinity) Minus(b2 IntervalBound) IntervalBound + func (MinusInfinity) Mult(b2 IntervalBound) IntervalBound + func (MinusInfinity) Plus(b2 IntervalBound) IntervalBound + func (MinusInfinity) String() string + type MutexLattice struct + func (*MutexLattice) AbstractValue() *AbstractValueLattice + func (*MutexLattice) Analysis() *AnalysisLattice + func (*MutexLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*MutexLattice) ChannelInfo() *ChannelInfoLattice + func (*MutexLattice) Dropped() *Dropped + func (*MutexLattice) Flat() *FlatLattice + func (*MutexLattice) FlatInt() *FlatIntLattice + func (*MutexLattice) InfiniteMap() *InfiniteMapLattice + func (*MutexLattice) Interval() *IntervalLattice + func (*MutexLattice) Lifted() *Lifted + func (*MutexLattice) Map() *MapLattice + func (*MutexLattice) Memory() *MemoryLattice + func (*MutexLattice) OneElement() *OneElementLattice + func (*MutexLattice) OpOutcomes() *OpOutcomesLattice + func (*MutexLattice) Powerset() *Powerset + func (*MutexLattice) Preheight() int + func (*MutexLattice) Product() *ProductLattice + func (*MutexLattice) String() string + func (*MutexLattice) TwoElement() *TwoElementLattice + func (l1 *MutexLattice) Eq(l2 Lattice) bool + type OneElementLattice struct + func (*OneElementLattice) AbstractValue() *AbstractValueLattice + func (*OneElementLattice) Analysis() *AnalysisLattice + func (*OneElementLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*OneElementLattice) Bot() Element + func (*OneElementLattice) ChannelInfo() *ChannelInfoLattice + func (*OneElementLattice) Dropped() *Dropped + func (*OneElementLattice) Elements() []Element + func (*OneElementLattice) Flat() *FlatLattice + func (*OneElementLattice) FlatFinite() *FlatFiniteLattice + func (*OneElementLattice) FlatInt() *FlatIntLattice + func (*OneElementLattice) InfiniteMap() *InfiniteMapLattice + func (*OneElementLattice) Interval() *IntervalLattice + func (*OneElementLattice) Lifted() *Lifted + func (*OneElementLattice) Map() *MapLattice + func (*OneElementLattice) Memory() *MemoryLattice + func (*OneElementLattice) OneElement() *OneElementLattice + func (*OneElementLattice) OpOutcomes() *OpOutcomesLattice + func (*OneElementLattice) Powerset() *Powerset + func (*OneElementLattice) Preheight() int + func (*OneElementLattice) Product() *ProductLattice + func (*OneElementLattice) String() string + func (*OneElementLattice) Top() Element + func (*OneElementLattice) TwoElement() *TwoElementLattice + func (l1 *OneElementLattice) Eq(l2 Lattice) bool + type PlusInfinity struct + func (PlusInfinity) Div(b2 IntervalBound) IntervalBound + func (PlusInfinity) Eq(b2 IntervalBound) bool + func (PlusInfinity) Geq(IntervalBound) bool + func (PlusInfinity) Gt(b2 IntervalBound) bool + func (PlusInfinity) IsInfinite() bool + func (PlusInfinity) Leq(b2 IntervalBound) bool + func (PlusInfinity) Lt(IntervalBound) bool + func (PlusInfinity) Max(IntervalBound) IntervalBound + func (PlusInfinity) Min(b2 IntervalBound) IntervalBound + func (PlusInfinity) Minus(b2 IntervalBound) IntervalBound + func (PlusInfinity) Mult(b2 IntervalBound) IntervalBound + func (PlusInfinity) Plus(b2 IntervalBound) IntervalBound + func (PlusInfinity) String() string + type PointsTo struct + func (PointsTo) Analysis() Analysis + func (PointsTo) AnalysisIntraprocess() AnalysisIntraprocess + func (PointsTo) AnalysisState() AnalysisState + func (PointsTo) ChannelInfo() ChannelInfo + func (PointsTo) Charges() Charges + func (PointsTo) Cond() Cond + func (PointsTo) Dropped() *DroppedTop + func (PointsTo) Flat() FlatElement + func (PointsTo) FlatInt() FlatIntElement + func (PointsTo) InfiniteMap() InfiniteMap + func (PointsTo) Interval() Interval + func (PointsTo) Lifted() *LiftedBot + func (PointsTo) Map() Map + func (PointsTo) Memory() Memory + func (PointsTo) OneElement() oneElementLatticeElement + func (PointsTo) OpOutcomes() OpOutcomes + func (PointsTo) Product() Product + func (PointsTo) RWMutex() RWMutex + func (PointsTo) Set() Set + func (PointsTo) ThreadCharges() ThreadCharges + func (PointsTo) TwoElement() twoElementLatticeElement + func (e PointsTo) AbstractValue() AbstractValue + func (e PointsTo) Lattice() Lattice + func (m PointsTo) Empty() bool + func (m PointsTo) Entries() (ret []loc.Location) + func (m PointsTo) Eq(o Element) bool + func (m PointsTo) ForEach(do func(loc.Location)) + func (m PointsTo) Geq(o Element) bool + func (m PointsTo) Height() int + func (m PointsTo) Join(o Element) Element + func (m PointsTo) Leq(o Element) bool + func (m PointsTo) Meet(o Element) Element + func (m PointsTo) MonoJoin(o PointsTo) PointsTo + func (m PointsTo) MonoMeet(o PointsTo) PointsTo + func (m PointsTo) NonNilEntries() []loc.Location + func (m PointsTo) PointsTo() PointsTo + func (m PointsTo) Size() int + func (m PointsTo) String() string + func (p PointsTo) Add(ptr loc.Location) PointsTo + func (p PointsTo) Contains(key loc.Location) bool + func (p PointsTo) Filter(pred func(l loc.Location) bool) PointsTo + func (p PointsTo) FilterNil() PointsTo + func (p PointsTo) FilterNilCB(onNilFound func()) PointsTo + func (p PointsTo) HasNil() bool + func (p PointsTo) Remove(loc loc.Location) PointsTo + type PointsToLattice struct + func (*PointsToLattice) AbstractValue() *AbstractValueLattice + func (*PointsToLattice) Analysis() *AnalysisLattice + func (*PointsToLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*PointsToLattice) ChannelInfo() *ChannelInfoLattice + func (*PointsToLattice) Dropped() *Dropped + func (*PointsToLattice) Flat() *FlatLattice + func (*PointsToLattice) FlatFinite() *FlatFiniteLattice + func (*PointsToLattice) FlatInt() *FlatIntLattice + func (*PointsToLattice) InfiniteMap() *InfiniteMapLattice + func (*PointsToLattice) Interval() *IntervalLattice + func (*PointsToLattice) Lifted() *Lifted + func (*PointsToLattice) Map() *MapLattice + func (*PointsToLattice) Memory() *MemoryLattice + func (*PointsToLattice) OneElement() *OneElementLattice + func (*PointsToLattice) OpOutcomes() *OpOutcomesLattice + func (*PointsToLattice) Powerset() *Powerset + func (*PointsToLattice) Preheight() int + func (*PointsToLattice) Product() *ProductLattice + func (*PointsToLattice) TwoElement() *TwoElementLattice + func (m *PointsToLattice) Bot() Element + func (m *PointsToLattice) Eq(o Lattice) bool + func (m *PointsToLattice) String() string + func (m *PointsToLattice) Top() Element + type Powerset struct + func (*Powerset) AbstractValue() *AbstractValueLattice + func (*Powerset) Analysis() *AnalysisLattice + func (*Powerset) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*Powerset) ChannelInfo() *ChannelInfoLattice + func (*Powerset) Dropped() *Dropped + func (*Powerset) Flat() *FlatLattice + func (*Powerset) FlatFinite() *FlatFiniteLattice + func (*Powerset) FlatInt() *FlatIntLattice + func (*Powerset) InfiniteMap() *InfiniteMapLattice + func (*Powerset) Interval() *IntervalLattice + func (*Powerset) Lifted() *Lifted + func (*Powerset) Map() *MapLattice + func (*Powerset) Memory() *MemoryLattice + func (*Powerset) OneElement() *OneElementLattice + func (*Powerset) OpOutcomes() *OpOutcomesLattice + func (*Powerset) Preheight() int + func (*Powerset) Product() *ProductLattice + func (*Powerset) TwoElement() *TwoElementLattice + func (l1 *Powerset) Eq(l2 Lattice) bool + func (p *Powerset) Bot() Element + func (p *Powerset) Contains(x interface{}) bool + func (p *Powerset) Domain() set + func (p *Powerset) Extend(x interface{}) + func (p *Powerset) Powerset() *Powerset + func (p *Powerset) String() string + func (p *Powerset) Top() Element + type Product struct + func (Product) Analysis() Analysis + func (Product) AnalysisIntraprocess() AnalysisIntraprocess + func (Product) AnalysisState() AnalysisState + func (Product) ChannelInfo() ChannelInfo + func (Product) Charges() Charges + func (Product) Cond() Cond + func (Product) Dropped() *DroppedTop + func (Product) Flat() FlatElement + func (Product) FlatInt() FlatIntElement + func (Product) InfiniteMap() InfiniteMap + func (Product) Interval() Interval + func (Product) Lifted() *LiftedBot + func (Product) Map() Map + func (Product) Memory() Memory + func (Product) OneElement() oneElementLatticeElement + func (Product) OpOutcomes() OpOutcomes + func (Product) PointsTo() PointsTo + func (Product) RWMutex() RWMutex + func (Product) Set() Set + func (Product) ThreadCharges() ThreadCharges + func (Product) TwoElement() twoElementLatticeElement + func (e Product) AbstractValue() AbstractValue + func (e Product) Get(i int) Element + func (e Product) Lattice() Lattice + func (e Product) String() string + func (e1 Product) Eq(e2 Element) bool + func (e1 Product) Geq(e2 Element) bool + func (e1 Product) Join(e2 Element) Element + func (e1 Product) Leq(e2 Element) bool + func (e1 Product) Meet(e2 Element) Element + func (e1 Product) MonoJoin(e2 Product) Product + func (e1 Product) MonoMeet(e2 Product) Product + func (e1 Product) Update(i int, e2 Element) Product + func (p Product) Height() (h int) + func (p Product) Product() Product + type ProductLattice struct + func (*ProductLattice) AbstractValue() *AbstractValueLattice + func (*ProductLattice) Analysis() *AnalysisLattice + func (*ProductLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*ProductLattice) ChannelInfo() *ChannelInfoLattice + func (*ProductLattice) Dropped() *Dropped + func (*ProductLattice) Flat() *FlatLattice + func (*ProductLattice) FlatFinite() *FlatFiniteLattice + func (*ProductLattice) FlatInt() *FlatIntLattice + func (*ProductLattice) InfiniteMap() *InfiniteMapLattice + func (*ProductLattice) Interval() *IntervalLattice + func (*ProductLattice) Lifted() *Lifted + func (*ProductLattice) Map() *MapLattice + func (*ProductLattice) Memory() *MemoryLattice + func (*ProductLattice) OneElement() *OneElementLattice + func (*ProductLattice) OpOutcomes() *OpOutcomesLattice + func (*ProductLattice) Powerset() *Powerset + func (*ProductLattice) Preheight() int + func (*ProductLattice) TwoElement() *TwoElementLattice + func (l1 *ProductLattice) Eq(l2 Lattice) bool + func (p *ProductLattice) Bot() Element + func (p *ProductLattice) Extend(l Lattice) + func (p *ProductLattice) Get(i int) Lattice + func (p *ProductLattice) Lattices() []Lattice + func (p *ProductLattice) Product() *ProductLattice + func (p *ProductLattice) Size() int + func (p *ProductLattice) String() string + func (p *ProductLattice) Top() Element + type RWMutexLattice struct + func (*RWMutexLattice) AbstractValue() *AbstractValueLattice + func (*RWMutexLattice) Analysis() *AnalysisLattice + func (*RWMutexLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*RWMutexLattice) ChannelInfo() *ChannelInfoLattice + func (*RWMutexLattice) Dropped() *Dropped + func (*RWMutexLattice) Flat() *FlatLattice + func (*RWMutexLattice) FlatFinite() *FlatFiniteLattice + func (*RWMutexLattice) FlatInt() *FlatIntLattice + func (*RWMutexLattice) InfiniteMap() *InfiniteMapLattice + func (*RWMutexLattice) Interval() *IntervalLattice + func (*RWMutexLattice) Lifted() *Lifted + func (*RWMutexLattice) Map() *MapLattice + func (*RWMutexLattice) Memory() *MemoryLattice + func (*RWMutexLattice) OneElement() *OneElementLattice + func (*RWMutexLattice) OpOutcomes() *OpOutcomesLattice + func (*RWMutexLattice) Powerset() *Powerset + func (*RWMutexLattice) Preheight() int + func (*RWMutexLattice) TwoElement() *TwoElementLattice + func (RWMutexLattice) String() string + func (l RWMutexLattice) Bot() Element + func (l RWMutexLattice) Top() Element + func (l1 RWMutexLattice) Eq(l2 Lattice) bool + type Set struct + func (Set) Analysis() Analysis + func (Set) AnalysisIntraprocess() AnalysisIntraprocess + func (Set) AnalysisState() AnalysisState + func (Set) ChannelInfo() ChannelInfo + func (Set) Charges() Charges + func (Set) Cond() Cond + func (Set) Dropped() *DroppedTop + func (Set) Flat() FlatElement + func (Set) FlatInt() FlatIntElement + func (Set) InfiniteMap() InfiniteMap + func (Set) Interval() Interval + func (Set) Lifted() *LiftedBot + func (Set) Map() Map + func (Set) Memory() Memory + func (Set) OneElement() oneElementLatticeElement + func (Set) OpOutcomes() OpOutcomes + func (Set) PointsTo() PointsTo + func (Set) Product() Product + func (Set) RWMutex() RWMutex + func (Set) ThreadCharges() ThreadCharges + func (Set) TwoElement() twoElementLatticeElement + func (e Set) AbstractValue() AbstractValue + func (e Set) Add(x interface{}) Set + func (e Set) All() set + func (e Set) Contains(x interface{}) bool + func (e Set) Height() int + func (e Set) Lattice() Lattice + func (e Set) Remove(x interface{}) Set + func (e Set) Set() Set + func (e Set) String() string + func (e1 Set) Eq(e2 Element) bool + func (e1 Set) Geq(e2 Element) (result bool) + func (e1 Set) Join(e2 Element) Element + func (e1 Set) Leq(e2 Element) bool + func (e1 Set) Meet(e2 Element) Element + func (e1 Set) MonoJoin(e2 Set) Set + func (e1 Set) MonoMeet(e2 Set) Set + func (e1 Set) Size() (size int) + type TwoElementLattice struct + func (*TwoElementLattice) AbstractValue() *AbstractValueLattice + func (*TwoElementLattice) Analysis() *AnalysisLattice + func (*TwoElementLattice) AnalysisIntraprocess() *AnalysisIntraprocessLattice + func (*TwoElementLattice) Bot() Element + func (*TwoElementLattice) ChannelInfo() *ChannelInfoLattice + func (*TwoElementLattice) Dropped() *Dropped + func (*TwoElementLattice) Elements() []Element + func (*TwoElementLattice) Flat() *FlatLattice + func (*TwoElementLattice) FlatFinite() *FlatFiniteLattice + func (*TwoElementLattice) FlatInt() *FlatIntLattice + func (*TwoElementLattice) InfiniteMap() *InfiniteMapLattice + func (*TwoElementLattice) Interval() *IntervalLattice + func (*TwoElementLattice) Lifted() *Lifted + func (*TwoElementLattice) Map() *MapLattice + func (*TwoElementLattice) Memory() *MemoryLattice + func (*TwoElementLattice) OneElement() *OneElementLattice + func (*TwoElementLattice) OpOutcomes() *OpOutcomesLattice + func (*TwoElementLattice) Powerset() *Powerset + func (*TwoElementLattice) Preheight() int + func (*TwoElementLattice) Product() *ProductLattice + func (*TwoElementLattice) String() string + func (*TwoElementLattice) Top() Element + func (*TwoElementLattice) TwoElement() *TwoElementLattice + func (l1 *TwoElementLattice) Eq(l2 Lattice) bool
Go to main page