Re : Verifier

Hi,

some work began this summer with the objective to investigate the (still unsolved) problem of a lack of a full-fledged and clear specification for bytecode verifier and to develop one in java that could be used as a standalone tool or integrated into a virtual machine.  
What was done 'til now is mainly experiments and getting to know from existing litterature on the verification topic.  But it is mostly temporary garbage code that will be discarded shortly.

The serious development to implement clear and precise algoriths will shortly begin and is aimed to be completed by mid-2006.

We'll keep you in touch!
Mathieu


----- Message d'origine -----
De: Philippe Laporte <[email protected]>
Date: Mardi, Décembre 6, 2005 10:16 am
Objet: Verifier

> Hi,
>     I noticed a Verifier branch.
> 
> What is the roadmap and development objectives for the Verifier?
> 
> Thanks,
> Philippe Laporte
> 
> _______________________________________________
> SableVM-user mailing list
> [email protected]
> http://sablevm.org/lists/control/listinfo/sablevm-user
>