کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435535 | 1441724 | 2011 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Java’s annotation mechanism allows us to extend its type system with non-null types. 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.
Research highlights
► We formalise our non-null bytecode verifier for a subset of Java Bytecode.
► We detail an implementation of our system for Java Bytecode.
► We report on our experiences with using our system on real-world programs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 76, Issue 7, 1 July 2011, Pages 587–608
Journal: Science of Computer Programming - Volume 76, Issue 7, 1 July 2011, Pages 587–608
نویسندگان
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov,