plast-lab/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"
正在读取项目信息…