As part of our research, our group has developed a number of frameworks and tools. This page summarizes the recent software primarily developed and maintained by the group. For more information on a framework or tool (including a description, downloads and key publications) please visit the dedicate software page.
DiSL
A dynamic program-analysis framework for Java bytecode instrumentation
[software page]
ShadowVM
A framework for isolating the execution of analysis code in a separate process
[software page]
NodeProf
An instrumentation and profiling framework for Graal.js
[software page]
AsyncG
A debugger for asynchronous executions in Node.js
[software page]
Prof. Acc
An extension to Oracle’s Graal compiler that enables accurate profiling in the presence of dynamic compilation
[software page]
tgp
A tool for profiling task granularity on the JVM
[software page]
NAB
A framework for automated large-scale multi-language dynamic program analysis in the wild
[software page]
P3
A profiler suite for parallel applications running on the JVM
[software page]
S2S and BSS
S2S is a benchmark suite generator for the Java Stream API. BSS is the first benchmark suite for the Java Stream API
[software page]
AkkaProf
A tool for profiling Akka actors
[software page]
ADRENALIN-RV
A framework for runtime verification on Android
[software page]