Back to overview

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2012
Author Marek Lukáš, Zheng Yudi, Ansaloni Danilo, Sarimbekov Aibek, Binder Walter, Tůma Petr, Qi Zhengwei,
Project FAN: Foundations of dynamic program ANalysis
Show all

Proceedings (peer-reviewed)

Volume (Issue) 7705
Title of proceedings Proceedings of the 10th Asian Symposium on Programming Languages and Systems
Place Kyoto, Japan
DOI 10.1007/978-3-642-35182-2_18


Many software development tools (e.g., profilers, debuggers, testing tools) and frameworks (e.g., aspect weavers) are based on bytecode instrumentation techniques. While there are many low-level bytecode manipulation libraries that support the development of such tools and frameworks, they typically provide only low-level abstractions and require detailed knowledge of the Java Virtual Machine. In addition, they often lack the necessary infrastructure for load-time instrumentation with complete bytecode coverage to ensure that each method with a bytecode representation gets instrumented. In this paper we give an introduction to DiSL, a domain-specific aspect language and framework for bytecode instrumentation that reconciles high expressiveness of the language, high level of abstraction, and efficiency of the generated code. We illustrate the strengths of DiSL with a concrete analysis as a case study. The DiSL framework is open-source and has been successfully used in several research projects.