C7A

Documentation

Index

• Variables
• func CheckCallRelationship(goroutineA *ssa.Function, goroutineInst *ssa.Go) bool
• func Initialize()
• func Map(vs []*ch_send, f func(send *ch_send) ssa.Instruction) []ssa.Instruction
• func MapClosesToBasicBlocks(closes []*ch_close) []*ssa.BasicBlock
• func MapInstToBasicBlocks(insts []ssa.Instruction) []*ssa.BasicBlock
• func Start(path string, makelineno int, oplineno int)
• type BackEdge
• type LoopInfo
  • func NewLoopInfo(function *ssa.Function) *LoopInfo
  • func (this *LoopInfo) Analyze()
• type SuccBasicBlockFinder
  • func NewSuccBasicBlockFinder() SuccBasicBlockFinder
  • func (this *SuccBasicBlockFinder) Analyze(startBB *ssa.BasicBlock) []*ssa.BasicBlock

Variables

var C7A_reported []bug_report

var Unsorted_chan_values []ssa.Value

Functions

func CheckCallRelationship

func CheckCallRelationship(goroutineA *ssa.Function, goroutineInst *ssa.Go) bool

func Initialize

func Initialize()

func Map

func Map(vs []*ch_send, f func(send *ch_send) ssa.Instruction) []ssa.Instruction

func MapClosesToBasicBlocks

func MapClosesToBasicBlocks(closes []*ch_close) []*ssa.BasicBlock

func MapInstToBasicBlocks

func MapInstToBasicBlocks(insts []ssa.Instruction) []*ssa.BasicBlock

func Start

func Start(path string, makelineno int, oplineno int)

Types

type BackEdge

type BackEdge struct {
	// contains filtered or unexported fields
}

type LoopInfo

type LoopInfo struct {
	// contains filtered or unexported fields
}

func NewLoopInfo

func NewLoopInfo(function *ssa.Function) *LoopInfo

func (*LoopInfo) Analyze

func (this *LoopInfo) Analyze()

type SuccBasicBlockFinder

type SuccBasicBlockFinder struct {
	// contains filtered or unexported fields
}

func NewSuccBasicBlockFinder

func NewSuccBasicBlockFinder() SuccBasicBlockFinder

func (*SuccBasicBlockFinder) Analyze

func (this *SuccBasicBlockFinder) Analyze(startBB *ssa.BasicBlock) []*ssa.BasicBlock