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

[Rodrigo Kumpera]

Hi,

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
> 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
> use.
>
> 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.
>
> _______________________________________________
> Mono-devel-list mailing list
> Mono-devel-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/mono-devel-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.ximian.com/pipermail/mono-devel-list/attachments/20081231/f2bf1f71/attachment.html