global

Documentation

Index

• Constants
• Variables
• type C3_struct
• type Inst_value
• type Operation
• type Parent_path
• type Path_stat
• type Struct
• type Sync_struct
• type Temp_struct

Constants

const C3_FP_layer int = 3

const C3_FP_ratio float32 = 0.5

const C3_Ratio float32 = 0.75

const C3_kill_FP_1 bool = true

const C3_kill_FP_2 bool = true // see if there is an Unlock that will definitely be executed after Lock

const C3_min_times_of_usage = 4

const C5A_kill_FP_1 bool = false

const C5_call_chain_layer int = 8 // Be careful: Algorithm complexity: e^n, n = C5_call_chain_layer

const C5_call_chain_max_fn int = 100000

const C5_kill_FP_1 bool = true

const C5_kill_FP_2 bool = true

const C5_kill_FP_3 bool = false // This can reduce a lot of FP but will also produce FN

const C5_kill_FP_4 bool = false // If callee is in builtin packages, skip

const C6A_call_chain_layer_for_chan_wrapper int = 3

const C6A_call_chain_layer_for_inside_CS int = 5 //CS is critical section

const C6A_call_chain_layer_for_lock_wrapper int = 5

const C6A_kill_FP_1 bool = false // ignore channels and conds not as field

const C6A_max_count_for_lock_wrapper int = 10000

const C6A_max_recursive_count = 5000

const C6A_wrapper_count = 50000000

const C6_kill_FP_1 bool = false

const C6_kill_FP_2 bool = true

const C7A_kill_FP_ignoreTest = false

const C7A_max_call_chain_length = 3

const C7A_max_layer = 3

const C7A_max_recursive_count = 50000

const C7B_max_call_path_length = 7

const C7B_max_layer = 7

const C7B_max_recursive_count = 5000

const C7_report_directly_usage bool = true

const CHA_CallGraph_Prune_SDK = true

const CHA_CallGraph_Prune_Soundly = true

const Kill_FP_avoid_multi_report = false // This should be set true before used by a company: give only 1 bug report for a channel/cond/...

const Max_in_edges = 100

const Pointer_consider_reflection = false

const Print_err_log = false

This file contains some key parameters.

Variables

var Absolute_root string

var All_method []*ssa.Function

var All_pkg_paths []Path_stat

var All_struct []*Struct

var All_sync_global []*ssa.Global

var All_sync_struct []*Sync_struct

var Bug_index int

var Bug_index_mu sync.Mutex

var C3_Exclude_slice = []string{"init", "close", "start", "new", "lockfree", "shutdown"}

var C5_black_list_pkg = []string{}

var C6_Exclude_slice = []string{"init", "close", "shutdown", "start", "new"}

var CHA_Call_graph *callgraph.Graph

var Call_graph *callgraph.Graph

var Defer_map map[*ssa.RunDefers][]*ssa.Defer

var Entrance, Include string

var Exclude []string

var Flag_write_inst = false

var GOPATH string

var Inst2edge map[ssa.CallInstruction][]*callgraph.Edge

var Last_progress float32

var Num_scan_pkg_lock_send int

var Output_file *os.File

var Pkgs []*ssa.Package

var PointerAnalysisResult *mypointer.Result

var Process_count int

var Prog *ssa.Program

var Root string

var Static_call_graph *callgraph.Graph

var Target_GOPATH string

var Wg_B1 sync.WaitGroup

var Worthy_path []Parent_path

Types

type C3_struct

type C3_struct struct {
	Name  string
	Field map[string](map[ssa.Instruction][]string) //map[field_name](map[inst_used_field][]str_alive_mutexs)
}

type Inst_value

type Inst_value struct {
	Inst    ssa.Instruction
	Value   ssa.Value
	Comment string
}

type Operation

type Operation struct {
	Position    token.Position
	Instruction ssa.Instruction
	Type        string
}

type Parent_path

type Parent_path struct {
	Parent         string
	Children       []string
	Total_num_lock int
	Total_num_send int
}

type Path_stat

type Path_stat struct {
	Path          string
	Self_num_lock int
	Self_num_send int
}

type Struct

type Struct struct {
	Name  string
	Field map[string]string
}

type Sync_struct

type Sync_struct struct {
	Type        string
	ContainSync bool
	Field       map[string]string
	Potential   bool
}

type Temp_struct

type Temp_struct struct {
	Name  string
	Field string
}