[Mono-devel-list] Mono and verifiable code

[Alain.Frisch at ens.fr]

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