moji5
27th July 2010, 08:59 PM
Sawja: Static Analysis Workshop for Java
Laurent Hubert (http://arxiv.org/find/cs/1/au:+Hubert_L/0/1/0/all/0/1) (INRIA - IRISA), Nicolas Barré (http://arxiv.org/find/cs/1/au:+Barre_N/0/1/0/all/0/1) (INRIA - IRISA), Frédéric Besson (http://arxiv.org/find/cs/1/au:+Besson_F/0/1/0/all/0/1) (INRIA - IRISA), Delphine Demange (http://arxiv.org/find/cs/1/au:+Demange_D/0/1/0/all/0/1) (INRIA - IRISA), Thomas Jensen (http://arxiv.org/find/cs/1/au:+Jensen_T/0/1/0/all/0/1) (INRIA - IRISA), Vincent Monfort (http://arxiv.org/find/cs/1/au:+Monfort_V/0/1/0/all/0/1) (INRIA - IRISA), David Pichardie (http://arxiv.org/find/cs/1/au:+Pichardie_D/0/1/0/all/0/1) (INRIA - IRISA), Tiphaine Turpin (http://arxiv.org/find/cs/1/au:+Turpin_T/0/1/0/all/0/1) (INRIA - IRISA)
(Submitted on 20 Jul 2010)
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.
Download:
PDF (http://arxiv.org/pdf/1007.3353v1)
PostScript (http://arxiv.org/ps/1007.3353v1)
Other formats (http://arxiv.org/format/1007.3353v1)
Laurent Hubert (http://arxiv.org/find/cs/1/au:+Hubert_L/0/1/0/all/0/1) (INRIA - IRISA), Nicolas Barré (http://arxiv.org/find/cs/1/au:+Barre_N/0/1/0/all/0/1) (INRIA - IRISA), Frédéric Besson (http://arxiv.org/find/cs/1/au:+Besson_F/0/1/0/all/0/1) (INRIA - IRISA), Delphine Demange (http://arxiv.org/find/cs/1/au:+Demange_D/0/1/0/all/0/1) (INRIA - IRISA), Thomas Jensen (http://arxiv.org/find/cs/1/au:+Jensen_T/0/1/0/all/0/1) (INRIA - IRISA), Vincent Monfort (http://arxiv.org/find/cs/1/au:+Monfort_V/0/1/0/all/0/1) (INRIA - IRISA), David Pichardie (http://arxiv.org/find/cs/1/au:+Pichardie_D/0/1/0/all/0/1) (INRIA - IRISA), Tiphaine Turpin (http://arxiv.org/find/cs/1/au:+Turpin_T/0/1/0/all/0/1) (INRIA - IRISA)
(Submitted on 20 Jul 2010)
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.
Download:
PDF (http://arxiv.org/pdf/1007.3353v1)
PostScript (http://arxiv.org/ps/1007.3353v1)
Other formats (http://arxiv.org/format/1007.3353v1)