[Soot-list] Sending an instantiated object to soot for SPARK analysis

Bodden, Eric eric.bodden at sit.fraunhofer.de
Tue May 5 03:59:31 EDT 2015


Hi Jason.

No this won’t work at the moment.

Cheers,
Eric

> On 05.05.2015, at 02:02, Jason Ott <jott002 at ucr.edu> wrote:
> 
> I was wondering if it is possible to pass an instantiated object to soot to generate a call graph from?
> 
> My current approach is to create a toy program that contains an instantiated entry point to the place I want to generate my callgraph from:
> 
>     public class X {
>         public static void main(String[] args) {
>              NewObject no = NewObject();
>              no.startHere();
>         }
>     }
> 
> // run spark elsewhere
> 
> But I was wondering if I could actually just send no.startHere to SPARK.  Do note, that NewObject is not static.  I know to generate an accurate call graph NewObject must be instantiated.
> 
> Thanks!
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 869-127
Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150505/61a5f17a/attachment.bin 


More information about the Soot-list mailing list