[Mono-devel-list] Mono and verifiable code

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


                                                        Hi,

   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.

                                                      bye

                                                           
  Zoltan

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