Publications

Authors:

Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto

Title:

CIL to Java-bytecode translation for static analysis leveraging

Year:

2018

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

Elettronico

Congresso:

6th Conference on Formal Methods in Software Engineering, FormaliSE 2018

Place:

Gothenburg, Sweden

Period:

June

Publisher:

ACM

ISBN:

978-1-4503-5718-0

Page numbers:

40-49

Keyword:

CIl, Java Bytecode, Static Analysis

Short description of contents:

A formal translation of CIL (i.e., .Net) bytecode into Java bytecode is introduced and proved sound with respect to the language semantics. The resulting code is then analyzed with Julia, an industrial static analyzer of Java bytecode. The overall process of translation and analysis is fast, scales up to industrial programs, and introduces a negligible number of false alarms. The main result of this work is to leverage existing, mature, and sound analyzers for Java bytecode by applying them to the (translated) CIL bytecode.

Web page:

https://dl.acm.org/citation.cfm?doid=3193992.3193994

Product ID:

105449

Handle IRIS:

11562/988470

Last Modified:

November 14, 2022

Bibliographic citation:

Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto, CIL to Java-bytecode translation for static analysis leveraging  in Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018 , ACM , Proceedings of "6th Conference on Formal Methods in Software Engineering, FormaliSE 2018" , Gothenburg, Sweden , June , 2018 , pp. 40-49

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo