[Mono-devel-list] Mono and verifiable code

[Alain.Frisch at ens.fr]

Thanks for the answers!

On Tue, 21 Oct 2003, Varga Zoltan wrote:

>    The mono verifier is not complete. It would be good if
> somebody could
> finish it, write test cases etc. It is not particulary hard
> stuff, and it is
> a good introduction to the runtime side of things.

I'm not sure it is as easy as one might think: the ECMA spec does not
always distinguish clearly validity from verifiability, and does not state
formally the constraints themselves. There is space for interpretation,
and common sense is at some places better than the spec, which is a pitty
for security oriented issues.


Cheers,

 Alain