版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、UniversityId:1D532TopicIndex:工E311Studentld:SecudtyLevel:LY20n2njQ—■旦Ⅱn童L—ComputingStaticSliceforjavaprogramsCollegeMajorResearchFieldSupervisorByMartinNgobye—ComputerandCommunication——一ComputerScienceandTechnology!!i塑些!
2、!!塹里g旦翌!圣!!堅旦!血Mav2005ListoffiguresLlSTOFFIGURES:2。lSourcecodewitllcorrespondingcontrolflowgraph22ProgramcomputingsuInandproductofpositivenumbers,23AsliceofaprogramWrt。criterion(10product)24Sourceprogramanditsdynamicslic
3、e,,,,,25Staticslicewithrespectto(8,x)。31Anexampleprogramanditsprogramdependencegraph,,4,1Sourceprogramshowingdependences,,。,,。。42Systemdependencegraph43SourcecodeforiavamethodRun。。。。44Methoddependencegraph,,,,,,,45Source
4、codeforclassesandinteffaceimplementation一46InDOforinterfaceB,andClassC3thatimplementsit47AsimplepackagecollectionanditscorrespondingPaDG。。51Themodifiedalgorithmforslicing。,52ListofvariablescontriburingtoSDG。,,。,,。,,。。,61
5、Featuresofthesyntaxanalysismodule,,,62ArchitectureofAnalysisTool。,。。。。。t。63AnexampleofdatastructureClassStruct,64CFGcreatedbytheanalysistool,。,,,,。,6,5PartofthePDGobtainedfromthet001o910111216222324253l323337,38446l62。66
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- An Approach for Generating Call Graph of Java-Android Programs.pdf
- Argumentation versus Narrative:A Critical Inquiry into Two In-service Teacher Education Programs.pdf
- 2016版-building java programs a back to basics approach, 4th edition
- 4445.slice正則函數(shù)論
- c中static作用
- scientific computing科學(xué)計算
- Ternary logic in quantum computing.pdf
- Infographics Use and Changes in Television Programs in Vietnam.pdf
- cloud computing and network security research
- Brand Loyalty Programs_ Are They Shams_.pdf
- Brand Loyalty Programs_ Are They Shams_.pdf
- Dahlia:JXTA based Grid Computing Framework.pdf
- An Algorithm for Task Scheduling In a Heterogeneous Computing Environment.pdf
- Interior design education programs during historical periods.pdf
- analysis on the patentability of cloud computing related techniques
- Corticosterone in Ovo Programs Growth,Behavior and Ovary Functions in the Chicken.pdf
- 2018版-pervasive computing paradigms for mental health
- Webcam Based Hand Gesture Recognition System for Static Image.pdf
- c語言中static變量使用方法
- Soccer Static Video Summarization System Based on Genetic Algorithm.pdf
評論
0/150
提交評論