1 / 16

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

Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi. Contents. Background Our Team Phoenix Platform Implementation Summary. Part I. Project Backgrounds. Our Team. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef

amelie
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Contents • Background • Our Team • Phoenix Platform • Implementation • Summary

  3. Part I Project Backgrounds

  4. Our Team Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 10 Min. • 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.

  5. About Phoenix Platform Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 10 Min.

  6. About Phoenix Platform 8 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary 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.

  7. Part II Implementation

  8. Architecture 2 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  9. Worklist Algorithm 7 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  10. Liveness Analysis Algorithm 6 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  11. Reaching Definition Algorithm 3 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  12. Initial Value Algorithm 3 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  13. Available Expression Algorithm 5 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  14. Busy Expression Algorithm 4 Min. Backgrounds Team Phoenix Implementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr. Summary

  15. Part V Summary

  16. Thank You • Many thanks to our tutor Prof. Qi • Thank you all for listening!

More Related