[Mono-dev] status of verify.c and pedump for mono?

ddunkle ddunkle at arxan.com
Mon Dec 29 16:19:05 EST 2008

I am looking for more detailed information on how mono does verification of
the CLI execution stack. For example, I would like to be able to see exactly
what types are on the execution stack for certain IL instructions when I get
a verification error from mono when loading and running a given executable.

I found the file "mono-2.0.1\mono-2.0.1\mono\metadata\verify.c" which seems
to do this. It is called, at a minimum, by pedump in
mono-2.0.1\mono-2.0.1\mono\metadata\pedump.c. For example, I can run the
pedump executable and get verification errors. I was thinking of enhancing
this tool to give more information, if my time allows, for at least my own

I would like to know if the code is verify.c is a reasonable base from which
to start. Is it current and maintained? Is it in general case? Does mono,
when loading an executable and producing verification errors, use this code?
If not can anyone point me at the correct code?

thanks in advance.
View this message in context: http://www.nabble.com/status-of-verify.c-and-pedump-for-mono--tp21209274p21209274.html
Sent from the Mono - Dev mailing list archive at Nabble.com.

More information about the Mono-devel-list mailing list