Class EscapingTypes introduced, in order to deal with sets of escaping
tpyes that contain all types, which is always the case for an alien
summary.
jea extended with the files necessary to make it a findbugs plugin.
Instruction ArrayLength added to get the correctly typed slot onto the
op stack.In addition, Instruction.framesOut() made a circular attribute.
Test method added.
Attibute Program.confinedClasses() added.
Driver class for the Program.confinedClasses() attribute.
Classes to be checked adapted.
Out commented code removed.
AlienMethod.jrag renamed to CallGrpah.jrag
AlienMethod.jrag renamed to CallGraph.jrag
Unique id (hashCode) used for RETURN reference.