Search Results - "Java Program Analysis"

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently by Halalingaiah, Shashin, Sundaresan, Vijay, Maier, Daryl, Nandivada, V. Krishna

“…Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program…”
Get full text

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer by Alpuente, M., Feliú, M.A., Joubert, C., Villanueva, A.

“…This work presents a practical Java program analysis framework that is obtained by combining a Java virtual machine with a general-purpose verification toolbox…”
Get full text