[Soot-list] Possible bug in PatchingChain.insertBefore(List, Object)

[mbatch at cs.mcgill.ca]

> I tried to understand what the Soot code was doing and I thought this
> part was probably the source of the problem. My point is that inserting a
> while loop, or any code with a jump to the insertion point, seems like
> quite a reasonable thing to do - I'm sure I'm not the first person to have
> tried. Don't you think it makes more sense to alter the behaviour in Soot,
> rather than work around it? When the jump redirection is done, surely the
> expected behaviour is to exclude the code you're inserting? I can't think
> of any reason why the alternative would be considered correct.

I, in fact, basically had this exact same problem at one point in my
research. I ended up adding a method to the patching chain
(insertBeforeNoRedirect).. I think the name is fairly self-explanitory. I
will check it in to the svn repository now.

Michael