
| 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.