[Mono-devel-list] Mono and verifiable code

Alain.Frisch at ens.fr Alain.Frisch at ens.fr
Tue Oct 21 07:03:33 EDT 2003


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.



More information about the Mono-devel-list mailing list