[Soot-list] Empty points-to information
Khilan Gudka
khilan at doc.ic.ac.uk
Sun Jul 11 04:35:41 EDT 2010
Hi,
I used the verbose option to the cg phase and I got quite a few lines
saying to use safe-forname and safe-newinstance for a conservative
result. Is this really necessary?
There was one line however, which just said:
Warning: call to java.lang.reflect.Method: invoke() from
<java.lang.reflect.Proxy$ClassFactory: java.lang.Class
generate(java.lang.ClassLoader)>; graph will be incomplete!
What do I do for this?
Thanks,
Khilan
On 11 July 2010 08:44, Eric Bodden <bodden at st.informatik.tu-darmstadt.de> wrote:
>> Is GNU Classpath known to work well with soot (in terms of sound
>> callgraph construction)?
>
> Rather not.
>
>> How do I know if the callgraph is complete?
>
> In many cases Soot will tell you. (look at the output) But the only
> way to make sure is to create dynamic ones and to then compare both
> graphs, e.g. using Ondrej Lhotak's ProBe tool.
>
> Eric
>
More information about the Soot-list
mailing list