DiSL: A Domain-Specific Language for Bytecode Instrumentation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10125879" target="_blank" >RIV/00216208:11320/12:10125879 - isvavai.cz</a>

Výsledek na webu

<a href="https://dl.acm.org/citation.cfm?doid=2162049.2162077" target="_blank" >https://dl.acm.org/citation.cfm?doid=2162049.2162077</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/2162049.2162077" target="_blank" >10.1145/2162049.2162077</a>

Jazyk výsledku

angličtina

Název v původním jazyce

DiSL: A Domain-Specific Language for Bytecode Instrumentation

Popis výsledku v původním jazyce

Many dynamic analysis tools for programs written in managed languages such as Java rely on bytecode instrumentation. Tool development is often tedious because of the use of low-level bytecode manipulation libraries. While aspect-oriented programming (AOP) offers high-level abstractions to concisely express certain dynamic analyses, the join point model of mainstream AOP languages such as AspectJ is not well suited for many analysis tasks and the code generated by weavers in support of certain language features incurs high overhead. In this paper we introduce DiSL (domain-specific language for instrumentation), a new language especially designed for dynamic program analysis. DiSL offers an open join point model where any region of bytecodes can be a shadow, synthetic local variables for efficient data passing, efficient access to comprehensive static and dynamic context information, and weave-time execution of user-defined static analysis code. We demonstrate the benefits of DiSL with a

Název v anglickém jazyce

DiSL: A Domain-Specific Language for Bytecode Instrumentation

Popis výsledku anglicky

Many dynamic analysis tools for programs written in managed languages such as Java rely on bytecode instrumentation. Tool development is often tedious because of the use of low-level bytecode manipulation libraries. While aspect-oriented programming (AOP) offers high-level abstractions to concisely express certain dynamic analyses, the join point model of mainstream AOP languages such as AspectJ is not well suited for many analysis tasks and the code generated by weavers in support of certain language features incurs high overhead. In this paper we introduce DiSL (domain-specific language for instrumentation), a new language especially designed for dynamic program analysis. DiSL offers an open join point model where any region of bytecodes can be a shadow, synthetic local variables for efficient data passing, efficient access to comprehensive static and dynamic context information, and weave-time execution of user-defined static analysis code. We demonstrate the benefits of DiSL with a

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GCP202%2F10%2FJ042" target="_blank" >GCP202/10/J042: Vyhodnocování kvalitativních vlivů rozhodnutí z fáze softwarového návrhu pomocí modelování</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

AOSD '12 Proceedings of the 11th annual international conference on Aspect-oriented Software Development

ISBN

978-1-4503-1092-5

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

239-250

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Potsdam, Germany

Datum konání akce

25. 3. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—