Versions in this module Expand all Collapse all v1 v1.0.0 Sep 22, 2022 Changes in this version + type Func struct + func (f *Func) AddCreatedChan(v ssa.Value) + func (f *Func) AddInChan(v ssa.Value) + func (f *Func) AddOutChan(v ssa.Value) + func (f *Func) AddUseChan(v ssa.Value) + func (f *Func) AddUseSync(v ssa.Value) + func (f *Func) Chans() map[ssa.Value]struct{} + func (f *Func) HasChan(v ssa.Value) bool + func (f *Func) IsActive(v ssa.Value) bool + func (f *Func) OutChans() map[ssa.Value]struct{} + func (f *Func) String() (str string) + func (f *Func) Sync() map[ssa.Value]struct{} + type PSets []utils.SSAValueSet + func GetGCatchPSets(CFG *cfg.Cfg, f *ssa.Function, pt *pointer.Result, ...) (psets PSets) + func GetInterprocPsets(CFG *cfg.Cfg, pt *pointer.Result, G graph.Graph[*ssa.Function]) PSets + func GetSameFuncPsets(ps Primitives) (psets PSets) + func GetSingletonPsets(ps Primitives) (psets PSets) + func GetTotalPset(ps Primitives) (psets PSets) + func (psets PSets) Get(v ssa.Value) utils.SSAValueSet + func (psets PSets) String() string + type Primitives map[*ssa.Function]*Func + func GetPrimitives(entry *ssa.Function, pt *pointer.Result, G graph.Graph[*ssa.Function]) (p Primitives) + func (p Primitives) Chans() utils.SSAValueSet + func (p Primitives) String() string