/sound-modulo-analysis-openjdk-8

This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

Primary LanguageJavaGNU General Public License v2.0GPL-2.0

Watchers