[Mono-bugs] [Bug 387274] Type verification is enforced even when SkipVerification is requested

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Tue May 6 20:23:54 EDT 2008


User spouliot at novell.com added comment

Sebastien Pouliot <spouliot at novell.com> changed:

           What    |Removed                                         |Added
                 CC|                                                |spouliot at novell.com

--- Comment #3 from Sebastien Pouliot <spouliot at novell.com>  2008-05-06 18:23:53 MST ---
Stack walks are just a part of CAS. CAS itself requires a lot more stuff. Then
a lot of "CAS" stuff is sometimes reused or, at least, reusable.

As for SkipVerification it is (normally) up to CAS policy resolution to decide
if this possible or not. A lot of this is already implemented but it's a
HUGE[0] hit (initialization) just to see if we want, or not, to skip

[0] We could however make some change to get direct access to the small subset
of features needed to read the security attributes.

Anyway I think the *real* question is: is INVALID[1] or UNVERIFIABLE[2] IL ?

[1] as the exception says
Unhandled Exception: System.InvalidProgramException: Invalid IL code in
<Module>:main (string[]): IL_000f: stloc.0

[2] as the bug original description says

Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

More information about the mono-bugs mailing list