Apposcopy: semantics-based detection of Android malware through static analysis
Program Analysis and Specialization for the C Programming Language