All,

This is not strictly related to Android app development, so apologies
in advance as it is slightly off topic here.  However, as I have
promised other people that I was working in the project in the past, I
thought I would give it a small plug here.  For the past year or so,
my colleagues and I have been working on Android security,
particularly approaches based on binary rewriting.  One tangible
result of our efforts is now publicly available: a binary
instrumentation framework for Dalvik bytecode:

http://www.cs.umd.edu/projects/PL/redexer/index.html

The system is mainly useful if you're both willing to work with OCaml
and also working at a fairly low level (i.e., willing to touch the
bytecode in a fairly direct way).  In its current state, it is not
intended to be run on devices, it's strictly for offline processing of
Dalvik binaries.  The applications for this range from simple
transformations such as binary rewriting to more heavyweight such as
static analysis and symbolic execution.

As I've mentioned it here, I might as well give a small plug to an
automatd testing tool one of my coworkers has written:

https://github.com/plum-umd/troyd

This is a small wrapper on top of Robotium (though I don't believe it
works as of 4.0), it's not supposed to be a huge app testing
framework, but we've used it successfully for smaller scale testing of
Android apps and perhaps you might gain some inspiration from it too!

Kris Micinski

-- 
You received this message because you are subscribed to the Google
Groups "Android Developers" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/android-developers?hl=en

Reply via email to