ویراساینس.
سند علمی

Declarative Intraprocedural Flow Analysis of Java Source Code

Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman

چکیده

We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular attributes and collection attributes. Our implementation is built on top of the JastAdd Extensible Java Compiler and we have run the analyses on medium-sized Java programs. We show how the analyses can be built using small concise composable modules, and how they provide extensible frameworks for further source code analyses. Preliminary measurements indicate that there is little difference in execution time between our declarative data-flow analysis and an imperative implementation.

اسناد مشابه

  • JScheme : A Scheme Interpreter Embedded Within Java Source Code

    سند علمی۲۰۰۷Jeff Sember

    Mixing two or more programming languages together within a single project can be nontrivial, involving different types of source code that must be compiled by different programs to generate various object or class files. We demonstrate a novel method of implementing JScheme, a va

  • JConstHide: A Framework for Java Source Code Constant Hiding

    سند علمی۲۰۰۹CoRRPraveen Sivadasan, P. Sojan Lal

    Software obfuscation or obscuring a software is an approach to defeat the practice of reverse engineering a software for using its functionality illegally in the development of another software. Java applications are more amenable to reverse engineering and re-engineering attacks

  • JavaML: a markup language for Java source code

    سند علمی۲۰۰۰Computer NetworksGreg J. Badros

    The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated software tools parse source code to gain access to the program’s structure, many lightweight programming aid

  • Prospects of encoding Java source code in XML

    سند علمی۲۰۰۳Hrvoje Simic, Marko Topolnik

    Currently, the only standard format for representing Java source code is plain text-based. This paper explores the prospects of using Extensible Markup Language (XML) for this purpose. XML enables the leverage of tools and standards more powerful than those available for plain-te

  • Array Based Java Source Code Obfuscation Using Classes with Restructured Arrays

    سند علمی۲۰۰۸CoRRPraveen Sivadasan, P. Sojan Lal

    Array restructuring operations obscure arrays. Our work aims on java source code obfuscation containing arrays. Our main proposal is Classes with restructured array members and obscured member methods for setting, getting array elements and to get the length of arrays. The class

  • JavaML 2.0: Enriching the Markup Language for Java Source Code

    سند علمی۲۰۰۴Ademar Aguiar, Gabriel David, Greg Badros

    Although the representation of source code in plain text format is convenient for manipulation by programmers, it is not an effective format for processing by software engineering tools at an abstraction level suitable for source code analysis, reverse-engineering, or refactoring