SPARTA!
Static Program Analysis for Reliable Trusted Apps
Soon to come to a smartphone near you!
Last updated: August 12, 2012