Program-Analysis-Project-Fall-2015 Program Analysis Project Fall 2015 - Antlr 4, Java, monotone framework, complete lattices, static analysis