Treffer: Java Bytecode Verification for @NonNull Types
Title:
Java Bytecode Verification for @NonNull Types
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2008
Collection:
CiteSeerX
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Relation:
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.8C7CCAC0
Database:
BASE
Weitere Informationen
Java’s annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algorithm. We extend this algorithm to verify non-null types using a novel technique that identifies aliasing relationships between local variables and stack locations in the JVM. We formalise this for a subset of Java Bytecode and report on experiences using our implementation.