Documentation ¶
Index ¶
- type Func
- 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
- 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)
- type Primitives
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Func ¶
type Func struct {
// contains filtered or unexported fields
}
Every function may actively use some channels or synchronization primitives. The channels and synchronization primitives are separated
func (*Func) AddCreatedChan ¶
func (*Func) AddOutChan ¶
func (*Func) AddUseChan ¶
func (*Func) AddUseSync ¶
type PSets ¶
type PSets []utils.SSAValueSet
GCatch style PSets
func GetGCatchPSets ¶
func GetInterprocPsets ¶
Get whole program GCatch style P-sets
func GetSameFuncPsets ¶
func GetSameFuncPsets(ps Primitives) (psets PSets)
func GetSingletonPsets ¶
func GetSingletonPsets(ps Primitives) (psets PSets)
func GetTotalPset ¶
func GetTotalPset(ps Primitives) (psets PSets)
Compute a single, whole program P-set that includes all channels.
type Primitives ¶
Map every function to the primitives it uses
func GetPrimitives ¶
func GetPrimitives(entry *ssa.Function, pt *pointer.Result, G graph.Graph[*ssa.Function]) (p Primitives)
Process functions based on reachability
func (Primitives) Chans ¶
func (p Primitives) Chans() utils.SSAValueSet
func (Primitives) String ¶
func (p Primitives) String() string
Click to show internal directories.
Click to hide internal directories.