Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/3401
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hu, L | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Binkley, D | - |
dc.coverage.spatial | 9 | en |
dc.date.accessioned | 2009-06-10T10:04:58Z | - |
dc.date.available | 2009-06-10T10:04:58Z | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | 11th IEEE Working Conference on Reverse Engineering (WCRE'2004), pp. 152-160, Nov 2004 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/3401 | - |
dc.description.abstract | Program slicing is a source code extraction technique that can be used to support reverse engineering by automatically extracting executable subprograms that preserve some aspect of the original program's semantics. Although minimal slices are not generally computable, safe approximate algorithms can be used to good effect. However, the precision of such slicing algorithms is a major factor in determining the value of slicing for reverse engineering. Amorphous slicing has been proposed as a way of reducing the size of a slice. Amorphous slices preserve the aspect of semantic interest, but not the syntax that denotes it, making them generally smaller than their syntactically restricted counterparts. Amorphous slicing is suitable for many reverse engineering applications, since reverse engineering typically abandons the existing syntax to facilitate structural improvements. Previous work on amorphous slicing has not attempted to exploit its potential to apply loop-squashing transformations. This paper presents an algorithm for amorphous slicing of loops, which identifies induction variables, transformation rule templates and iteration-determining compile-time expressions. The algorithm uses these to squash certain loops into conditional assignments. The paper also presents an inductive proof of the rule templates and illustrates the application of the algorithm with a detailed example of loop squashing. | en |
dc.format.extent | 166877 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | IEEE | en |
dc.title | Loop squashing transformations for amorphous slicing | en |
dc.type | Conference Paper | en |
dc.identifier.doi | http://dx.doi.org/10.1109/WCRE.2004.26 | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Loop squashing transformations for amorphous slicing.pdf | 162.97 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.