DiSL is a new Java instrumentation language and framework specifically designed to meet the requirements of dynamic program analysis.

DiSL is a language inspired by the AOP principles, hosted in Java using annotations. DiSL offers an open join-point model where any bytecode region 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. DiSL offers much better code coverage, incurs significantly less overhead, and eases the integration of new analysis features in comparison to other AOP based languages (frameworks) like AspectJ.

Web site

Project leader(s)

Lukas Marek


Middleware framework / Component / Tool




Apache License 2.0

VCS repository(ies)