To assess the security and quality of the growing number of programs on desktop computers, mobile devices, and servers, companies often rely on static analysis techniques. While static analysis has been applied successfully to various problems, the academic literature has largely focused on a subset of programming languages and frameworks, and often only on a single language at a time. Many tools have been created for Java and Android. In this paper, we present a first step toward re-using the existing Soot framework and its analyses for other platforms. We implement a front end for converting the CIL assembly code of the.net Framework into Soot's Jimple code and show that this is possible without modifying Jimple nor overly losing semantic...
This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler ...
International audienceThe native app development is increased in Android systems to implement CPU-in...
Application vetting at app stores and market places is the first line of defense to protect mobile e...
The size of software constantly increases and the amount of new software released every day is too l...
Native code is now commonplace within Android app packages where it co-exists and interacts with Dex...
Due to the quality and security requirements that come with an always-on mobile device processing la...
Context: Static analysis exploits techniques that parse program source code or bytecode, often trave...
Program instrumentation is a widely used mechanism in different software engineering areas. It can b...
Context: Android is a programming language based on Java and an operating system for embedded and mo...
Android is a programming language based on Java and an operating system for embedded and mobile devi...
Recently, the number of available Android apps in Googles Play Store reached 2 million. Usually, And...
This dissertation presents a new approach to static analysis for security vetting of Android apps, a...
The mobile operating system Android gains popularity among smartphone users as they gradually integr...
We propose a method for statically analyzing components that can be part of Android applications and...
Unity is the most popular cross-platform development framework to develop games for multiple platfor...
This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler ...
International audienceThe native app development is increased in Android systems to implement CPU-in...
Application vetting at app stores and market places is the first line of defense to protect mobile e...
The size of software constantly increases and the amount of new software released every day is too l...
Native code is now commonplace within Android app packages where it co-exists and interacts with Dex...
Due to the quality and security requirements that come with an always-on mobile device processing la...
Context: Static analysis exploits techniques that parse program source code or bytecode, often trave...
Program instrumentation is a widely used mechanism in different software engineering areas. It can b...
Context: Android is a programming language based on Java and an operating system for embedded and mo...
Android is a programming language based on Java and an operating system for embedded and mobile devi...
Recently, the number of available Android apps in Googles Play Store reached 2 million. Usually, And...
This dissertation presents a new approach to static analysis for security vetting of Android apps, a...
The mobile operating system Android gains popularity among smartphone users as they gradually integr...
We propose a method for statically analyzing components that can be part of Android applications and...
Unity is the most popular cross-platform development framework to develop games for multiple platfor...
This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler ...
International audienceThe native app development is increased in Android systems to implement CPU-in...
Application vetting at app stores and market places is the first line of defense to protect mobile e...