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…