Paper Info
Title
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Abstract
•A formal translation of CIL (.Net) bytecode into Java bytecode is introduced and proved sound w.r.t. the language semantics•The overall process of translation and analysis scales up to industrial programs with a negligible number of false alarms•This allows to leverage existing, mature, and sound analyzers for Java bytecode to the wide range of .Net software systems•The translation was applied to all the system libraries of the Microsoft .Net framework (∼5MLOCs) showing its effectiveness
Year
DOI
Venue
2020
10.1016/j.scico.2020.102392
Science of Computer Programming
Keywords
Field
DocType
Static analysis,Abstract interpretation,Java bytecode,CIL
Programming language,.NET Framework,Language semantics,Computer science,Static analysis,Software system,Java bytecode,Bytecode,Semantics
Journal
Volume
ISSN
Citations 
191
0167-6423
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Pietro Ferrara115820.79
Agostino Cortesi279166.19
Fausto Spoto341330.41