[Soot-list] nullcheck/arraybounds annotations at the command line

[Stephen Kyle]

Hi Eric,

I did actually find that option in the end, for some reason I kept
overlooking it when I checked the --help before. Thanks!

Cheers,
Stephen


On 3 March 2014 14:05, Bodden, Eric <eric.bodden at sit.fraunhofer.de> wrote:

> Stephen, did you try adding -print-tags ?
>
> http://www.sable.mcgill.ca/soot/tutorial/usage/usage.html#SECTION00043000000000000000
>
> Eric
>
>
> On 19.02.2014, at 14:45, Stephen Kyle <jimmykane at gmail.com> wrote:
>
> > Hi all,
> >
> > I'm trying to use the soot to annotate some (Dalvik) methods with null
> pointer check and array bounds information.
> >
> > Is there anyway to get this information when using soot as a command
> line tool, or do you have to create a driver class for it?
> >
> > For reference, I'm using the following invocation of the command:
> >
> > soot -v -pp -allow-phantom-refs -cp <APK file> -src-prec apk -ire
> -android-jars /home/skyle/jars/android/platform/ -O -p jap.abc on -p
> jap.abc with-all -f jimple -annot-nullpointer -annot-arraybounds
> -annot-fieldrw <Class>
> >
> > Where I've been varying -f jimple to find some way of getting this
> information.
> >
> > Thus far, the only way I've been able to even remotely read this
> information from the output is when outputting class files, and then
> disassembling them with javap. I can see the created ArrayBoundsAnnotations
> for each method, following the description of the structures in
> http://www.sable.mcgill.ca/soot/tutorial/useannotation/
> >
> > However, is there a way to get Soot to output this information in a more
> human-readable form? I mean something like comments above Jimple statements
> in the jimple output format.
> >
> > Thanks for your time,
> > Stephen
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list at sable.mcgill.ca
> > http://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 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/20140303/05351834/attachment.html