[Pnet-developers] A verifier bug and potential problem

[Gopal V]

Hi Everyone,
        It's by some buggy code that Rich333 wrote to test Reflection.Emit
that we found this problem .... consider this code

ldc.i4.0
ldc.i4.0
stfld int32 'MyClass'::'x'

Which curiously gives a NullReferenceException , and ldc.i4.1 gives
a segfault ...

Bug #1 -- pnet is running the verifier in "unsafeAllowed" mode by default
Bug #2 -- methods are not tagged as unsafe , but assemblies are !

To solve Bug #1 , someone should figure out how to load the Unverifiable 
attribute and pass it to _ILVerify ...

To solve Bug #2 , the next release of ECMA spec should include a dummy
unsafe.enter , unsafe.exit opcode or something ... to wrap an unsafe
method or unsafe {} codeblocks.

/me goes to sleep ...

Gopal
-- 
The difference between insanity and genius is measured by success