# Re: JVM ByteCode Verifyer documentation?

Gilles Gravier (Gilles.Gravier@Swiss)
Thu, 09 Jul 1998 08:59:54 +0200

- Messages sorted by: [ date ][ thread ][ subject ][ author ]
- Next message: Rickard Öberg: "Changing classloader of a class"
- Previous message: Gourevitch, Oleg: "JCE for JDK 1.1.x?"

    Date: Thu, 09 Jul 1998 08:59:54 +0200

    From: Gilles Gravier <Gilles.Gravier@Swiss>

    To: aces.java@Corp, java-security@java.Sun.COM

    Subject: Re: JVM ByteCode Verifyer documentation?

Thanks to all who responded! (Jim Constantine, Li Gong, Philip Helsel,
Walter Jenni at the time I write this - I'm off-line).

The compiled answers give the following:

> Have them buy ..."Inside The Java Virtual Machine" by Bill Venners
> ISBN 0-07-913248-0. I picked it up at JavaOne and have been pleased
> by its content. Also "The Java Virtual Machine Specification" by
> Lindholm & Yellin ISBN 0-201-63452-x .

> The best available documents are the Java Language/VM spec books.
> Also an old paper by F. Yellin has some details

> The ultimate reference is "The JavaTM Virtual Machine Specification,
> 4.9 Verification of class Files."
> (http://java.sun.com/docs/books/vmspec/index.html)

Thanks again,
Gilles.

    --
     Forget all this talk about reliability; if it plugs in, it's trouble.
    /--------------+-------------------------------------------------------\
    |      /\      |                   Gilles Gravier                      |
    |     \\ \     |  Technical Consultant - Internet & Java Technologies  |
    |    \ \\ /    |                  Sun Microsystems                     |
    |   / \/ / /   |           International Enterprise Center             |
    |  / /   \//\  |                2, rue de Jargonnant                   |
    |  \//\   / /  |                   CH-1207 Geneva                      |
    |   / / /\ /   |                    Switzerland                        |
    |    / \\ \    |        Email:  Gilles.Gravier@Swiss.Sun.COM           |
    |     \ \\     |             Phone:  +41-(22)-707-7856                 |
    |      \/      |             Fax:    +41-(22)-707-7888                 |
    \--------------+-------------------------------------------------------/

- Next message: Rickard Öberg: "Changing classloader of a class"
- Previous message: Gourevitch, Oleg: "JCE for JDK 1.1.x?"