# README
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
# Structs
ConstantPropagationAnalysis represents a constant propagtion analysis.
ConstantPropagationSwitcher represents a constant propagtion switcher.
Runner represents a constant propagation runner.