Using abstract interpretation to add type checking for interfaces in Java bytecode verification

DOI10.1016/J.TCS.2010.01.026MaRDI QIDQ974112zbMATHOpenAlexFDO

Authors Giuseppe Lettieri, Luca Martini, Nicoletta De Francesco

Publication date 27 May 2010

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2010.01.026

zbMATH Keywords

abstract interpretationbytecode verification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A type system for the Java bytecode language and verifier
• Bytecode verification by model checking
• scientific article; zbMATH DE number 2087621
• Computer Aided Verification
• scientific article; zbMATH DE number 1231622

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Abstract Interpretation Frameworks
• Bytecode verification on Java smart cards
• Grammar Analysis and Parsing by Abstract Interpretation
• Improving the official specification of Java bytecode verification
• Java bytecode verification: Algorithms and formalizations
• Lightweight bytecode verification
• Making abstract interpretations complete
• Systematic design of program transformation frameworks by abstract interpretation
• Type elaboration and subtype completion for Java bytecode

Cited in

(2)

• Java access protection through typing
• Safe structural conformance for Java

Describes a project that uses

Uses Software

• DaCapo
• BCEL

This page was built for publication: Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974112)