Constant Propagation Analysis analysis.go This file implements pkg/toolkits/scalar.FlowAnalysis switcher.go This file implements pkg/golang/switcher.Switcher runner.go This file encapsulates a Runner You can use function NewRunner outside the package to construct a Runner easily