Revision 4525 committed by mathieu

[email protected] Mon, 26 Sep 2005 16:43:07 -0400

Newsgroups	gmane.comp.java.vm.sablevm.cvs
Message-ID	<[email protected]>

Revision: 4525
Date: 2005-09-26 16:43:06 -0400 (Mon, 26 Sep 2005)
Author: mathieu
Log:

 * Added computation of reaching types for an offset
 *   according to "ins" data structure.
 * Added verification algorithm (partial).
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SFrame.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SLocalVariables.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypeAnalysis.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java