Browsing by Author "Pearce, David J"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Restricted Java Bytecode Verification for @NonNull Types(Te Herenga Waka—Victoria University of Wellington, 2008) Pearce, David J; Male, Chris; Dymnikov, Constantine; Potanin, AlexJava'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.