Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi
description
Transcript of Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi
Project ReportStatic AnalyzerLin Yin, Jin Yi, Yu Miao, Zhao Muzhi
Background Our Team Phoenix Platform
Implementation Summary
Part I
Contents
Remaining Time
Comments
Jin Yi: Architecture, Worklist Algo., Liveness Algo., Reaching Def Algo., Initial Value Algo., Signed Value Algo.(abandoned)
Lin Yin: GUI, Avail. Exp. Algo., Test, Integration
Yu Miao: Phoenix, Documents, Liveness Algo. (abandoned)
Zhao Muzhi: Test, Documents, Busy Exp. Algo.
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
10 Min.
Our Team
Contents
Remaining Time
Comments
10 Min.
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
About Phoenix Platform
Contents
Remaining Time
Comments
8 Min.
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
About Phoenix Platform
The Phoenix framework is an enhanced infrastructure for building compilers and other programming tools.
By creating your own phases, you can customize your compiler’s behavior based on Phoenix platform.
Part II
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
2 Min.
Architecture
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
7 Min.
Worklist Algorithm
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
6 Min.
Liveness Analysis Algorithm
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
3 Min.
Reaching Definition Algorithm
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
3 Min.
Initial Value Algorithm
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
5 Min.
Available Expression Algorithm
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
4 Min.
Busy Expression Algorithm
Part V
Many thanks to our tutor Prof. Qi Thank you all for listening!