This project is read-only.

IL validation through MetadataValidator

Jun 10, 2011 at 9:16 AM
Edited Jun 10, 2011 at 1:47 PM

Are there any plans to extend the MetadataValidator to validate IL inside methods?

I mean validating stack size/underflow/overflow, branch and exception region offset references, branches in/out of try/catch/finally blocks, try/handler block overlaps, etc.



Jun 10, 2011 at 2:52 PM

I am planning to complete the MetadataValidator some day, and that would include method bodies. However, I have no schedule for doing this work. It may take another year or two, the way things are going now. Unless, of course, someone else volunteers to do it.