Re: all-reachable:true in Spark?

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

On Wed, Aug 25, 2004 at 06:54:44PM -0400, Saswat Anand wrote:
> Hello,
> 
> I want Spark to treat all methods of application class reachable. Is there
> any option or any change in the code that I can do easily?
> I tried using "-p cg on,all-reachable:true" with "-p cg.spark on" for this.
> It is probably nonsensical -- only one of them should be given at any time.
> Am I right?

This is the right way to do it. The -p cg options are not contradictory
with -p cg.spark. Rather, the -p cg options apply to all phases inside
the cg pack, including the phase cg.spark. It is the phases inside cg
that are mutually exclusive with each other: it would not make sense to
say -p cg.cha on -p cg.spark on. (In this case, I believe cg.spark would
turn cg.cha off again.)

> I am also very confused by the initial entrypoints used in
> CallGraphBuilder.java and spark. But I will save that question until I get a
> handle of what is going on.
> 
> Also, a possible bug: Following options crashes!
> java soot.Main -w -p jb.ls off  Test
> (using released version soot2.1)

The type inference algorithm was designed to work on code that had been
pre-processed by the local splitter. Therefore, it is expected that
type inference will fail if the local splitter is disabled. In general,
the jb phases are not intended to be disabled except for special
applications.

Ondrej

> 
> Thanks
> Saswat
>