Finally, we will show how to manually instrument applications
by loading them into Soot [14], directly manipulating
the Jimple intermediate representation and then producing
a new application package containing the modications for
maximum
exibility both in terms of program changes and
the policies to be enforced. We will use this technique to
solve example problems that were not applicable to AspectJ
and Tracematches.