[Soot-list] Side-effects and native methods

[Antonio Castaldo D'Ursi]

Hi everybody.
I have to perform a dataflow analysis, but I need to include
side-effects information at method call statements. 

First of all: I can't understand how to use Spark's side-effects
analysis. I need to know which objects (AllocNodes), static fields, etc.
can be modified / are used by a method. Is there a way to extract this
information from Spark's side-effects analysis?

Most important: what about native methods? My idea was to run Spark,
then analyze each method to see which AllocNodes, static fields, etc
were modified / used, then propagate this information to the caller. 
I can do this for concrete methods, but this approach fails
with native methods because I can't build bodies for them.
Do you have any suggestion?

Thank you,
Antonio Castaldo D'Ursi

-- 

Entia non sunt multiplicanda praeter necessitatem