Integration of Semantic Verifiers into Java Language
Compilers

A. V. Klepinin and A. A. Melentyev

A.M. Gorky Urals State University, Russia

e-mail: alklepin@mail.itnet.ru, amelentev@gmail.com

Received October 14, 2010

Abstract—This paper introduces one method for source code static semantic analysis at compilation
time directly within standard compilers. The method is implemented via unified integration with Java
compilers to get full access to Abstract Syntax Tree (AST) of compiled files after semantic analysis stage
of compilation process. The unified integration is implemented by common AST interfaces and adapters
to AST implementations of Sun/Oracle javac and Eclipse Compiler for Java (ecj) compilers. This
method provides transparent integration with Eclipse and Netbeans integrated developer environments
without a need for any special plugins. Several examples of program verification rules are presented to
demonstrate the method.

DOI: 10.3103/S014641161107008X

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.