Show simple item record

dc.contributor.advisorShankar, Priti
dc.contributor.authorDevaraj, Arvind
dc.date.accessioned2018-07-28T09:16:15Z
dc.date.accessioned2018-07-31T04:39:24Z
dc.date.available2018-07-28T09:16:15Z
dc.date.available2018-07-31T04:39:24Z
dc.date.issued2018-07-28
dc.date.submitted2007
dc.identifier.urihttps://etd.iisc.ac.in/handle/2005/3891
dc.identifier.abstracthttp://etd.iisc.ac.in/static/etd/abstracts/4765/G21067-Abs.pdfen_US
dc.description.abstractA program slice consists of a subset of the statements of a program that can potentially affect values computed at some point of interest. Such a point of interest along with a set of variables is called a slicing criterion. Slicing tools are useful for several applications, such as program understanding, testing, program integration, and so forth. Slicing object oriented programs has some special problems that need to be addressed due to features like inheritance, polymorphism and dynamic binding. Alias analysis is important for precision of slices. In this thesis we implement a slicing tool for sequential Java programs in the Soot framework. Soot is a front-end for Java developed at McGill University and it provides several forms of intermediate code. We have integrated the slicer into the framework. We also propose an improved technique for intraprocedural points-to analysis. We have implemented this technique and compare the results of the analysis with those for a flow-insensitive scheme in Soot. Performance results of the slicer are reported for several benchmarks.en_US
dc.language.isoen_USen_US
dc.relation.ispartofseriesG21067en_US
dc.subjectJavaen_US
dc.subjectComputer Program Slicingen_US
dc.subjectJava Programsen_US
dc.subjectPoints-To-Analysisen_US
dc.subjectProgram Dependence Graph (PDG)en_US
dc.subjectSystem Dependence Graph (SDG)en_US
dc.subjectAndersen's Algorithmen_US
dc.subjectSoot - Javaen_US
dc.subject.classificationComputer Scienceen_US
dc.titleA Static Slicing Tool for Sequential Java Programsen_US
dc.typeThesisen_US
dc.degree.nameMSc Enggen_US
dc.degree.levelMastersen_US
dc.degree.disciplineFaculty of Engineeringen_US


Files in this item

This item appears in the following Collection(s)

Show simple item record