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

[Bodden, Eric]

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 --------------
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/20140303/4ca4f6b8/attachment.bin