About: ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://dl.acm.org/citation.cfm?doid=2517208.2517219
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 JVM which 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. 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 JVM which 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. (en)
Title	ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform (en)
skos:prefLabel	ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform (en)
skos:notation	RIV/00216208:11320/13:10143987!RIV14-GA0-11320___
http://linked.open...avai/predkladatel	Matematicko-fyzikální fakulta
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GCP202/10/J042), S
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Tůma, Petr Marek, Lukáš
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	104905
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/13:10143987
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	instrumentation; JVM; Dynamic analysis (en)
http://linked.open.../riv/klicoveSlovo	instrumentation Dynamic analysis JVM
http://linked.open...ontrolniKodProRIV	[81C6E9ADF63A]
http://linked.open...v/mistoKonaniAkce	Indianapolis, IN, USA
http://linked.open...i/riv/mistoVydani	New York, NY, USA
http://linked.open...i/riv/nazevZdroje	GPCE '13 Proceedings of the 12th international conference on Generative programming: concepts & experiences
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	9 (xsd:int)
http://linked.open...vavai/riv/projekt	Model-Driven Evaluation of Design Decision Impacts in Software Engineering
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Tůma, Petr Marek, Lukáš Bulej, Lubomír Ansaloni, Danilo Binder, Walter Sarimbekov, Aibek Sewe, Andreas Zheng, Yudi Kell, Stephen
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2013-10-27 (xsd:date)
number of pages	10 (xsd:int)
http://bibframe.org/vocab/doi	10.1145/2517208.2517219
http://purl.org/ne...btex#hasPublisher	ACM
https://schema.org/isbn	978-1-4503-2373-4
http://localhost/t...ganizacniJednotka	11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 117 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software