[Mono-devel-list] Mono and verifiable code

[Varga Zoltan]

                                                        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
> 
> 
>