Loading...
Please wait, while we are loading the content...
Similar Documents
Java bytecode verification for @nonnull types (2008).
| Content Provider | CiteSeerX |
|---|---|
| Author | Male, Chris Pearce, David J. Potanin, Alex Dymnikov, Constantine |
| Abstract | 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. |
| File Format | |
| Publisher Date | 2008-01-01 |
| Access Restriction | Open |
| Subject Keyword | Java Bytecode Verification Nonnull Type Non-null Type Java Annotation Mechanism Bytecode Verification Algorithm Novel Technique Java Bytecode Type System Stack Location Local Variable |
| Content Type | Text |
