[Mono-dev] status of verify.c and pedump for mono?
kumpera at gmail.com
Tue Dec 30 23:22:02 EST 2008
The code in verify.c has the IL verifier and it's used by the runtime if run
it with --security=verifiable
(other options work as well).
The code is supported and actively maintained. Error reporting sucks big
time and it's definitely an area
I would love to improve.
On Mon, Dec 29, 2008 at 7:19 PM, ddunkle <ddunkle at arxan.com> wrote:
> 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
> what types are on the execution stack for certain IL instructions when I
> 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
> to start. Is it current and maintained? Is it in general case? Does mono,
> when loading an executable and producing verification errors, use this
> If not can anyone point me at the correct code?
> thanks in advance.
> View this message in context:
> Sent from the Mono - Dev mailing list archive at Nabble.com.
> Mono-devel-list mailing list
> Mono-devel-list at lists.ximian.com
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Mono-devel-list