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