[Mono-devel-list] Mono and verifiable code

Jonathan Pryor jonpryor at vt.edu
Tue Oct 21 07:41:51 EDT 2003

Fields can overlap with explicit layout.  It's a feature!  (How else are
you supposed to declare a "C" union without having union support in the
language?  It's easy with explicit layout -- set all union members to
have the same offset.)

This is even supported on .NET.

As for weather it's verifiable...  I've never tried running an app using
"unions" under .NET with a high security enable (e.g. downloading code
from a web site); I've always run with full-access permissions (since
I'm trying to write "normal" apps).  So I can't answer that question.

 - Jon

On Tue, 2003-10-21 at 07:03, Alain.Frisch at ens.fr wrote:
> 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