版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、UniversityId:1D532TopicIndex:工E311Studentld:SecudtyLevel:LY20n2njQ—■旦Ⅱn童L—ComputingStaticSliceforjavaprogramsCollegeMajorResearchFieldSupervisorByMartinNgobye—ComputerandCommunication——一ComputerScienceandTechnology!!i塑些!
2、!!塹里g旦翌!圣!!堅(jiān)旦!血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. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 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é)計(jì)算
- 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
- An Algorithm for Task Scheduling In a Heterogeneous Computing Environment.pdf
- Dahlia:JXTA based Grid Computing Framework.pdf
- Corticosterone in Ovo Programs Growth,Behavior and Ovary Functions in the Chicken.pdf
- analysis on the patentability of cloud computing related techniques
- Interior design education programs during historical periods.pdf
- 2018版-pervasive computing paradigms for mental health
- Soccer Static Video Summarization System Based on Genetic Algorithm.pdf
- An_assessment_of_quasi-static_and_operational_errors_in_NC_machine_tools.pdf
- Webcam Based Hand Gesture Recognition System for Static Image.pdf
評(píng)論
0/150
提交評(píng)論