2. Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi

3.  Background  Our Team  Phoenix Platform  Implementation  Summary

4. Part I

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

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

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

8. Part II

9. Contents Remaining Time Comments Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 2 Min. Architecture

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

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

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

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

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

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

16. Part V

17.  Many thanks to our tutor Prof. Qi  Thank you all for listening!