26 citations · 33 across the 3 of their papers we have counts for
3 papers
Deep Static Modeling of invokedynamic
George Fourtounis, Yannis Smaragdakis
Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a…
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza +1
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses w…
jUCM: Universal Class Morphing (position paper)
Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis
We extend prior work on class-morphing to provide a more expressive pattern-based compile-time reflection language. Our MorphJ language offers a disciplined form of metaprogramming…