MASPLAS '07
Approximating Amorphous Slices
by Kyle Sluder and Dave Binkley
The similarities between amorphous slicing and partial evaluation are
explored, leading to the proposal for a framework for approximating an
amorphous slicer that operates on C programs. The capabilities results
of this framework are compared to those of traditional static slicing
mechanisms. Additionally, adaptation of the framework to conditional
amorphous slicing is explored, yielding comparisons to dynamic slicing.
back to main page