Symbolic Execution On Android Apps

[Bin Xu]

Hi all, does anyone know if it is possible to conduct symbolic execution on Android application using JPF? If so, can you briefly tell me which extensions of JPF I need to use? 

Thanks.

[Corina Pasareanu]

not yet
corina

On Sat, Aug 31, 2013 at 1:49 AM, Bin Xu <bin....@gmail.com> wrote:

Hi all, does anyone know if it is possible to conduct symbolic execution on Android application using JPF? If so, can you briefly tell me which extensions of JPF I need to use? 

Thanks.

--
 
---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

[Shakthi Bachala]

Hello,

I am trying to generate test cases for android apps using symbolic execution and I have read the following paper, Testing Android Apps Through Symbolic Execution. In this paper there was a discussion of modelling of Android.jar(Third approach adopted in the paper for modelling android.jar).

I have looked into jpf and other related project repositories in the download link at http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/start, but I could not find any project for android.jar(which has the modeled stubs or mock classes). I was wondering whether modelling of android.jar mentioned in the paper was a proof of concept or has it been implemented and applied to jpf repository. 

If it has been implemented and applied to jpf repository then I would really appreciate if you could point me to the right repository for android.jar (modeled android.jar for older android sdk would also work for me)

Thanks,

Shakthi

[Corina Pasareanu]

hi

yes the android part is not available yet

corina

For more options, visit https://groups.google.com/d/optout.

[Shakthi Bachala]

Thank you for the reply.

Shakthi