Versions in this module Expand all Collapse all v1 v1.0.0 Sep 22, 2022 Changes in this version + const SHARED_FUN + const SHARED_PKG + func Atoi(s string) int + func CanColorize(col func(...interface{}) string) func(...interface{}) string + func FindSSAInstruction(fun *ssa.Function, pred func(ssa.Instruction) bool) (ssa.Instruction, bool) + func HashCombine(hs ...uint32) (seed uint32) + func IsModelledConcurrentAPIType(typ types.Type) bool + func IsNamedType(typ types.Type, pkg string, name string) bool + func MakePath() (path string) + func Opts() optInterface + func ParseArgs() + func PrintSSAFun(fun *ssa.Function) + func PrintSSAFunWithPos(fset *token.FileSet, fun *ssa.Function) + func Prompt() + func SSABlockString(blk *ssa.BasicBlock) string + func SSAFunString(fun *ssa.Function) string + func SSAPkgString(pkg *ssa.Package) (str string) + func SSAValString(v ssa.Value) string + func TimeTrack(start time.Time, name string) + func TypeCompat(declType, allocType T.Type) (res bool) + func TypeHasConcurrencyPrimitives(typ types.Type, visited map[types.Type]struct{}) bool + func TypeHasPointerLikes(typ types.Type) bool + func ValHasConcurrencyPrimitives(v ssa.Value, pt *pointer.Result) bool + func ValHasPointerLikes(v ssa.Value) bool + func ValIsInPkg(val ssa.Value, pkg string) bool + func VerbosePrint(format string, a ...interface{}) (n int, err error) + type Hashable interface + Hash func() uint32 + type Hasher interface + Equal func(a, b T) bool + Hash func(a T) uint32 + var SSAValueSetHasher Hasher[SSAValueSet] = ssaValueSetHasher{} + type PointerHasher struct + func (PointerHasher) Equal(a, b interface{}) bool + func (PointerHasher) Hash(v interface{}) uint32 + type SSAValueSet struct + func MakeSSASet(vs ...ssa.Value) SSAValueSet + func (s SSAValueSet) Add(v ssa.Value) SSAValueSet + func (s SSAValueSet) Contains(v ssa.Value) bool + func (s SSAValueSet) Empty() bool + func (s SSAValueSet) Entries() []ssa.Value + func (s SSAValueSet) ForEach(do func(ssa.Value)) + func (s SSAValueSet) Size() int + func (s SSAValueSet) String() string + func (s1 SSAValueSet) Join(s2 SSAValueSet) SSAValueSet + func (s1 SSAValueSet) Meet(s2 SSAValueSet) SSAValueSet