Sun, Haiyang and Zheng, Yudi and Bulej, Lubomir and Kell, Stephen and Binder, Walter (2015) Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. In: Programming Languages and Systems 13th Asian Symposium. Lecture Notes in Computer Science, 9458 . Springer, Cham, Switzerland, pp. 356-365. ISBN 978-3-319-26528-5. (doi:10.1007/978-3-319-26529-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69721)
| The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
| Official URL: http://dx.doi.org/10.1007/978-3-319-26529-2_19 |
Abstract
In this tool demonstration, we present ShadowVM, a dynamic program analysis framework for Java and Android applications. ShadowVM offers a high-level programming model for expressing analyses, ensures complete bytecode coverage, and isolates the analysis from the observed application to avoid unwanted interference. An analysis implemented on top of ShadowVM can handle both Java and Android applications. First, we present and evaluate a simple code-coverage analysis implemented with ShadowVM. Second, we demonstrate the use of ShadowVM to analyze a distributed application comprising a Java server backend and an Android client frontend.
| Item Type: | Book section |
|---|---|
| DOI/Identification number: | 10.1007/978-3-319-26529-2_19 |
| Uncontrolled keywords: | Dynamic program analysis Java Android |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Stephen Kell |
| Date Deposited: | 25 Jan 2019 15:00 UTC |
| Last Modified: | 17 Aug 2022 11:02 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/69721 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Kell, Stephen.
| Creator's ORCID: |
 https://orcid.org/0000-0002-2702-5983
|
|---|---|
| CReDIT Contributor Roles: |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
