Show simple item record

dc.contributor.authorChao, Ling-Ya Monicaen_US
dc.date.accessioned2015-04-09T13:56:00Z
dc.date.created2015-05en_US
dc.date.issued2015-04-08en_US
dc.date.submitted2015en_US
dc.identifier.citationChao, Ling-Ya Monica. 2015. Strong Update for Object-Oriented Flow-Sensitive Points-To Analysis. Bachelor's thesis, Harvard College.en_US
dc.identifier.urihttp://nrs.harvard.edu/urn-3:HUL.InstRepos:14398535
dc.description.abstractPoints-to analysis is a static analysis that approximates which memory locations each program expression may refer to. Many client analyses use points-to information to optimize compilers or reason about program security. The effectiveness of the client analyses relies on the precision of the points-to analysis. Flow-sensitive points-to analyses compute points-to information per program point, providing additional precision over flow-insensitive points-to analyses. We present a points-to analysis for object-oriented programs that is specifically designed to enable strong update, which is particularly useful in object-oriented languages as it can enable precise reasoning about object invariants established during object construction. We enable strong update by using the recency abstraction: each allocation site is represented by two abstract objects, the most-recently-allocated object and any non-most-recently allocated objects. By definition, the fields of a most-recently-allocated abstract object correspond to a single concrete memory location and can thus be strongly updated. Our analysis is implemented for Java bytecode. It is scalable (130k lines of code can be analyzed in 92 seconds), and significantly improves the precision of some client analyses, including non-null analysis, interval analysis and cast-removal analysis, compared to of a flow-insensitive analysis.en_US
dc.format.mimetypeapplication/pdfen_US
dc.language.isoenen_US
dash.licenseLAAen_US
dc.subjectComputer Scienceen_US
dc.titleStrong Update for Object-Oriented Flow-Sensitive Points-To Analysisen_US
dc.typeThesis or Dissertationen_US
dash.depositing.authorChao, Ling-Ya Monicaen_US
dc.date.available2015-04-09T13:56:00Z
thesis.degree.date2015en_US
thesis.degree.grantorHarvard Collegeen_US
thesis.degree.levelUndergraduateen_US
thesis.degree.nameABen_US
dc.type.materialtexten_US
thesis.degree.departmentComputer Scienceen_US
dash.identifier.vireohttp://etds.lib.harvard.edu/college/admin/view/56en_US
dash.title.page1en_US
dash.author.emaillingyachao8@gmail.comen_US
dash.identifier.drsurn-3:HUL.DRS.OBJECT:25267803en_US
dash.contributor.affiliatedChao, Ling-Ya


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record