Sawja: Static Analysis Workshop for Java - Computer Science > Programming LanguagesReportar como inadecuado




Sawja: Static Analysis Workshop for Java - Computer Science > Programming Languages - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Static analysis is a powerful technique for automatic verification ofprograms but raises major engineering challenges when developing a full-fledgedanalyzer for a realistic language such as Java. This paper describes the Sawjalibrary: a static analysis framework fully compliant with Java 6 which providesOCaml modules for efficiently manipulating Java bytecode programs. We presentthe main features of the library, including i efficient functionaldata-structures for representing program with implicit sharing and lazyparsing, ii an intermediate stack-less representation, and iii fastcomputation and manipulation of complete programs.



Autor: Laurent Hubert INRIA - IRISA, Nicolas Barré INRIA - IRISA, Frédéric Besson INRIA - IRISA, Delphine Demange INRIA - IRISA, Thom

Fuente: https://arxiv.org/







Documentos relacionados