[Soot-list] How to handle native calls

[Jochen Huck]

Hi,

I use the sideeffect analysis to ensure that two statements have no 
critical data dependencies. If one of these statements calls a native 
method it must be assumed that there might be data dependencies. I just 
wondered wheather it is possible to "inform" soot how to handle special 
native methods (like System.arraycopy()). I would like to say something 
like System.arraycopy(...) affects some points to sets - but the others 
are not affected.

Thanks,

Jochen