[kilowatt]

Coincidentally, this is exactly the kind of thing Google's recent Zynamics acquisition is meant to find automatically through binary code analysis.

[zmmmmm]

If I was google I'd have a giant server room full of VM's running android hosting every app in the app store with monitors of their state. Then you can monitor not just what the code is predicted to do but what it actually does.