Project Report Static Analyzer Lin 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 Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 10 Min. Our Team

Contents Remaining Time Comments 10 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary About Phoenix Platform

Contents Remaining Time Comments 8 Min. Backgrounds Team Phoenix Implementation 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 Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 2 Min. Architecture

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 7 Min. Worklist Algorithm

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 6 Min. Liveness Analysis Algorithm

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 3 Min. Reaching Definition Algorithm

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 3 Min. Initial Value Algorithm

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 5 Min. Available Expression Algorithm

Contents Remaining Time Comments Backgrounds Team Phoenix Implementation 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!