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