Comprehensive Analysis of the Android Ecosystem http://corp.galois.com/blog/2012/9/4/tech-talk-video-comprehensive-analysis-of-the-android-ecosys.html http://corp.galois.com/blog/2012/7/25/tech-talk-comprehensive-analysis-of-the-android-ecosystem.html を観た。 ecosystemというから経済の話かと思ってたら、Androidアプリを色々なレイヤで解析したり、バージョン間の違いを見てみたりという話。

- Multi-level app profiling
- Ecosystem evolution
- Log/replay
- Static analysis

SPRUCe: SmartPhone Research at UCr
http://spruce.cs.ucr.edu/

SCanDroidのデータフロー解析・情報流解析でデータ漏洩の可能性がないかを静的検査する話なんかも、技術としては昔からあるものだと思うけれど、うまいターゲットを選んだなぁという気がする。