Re: problem in spark command line options

[Navindra Umanee <navindra@cs.mcgill.ca>]

Hi Nikhil!

It's best to send your questions to the soot-list, since this is where
Ondrej, our Spark/pointer guru, currently lives (amongst others).
Cc'ing back to the list for that reason.

Nikhil Mahajan <niks729@yahoo.com> wrote:
> Hi Navin,Thanks for the reply. I did that and now it is kind of
> working. i.e. the following command does produce a jar file:java
> -mx100m soot.Main -a --app -p wjtp.Spark dumpHTML:true,disabled:false
> hello However, it produces a jar file of size 27MB when the class file
> hello just has one System.out.println statement and that is it. i
> tried runningjava -mx100m soot.Main -a --app -p wjtp.Spark
> disabled:false,onFlyCallGraph:true,dumpHTML:true hello and that gave
> me a jar file of 30MB. I do not understand this behavior at all. Can
> you please explain where i am going wrong.

Well, I tried this myself, just for fun.  As far as I can tell, the
jar file you are talking about is pag.jar, which is itself a
representation of the Pointer Assignment Graph in HTML.  Since this is
a whole program analysis, the jar file is huge.

Your confusion, as far as I can tell, is that pag.jar is bigger in the
case of onFlyCallGraph since we would expect the PAG to be smaller
than in the conservative case.

While I couldn't reproduce that myself, I should point out that the
size of the jar file really isn't indicative of anything other than
what the size of the bundled and compressed HTML files amounts to.
Try counting the number of the nodes in the graph with something like
"jar xt pag.jar | wc -l" for a better indication!

Ondrej will probably have more to say once he's back.

Cheers,
Navin.