This volume contains the proceedings of the Bytecode 2007 workshop,the Second Workshop on Bytecode Semantics, Verification,Analysis and Transformation, held in Braga, Portugal, on the 31st ofMarch 2007 as part of ETAPS 2007.Bytecode, such as produced byJava and .NET compilers, has become an important topic of interest,both for industry and academia.The industrial interest stems from the fact that bytecode is typically usedfor the Internet and mobile devices (smartcards, phones, etc.),where security is a major issue. Moreover, bytecode is device-independentand allows dynamic loading of classes, which provides an extra challengefor the application of formal methods.In addition, the unstructuredness of the code and the pervasive presence ofthe operand stack also provide extra challenges for the analysis of bytecode.This workshop focuses on the latest developments in the semantics,verification, analysis, and transformation of bytecode; encompassingboth new theoretical results and tool demonstrations.

Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)

SPOTO, Nicola Fausto
2007-01-01

Abstract

This volume contains the proceedings of the Bytecode 2007 workshop,the Second Workshop on Bytecode Semantics, Verification,Analysis and Transformation, held in Braga, Portugal, on the 31st ofMarch 2007 as part of ETAPS 2007.Bytecode, such as produced byJava and .NET compilers, has become an important topic of interest,both for industry and academia.The industrial interest stems from the fact that bytecode is typically usedfor the Internet and mobile devices (smartcards, phones, etc.),where security is a major issue. Moreover, bytecode is device-independentand allows dynamic loading of classes, which provides an extra challengefor the application of formal methods.In addition, the unstructuredness of the code and the pervasive presence ofthe operand stack also provide extra challenges for the analysis of bytecode.This workshop focuses on the latest developments in the semantics,verification, analysis, and transformation of bytecode; encompassingboth new theoretical results and tool demonstrations.
Java Bytecode; .NET; Static Analysis; Code Transformation
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/311679
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact