[Mono-list] Verification runtime support
Hinne Hettema (DSL AK)
Thu, 4 Jul 2002 08:33:48 +1200
> -- 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?