In the course of the work in developing formal specifications for components of the Java Virtual Machine (JVM), it has uncovered subtle bugs in the bytecode verifier of Sun's Java 2 SDK 1.2. These bugs, which lead to type safety violations, relate to the naming of reference types. Under certain circumstances, these names can be spoofed through delegating class loaders. These flaws expose some inaccuracies and ambiguities in the JVM specification. This paper proposes several solutions to all of these bugs. This paper proposes a general solution that makes use of subtype loading constraints.
Did you find this white paper useful?
27 out of 50 users found this white paper useful
Related white papers
Insurance Provider Diversifies Its Business, Reduces Overhead
Seguros Venezuela is one of the largest and most respected insurance companies in Venezuela. Seguros Venezuela needed to redesign its Web presence, making its portal more reliable, easier to use,...
BEA Systems Case Study: Interforum
Interforum specializes in the marketing of books in France and abroad, the logistics of book distribution, and the management, and monitoring of the group's other activities, including marketing, IT, purchasing,...
BEA Makes Energy Reading Simpler and More Effective in Scandinavia
Telenor Cinclus AS is a total supplier of solutions for Automatic Meter Reading (AMR). The challenge for the organizations was to identify and deploy an application infrastructure solution which would...
MSDN Webcast: Programming a Full-Blown AJAX Enterprise Application in 20 Minutes (Level 100)
It is all about simplicity when programming next-generation, complex Asynchronous JavaScript And XML (AJAX) applications. This webcast develops a fully blown AJAX enterprise application by dragging and dropping controls using...
Grupo Viajes Marsans Relies on BEA and HP to Create Web-Based Sales Channel
Established in 1910, Viajes Marsans is a pioneer in the Spanish tourist industry. Viajes Marsans wanted to redefine Web culture from a static concept (information only) to an ambitious electronic...
BEA Systems Case Study: U.S. Department of Agriculture
Established in 1862 by President Abraham Lincoln, the U.S. Department of Agriculture is the steward of America's 192 million acres of national forests and rangelands. STARS, a mainframe-based system was...
Checking Java Programs Via Guarded Commands
This paper defines a simple guarded-command–like language and its semantics.The language is used as an intermediate language in generating verification conditions for Java. It also discusses why it is a...
