[Mono-list] Verification runtime support

Paolo Molaro lupus@ximian.com
Mon, 8 Jul 2002 15:49:21 +0200

On 07/04/02 Hinne Hettema (DSL AK) wrote:
> > *) 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?

Yes, we need also to do some basic dataflow analysis, but I would
consider that lower priority since it's only needed for security checks
and not for compilation errors (it's important to find the latter since
we start building all our libraries with mcs).


lupus@debian.org                                     debian/rules
lupus@ximian.com                             Monkeys do it better