[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