[Soot-list] CallGraph creation difficulties

[Henddher Pedroza]

Thank you all.

I realized so after stepping through reachablemethods impl.

Using the trick of static method calling instance method sufficed.

Thanks
On May 5, 2013 3:16 AM, "Eric Bodden" <eric.bodden at sit.fraunhofer.de> wrote:

> Hello.
>
> Spark cannot currently handle non-static entry points.
>
> Eric
>
> On 02.05.2013, at 00:08, Henddher Pedroza <hpedro2 at uic.edu> wrote:
>
> > Hello all,
> >
> > I am having issues with inter procedural call-graph construction.
> >
> > Consider the following code:
> >
> > Class A {
> > String s;
> > void m0(boolean b) {
> > if (b)
> >  m1();
> > else
> >  m2();
> > }
> > void m1() {
> > this.s = String.valueOf(true);
> > }
> > void m2() {
> > this.s = String.valueOf(false);
> > }
> > }
> >
> > Inside my SceneTransformer (of my IFDS impl), I create a cg as follows:
> > cg = new JimpleBasedInterproceduralCFG();
> >
> > When I inspect the cg created, I observe the following:
> >
> > 1. When using cg option "-p cg
> all-reachable:true,verbose:true,safe-forname:true,safe-newinstance:true",
> the constructed cg looks ok (I see edges from m0 to m1 and m2 correctly).
> >
> > 2. When using the options above in addition to "-p cg.spark
> verbose:true", the constructed cg shows NO edges at all (cg.edges is
> empty). Also, cg.srcMethodToEdge, cg.srcUnitToEdge, and cg.tgtToEdge Maps
> are all empty too.
> >
> > I am explicitly setting only ONE entry point:
> > <A: m0(boolean>
> >
> > Any advice?
> >
> > Thanks in advance.
> >
> > - Henddher
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
> --
> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130505/7ba197be/attachment.html