Pusan, Korea

《Pusan, Korea》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、InterproceduralExceptionAnalysisforJavaByeong-MoChangJang-WuJoKwangkeunYiKwang-MooChoePusanUniversitySookmyungWomen'sKoreaAdvancedInst.ofScience&TechnologyUniversityofForeignStudiesTaejon,KoreaPusan,KoreaSeoul,Koreafkwang,choeg@cs.kaist.ac.krchang@cs.sookmyung.ac.krjjw@saejong.pufs.

2、ac.krKeywords:Java,classanalysis,uncaughtexceptionanal-time.Programmershavetodeclareinamethoddenitionysis,set-basedanalysisanyexceptionclasswhoseexceptionsmayescapefromitsbody.ABSTRACTTheproblemisthatthecurrentcompilerisnotelaborateCurrentJDKJavacompilerreliestoomuchonprogram-enough

3、todobetter"thanasspeciedbytheprogram-mer'sspecicationforcheckingagainstuncaughtexceptionsmers.Itcannotavoidprogrammer'sunnecessaryhandlersoftheinputprogram.Itisnotelaborateenoughtore-norsuggesttoprogrammersforspecializedhandlings.Itmoveprogrammer'sunnecessaryhandlers(whenprogram-i

4、sforeseeableforcareless(orincondent)programmerstomer'sspecicationsaretoomany)norsuggesttoprogram-excessivelydeclareateverymethodthatsomeexceptionsmersforspecializedhandlings(whenprogrammer'sspeci-canbeuncaught.Similarly,programmerscanspecifyex-cationsaretoogeneral).Weproposeastati

5、canalysisofceptionsintooabroadsense.ProgrammerscandeclareJavaprogramsthatestimatestheirexception owsindepen-thatamethodthrowsexceptionsofthemostgeneralclassdentlyoftheprogrammer'sspecications.ThisanalysisisExceptioneveniftheactualexceptionsareofmuchlower,designedandimplementedbasedo

6、nset-constraintframe-specicclasses.Thenitshandlercannotoerpropertreat-work.Itscost-eectivenessissuggestedbysparselyanalyz-mentsspecictotheexactclassesofactualexceptions.ingtheprogramatmethod-level(hencereducingthenum-berofunknownsinthe owequations).WehaveshownWeproposeaninterproc

7、eduralstaticanalysisofJavapro-thatourexceptionanalysiscaneectivelydetectuncaughtgramsthatestimatestheirexception owsindependentlyofexceptionsforrealisticJavaprograms.theprogrammer'sspecications.Ourexceptionanalysisis1.INTRODUCTIONdesignedbasedonset-basedframeworkandneedsclass(ortyp

8、e)informatio