[Mono-devel-list] Mono and verifiable code

Varga Zoltan vargaz at freemail.hu
Tue Oct 21 07:33:06 EDT 2003


   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.



Alain.Frisch at ens.fr írta:

> Hello,
> I'm new to Mono. I'm looking for information about code
verification. Is
> Mono loader supposed to fully implement verification yet?
> Looking at verify.c, it seems that Mono does not check
anything about
> overlapping of fields with explicit layout. Indeed, I can
produce C# code
> that overlap an integer and a reference type, and it is
accepted by the
> loader and pedump --verify all.
> Cheers,
> Alain
> _______________________________________________
> Mono-devel-list mailing list
> Mono-devel-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/mono-devel-list

More information about the Mono-devel-list mailing list