ECE750 Static Analysis Project: JavaCOP implementation for Object Initialization in an Immutable Type System.