This document summarizes a review of behavior-based malware analysis for Android. It discusses existing stochastic epidemic models for malware detection that are complex. The proposed system abstracts program behaviors and compares them to reference malware behaviors to detect suspicious activities. It analyzes apps, represents them as trace languages abstracted according to behavior patterns, and detects malware by comparing to a malware database. The system gets installed apps, running tasks, extracts permission information, and detects malware to help users identify potentially malicious apps.