But the app is doing something bad - it has access to data it shouldn't have. Unless you're saying that you solved the halting problem and can guarantee and ve

But the app is doing something bad - it has access to data it shouldn't have. Unless you're saying that you solved the halting problem and can guarantee and verify that apps that still have all access to your data (because permissions aren't enforced) will NEVER in ANY codepath read data they don't need - you can sell that solution to Google Play then.