[Soot-list] CallGraph creation difficulties

[Eric Bodden]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130505/424edcba/attachment.bin