Reconstruction of Type Information from Java Bytecode for Component Compatibility

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F10%3A00503914" target="_blank" >RIV/49777513:23520/10:00503914 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Reconstruction of Type Information from Java Bytecode for Component Compatibility
Original language description
The Java type system is strictly checked by both the compiler and the runtime bytecode interpreter of the JVM. These mechanisms together guarantee appropriate usage of class instances. Using modern component systems can however circumvent these static checks, because incompatible versions of classes can be bound together during component installation or update. Such problematic bindings result in ClassCastException or NoSuchMethodException runtime errors. In this paper we describe a representation of Java language types suitable for checking component compatibility. The presented approach applies various bytecode handling techniques to reconstruct a representation of the Java types contained in a component implementation, using different sources of class data. The representation is then used during build- and run-time type system veriffcations with the aim to prevent these kinds of errors. We have successfully applied this approach to prevent OSGi component incompatibilities.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA201%2F08%2F0266" target="_blank" >GA201/08/0266: Methods and models for consistency verification of advanced component-based applications</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)