This repository contains the code to perform static analysis research on the Java Security Manager