Class | Description |
---|---|
CopyAnalysis |
Analysis which detects that one variable is the copy of the other,
and uses older var instead.
|
CopyAssumption |
Assumption class for CopyAnalysis.
|
CopyAssumption.Updater |
Updates the assumption by copying it on first write.
|
CopyFlowFunction |
Flow function for CopyAnalysis.
|
CopyIntegratedFlowFunction |
Integrated flow function for CopyAnalysis.
|
Copyright © 2018. All rights reserved.