config

Documentation

Index

• Constants
• Variables
• func CountOccurrence(strRootPath string, strQuery string) int
• func CountOccurrenceFile(strFileName string, strQuery string) int
• func CountOccurrenceRecursive(strRootPath string, strQuery string) int
• func IsPathIncluded(strPath string) bool
• func LastButOneIndex(str string, strQuery string) int
• func ListAllPkgPaths() []string
• type PathStat
• type PkgPath
  • func ListWorthyPaths() (wPaths []PkgPath)

Constants

const ConstPrintDeferMap = "print-defer-map"

flag constants

const DISABLE_OPTIMIZATION_CALLEES = false // If set to false, we won't enter every callee while building syncgraph

const MAX_GCATCH_DDL_SECOND = 360000 // 100 h

Dangerous thresholds: these thresholds prevents the checker or part of the checker from timeout

if these thresholds are reached, must print "!!!!" and a warning to the terminal

const MAX_INST_IN_SYNCGRAPH = 10000

const MAX_LCA_LAYER = 7 // The maximum caller-callee layers when updating dependency map and finding LCA (Lowest Common Ancester)

const MAX_PATH_ENUMERATE_SECOND = 60

const Max_PATH_ENUMERATE int = 1000000000

const POINTER_CONSIDER_REFLECTION = false

const Print_Debug_Info = false

const STRUCT_FP_LAYER int = 3

const STRUCT_FP_RATIO float32 = 0.5

const STRUCT_MIN_TIME_OF_USAGE = 4

Parameters used to tune only the checkers/structfield checker

const STRUCT_RATIO float32 = 0.75

Variables

var BoolChSafety bool = false

var BoolDisableFnPointer bool

var BoolGoMod bool

Variables for beta functionality that allows building and checking only one program using go.mod

var BugIndex int

var BugIndexMu sync.Mutex

var CallGraph *callgraph.Graph

var Defer2Insts map[*ssa.Defer][]ssa.Instruction

var Inst2CallSite map[ssa.CallInstruction]map[*callgraph.Edge]bool

var Inst2Defers map[ssa.Instruction][]*ssa.Defer

var MapExcludePaths map[string]bool // a map indicates which package names should be ignored

var MapHashOfCheckedCh map[string]struct{}

Global variables used by BMOC checker

var MapPrintMod map[string]bool // a map indicates which information will be printed

var Pkgs []*ssa.Package

var Prog *ssa.Program

var StrAbsolutePath string // /home/song/work/go-workspace/code/src/

var StrEntrancePath string // github.com/etcd-io/etcd

var StrGOPATH string // /home/song/work/go-workspace/code

var StrModAbsPath string // Absolute path to the program. go.mod must be in this path

var StrModulePath string // Module path, like github.com/etcd-io/etcd

var StrRelativePath string // github.com/etcd-io/etcd

var VecPathStats []PathStat

Functions

func CountOccurrence

func CountOccurrence(strRootPath string, strQuery string) int

func CountOccurrenceFile

func CountOccurrenceFile(strFileName string, strQuery string) int

func CountOccurrenceRecursive

func CountOccurrenceRecursive(strRootPath string, strQuery string) int

func IsPathIncluded

func IsPathIncluded(strPath string) bool

func LastButOneIndex

func LastButOneIndex(str string, strQuery string) int

func ListAllPkgPaths

func ListAllPkgPaths() []string

Types

type PathStat

type PathStat struct {
	StrPath string
	NumLock int
	NumSend int
}

type PkgPath

type PkgPath struct {
	StrPath         string
	VecChildrenPath []PkgPath //[] string
	NumLock         int
	NumSend         int
}

func ListWorthyPaths

func ListWorthyPaths() (wPaths []PkgPath)