Where on earth is the source to PEVerify? In reading the ECMA spec there are often times ambiguities in the language used and I find myself wanting to go look at how PEVerify handles a given construct. I've search the tree, but the only references I've found seem to be in Validator.cpp, which is loading "peverify.dll" dynamically. So, where the heck is its source!?
@RussKeldorph do we have any official info about plans? Even if we don't know when the plans will be funded, it would be nice to paint the path forward (without any commitment to dates or if it ever happens).
See another question on gitter about the same topic.
The plan is to build standalone IL verifier based on CoreRT. dotnet/runtime#3986 has details. There is soon going to be project readme in CoreRT master (https://github.com/dotnet/corert/pull/3611).
Great, thanks for info! I wonder if we should just close this issue in that case as dupe of the CoreRT effort ..
Most helpful comment
The plan is to build standalone IL verifier based on CoreRT. dotnet/runtime#3986 has details. There is soon going to be project readme in CoreRT master (https://github.com/dotnet/corert/pull/3611).