Integration of semantic verification into Java compilers

This paper introduces a method for static semantic analysis of source codes at compilation time directly within standard compilers. The method is implemented via unified integration with Java compilers to get the full access to Abstract Syntax Tree (AST) of compiled files after the 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 IDE without a need for any special plugins. Several examples of program verification rules are presented to demonstrate the method.