Paper Info
Title
CIL to Java-bytecode translation for static analysis leveraging.
Abstract
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.
Year
Venue
Keywords
2018
FormaliSE@ICSE
Static Analysis,Abstract Interpretation,.NET,Java
Field
DocType
ISSN
Programming language,Test-driven development,Abstract interpretation,Computer science,Language semantics,Static analysis,Runtime verification,Theoretical computer science,Java bytecode,Java,Bytecode
Conference
2380-873X
ISBN
Citations 
PageRank 
978-1-4503-5718-0
0
0.34
References 
Authors
7
3
Name
Order
Citations
PageRank
Pietro Ferrara115820.79
Agostino Cortesi279166.19
Fausto Spoto341330.41