Portal de Periódicos da CAPES

A Type System for Android Applications

2016; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-42092-9_10

1611-3349

Mohamed A. El-Zawawy,

Security and Verification in Computing

The most common form of computers today is the hand held form and specially smart phones and tablets. The platform for the majority of smart phones is the Android operating system. Therefore analyzing and verifying the Android applications become an issue of extreme importance. However classical techniques of static analysis are not applicable directly to Android applications. This is so because typically Android applications are developed using Java code that is translated into Java bytecode and executed using Dalvik virtual machine. Also developing new techniques for static analysis of Android applications is an involved problem due to many facts such as the concept of gestures used in Android interaction with users. One of the main tools of analyzing and verifying programs is types systems [11]. This paper presents a new type system, Android $$\mathcal {T}$$ , which is specific to Android applications. The proposed type system ensures the absence of errors like "method is undefined". Also the type system is applicable to check the soundness of static analyses of Android applications.