Java bytecode verification via static single assignment form
Abstract
Java Virtual Machines (JVMs) traditionally perform bytecode verification by way of an iterative dataflow analysis. Bytecode verification is necessary to ensure type safety because temporary variables in the JVM are not statically typed. We present an alternative verification mechanism that transforms JVM bytecode into Static Single Assignment Form (SSA) and thereby propagates definitions directly to uses. Type checking at control flow merge points can then be performed in a single pass.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jul 01, 2008
- Source ID
- 10.1145/1377492.1377496
Entities
People
- Andreas Gal
- Christian W. Probst
- Michael Franz
Organizations
- National Science Foundation
- Office of Naval Research
- Technical University of Denmark
- University of California, Irvine