[Mono-list] Verification runtime support

Hinne Hettema (DSL AK) HinneH@datacom.co.nz
Thu, 4 Jul 2002 08:33:48 +1200

Hi Paolo

> -- We only call code verification from the interpreter but not yet 
> from the JIT compiler?

The interp doesn't verify the code either. -- Sorry I missed that...

> I suggest following these steps:

> *) Add the code to verify some of the tables that still are not verified
> *) Work on type checking in the IL code

I agree. I'll start on the metadata code, and have a think about how to do
the type checking.

What are your thoughts on the necessity of a dataflow?