[Mono-devel-list] Mono and verifiable code

Alain.Frisch at ens.fr Alain.Frisch at ens.fr
Wed Oct 22 09:19:45 EDT 2003

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.



More information about the Mono-devel-list mailing list