ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10318552" target="_blank" >RIV/00216208:11320/14:10318552 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1145/2637365.2517219" target="_blank" >http://dx.doi.org/10.1145/2637365.2517219</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2637365.2517219" target="_blank" >10.1145/2637365.2517219</a>
Alternative languages
Result language
angličtina
Original language name
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Original language description
Dynamic analysis tools are often implemented using instrumentation, particularly on managed runtimes including the Java Virtual Machine (JVM). Performing instrumentation robustly is especially complex on such runtimes: existing frameworks offer limited coverage and poor isolation, while previous work has shown that apparently innocuous instrumentation can cause deadlocks or crashes in the observed application. This paper describes ShadowVM, a system for instrumentation-based dynamic analyses on the JVMwhich combines a number of techniques to greatly improve both isolation and coverage. These centre on the offload of analysis to a separate process; we believe our design is the first system to enable genuinely full bytecode coverage on the JVM. We describe a working implementation, and use a case study to demonstrate its improved coverage and to evaluate its runtime overhead.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GCP202%2F10%2FJ042" target="_blank" >GCP202/10/J042: Model-Driven Evaluation of Design Decision Impacts in Software Engineering</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
ACM SIGPLAN Notices
ISSN
0362-1340
e-ISSN
—
Volume of the periodical
49
Issue of the periodical within the volume
3
Country of publishing house
US - UNITED STATES
Number of pages
10
Pages from-to
105-114
UT code for WoS article
000338625500013
EID of the result in the Scopus database
2-s2.0-84889641959