Data loss detector: Automatically revealing data loss bugs in Android apps