Lightweight bytecode verification
From MaRDI portal
Publication:1826470
DOI10.1023/B:JARS.0000021015.15794.82zbMath1069.68542MaRDI QIDQ1826470
Publication date: 6 August 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Certificate size reduction in abstraction-carrying code ⋮ Proof-carrying code from certified abstract interpretation and fixpoint compression ⋮ Type systems equivalent to data-flow analyses for imperative languages ⋮ Reusing predicate precision in value analysis ⋮ \textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ A certified lightweight non-interference Java bytecode verifier ⋮ Abstraction-carrying code: a model for mobile code safety ⋮ Using abstract interpretation to add type checking for interfaces in Java bytecode verification ⋮ Sawja: Static Analysis Workshop for Java
This page was built for publication: Lightweight bytecode verification
