project report static analyzer lin yin, jin yi, yu miao, zhao muzhi
DESCRIPTION
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 - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/1.jpg)
Project ReportStatic AnalyzerLin Yin, Jin Yi, Yu Miao, Zhao Muzhi
![Page 2: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/2.jpg)
Background Our Team Phoenix Platform
Implementation Summary
![Page 3: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/3.jpg)
Part I
![Page 4: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/4.jpg)
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
![Page 5: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/5.jpg)
Contents
Remaining Time
Comments
10 Min.
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
About Phoenix Platform
![Page 6: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/6.jpg)
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.
![Page 7: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/7.jpg)
Part II
![Page 8: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/8.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
2 Min.
Architecture
![Page 9: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/9.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
7 Min.
Worklist Algorithm
![Page 10: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/10.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
6 Min.
Liveness Analysis Algorithm
![Page 11: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/11.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
3 Min.
Reaching Definition Algorithm
![Page 12: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/12.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
3 Min.
Initial Value Algorithm
![Page 13: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/13.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
5 Min.
Available Expression Algorithm
![Page 14: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/14.jpg)
Contents
Remaining Time
Comments
Backgrounds Team PhoenixImplementation Architecture WorkList LivenessAnaly. ReachingDef InitialValue AvailableExpr. BusyExpr.Summary
4 Min.
Busy Expression Algorithm
![Page 15: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/15.jpg)
Part V
![Page 16: Project Report Static Analyzer Lin Yin, Jin Yi, Yu Miao, Zhao Muzhi](https://reader034.vdocuments.site/reader034/viewer/2022052219/56814f89550346895dbd42d8/html5/thumbnails/16.jpg)
Many thanks to our tutor Prof. Qi Thank you all for listening!