Bibliographische Detailangaben
| Titel: |
Integration of semantic verication into Java compilers ; Интеграция семантических верификаторов в компиляторы языка Java |
| Autoren: |
A. V. Klepinin, A. A. Melentyev, А. В. Клепинин, А. А. Мелентьев |
| Quelle: |
Modeling and Analysis of Information Systems; Том 17, № 4 (2010); 70-77 ; Моделирование и анализ информационных систем; Том 17, № 4 (2010); 70-77 ; 2313-5417 ; 1818-1015 |
| Verlagsinformationen: |
Yaroslavl State University |
| Publikationsjahr: |
2010 |
| Bestand: |
Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС) |
| Schlagwörter: |
Netbeans IDE, AST, Java, compiler, JSR269, javac, ecj, Eclipse IDE |
| Beschreibung: |
This paper introduces a method for static semantic analysis of source codes at com- pilation time directly within standard compilers. The method is implemented via unied integration with Java compilers to get the full access to Abstract Syntax Tree (AST) of compiled les after the semantic analysis stage of compilation process. The unied integration is implemented by common AST interfaces and adapters to AST implemen- tations 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 verication rules are presented to demon- strate the method. ; Рассматривается способ статического семантического анализа исходных кодов программы на стадии ее компиляции с целью повышения качества исходного кода. В качестве способа реализации такого семантического анализа предлагается унифицированная интеграция в компиляторы языка Java для получения полного доступа к синтаксическому дереву (AST) компилируемых программ после этапа семантического анализа. Для обеспечения унификации реализованы общие интерфейсы для работы с синтаксическим деревом и адаптеры к реализациям синтаксических деревьев в компиляторах Sun/Oracle javac и Eclipse Compiler for Java (ecj). Выбранный способ обеспечил прозрачную интеграцию со средами разработки Eclipse и Netbeans без необходимости установки каких-либо расширений данных сред. Разработанный метод демонстрируется на некоторых примерах верификации программ. |
| Publikationsart: |
article in journal/newspaper |
| Dateibeschreibung: |
application/pdf |
| Sprache: |
Russian |
| Relation: |
https://www.mais-journal.ru/jour/article/view/1053/767; PMD, java source code verificator. [Электрон. ресурс]. Режим доступа: http://pmd.sourceforge.net/.; Findbugs, java byte code verificator. [Электрон. ресурс]. Режим доступа: http://findbugs.sourceforge.net/.; Ayewah N., Pugh W., Morgenthaler J. D., Penix J., and Zhou Y. Using findbugs on production software // OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, (New York, NY, USA). ACM, 2007. P. 805-806.; Klaus H. and Grigore R. An overview of the runtime verification tool Java PathExplorer // Formal Methods in System Design. 2004. Vol. 24, No. 2. P. 189-215.; JSR269: Pluggable Annotation Processing API. [Электрон. ресурс]. Режим доступа: http://jcp.org/en/jsr/detail?id=269.; Project lombok. [Электрон. ресурс]. Режим доступа: http://projectlombok.org/.; Papi M. M., Ali M., Correa Jr. T. L., Perkins J. H., and Ernst M. D. , Practical pluggable types for Java // ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, (Seattle,WA, USA). 2008. July 22-24. P. 201-212.; Universal AST project for Checker Framework. [Электрон. ресурс]. Режим доступа: http://code.google.com/p/checker-framework/wiki/Ideas#Universal_AST.; Java Unified Abstract Syntax Tree project. [Электрон. ресурс]. Режим доступа: http://bitbucket.org/amelentev/juast/.; java.util.ServiceLoader. [Электрон. ресурс]. Режим доступа: http://java.sun.com/javase/6/docs/api/java/util/ServiceLoader.html.; undefined |
| Verfügbarkeit: |
https://www.mais-journal.ru/jour/article/view/1053 |
| Rights: |
Authors who publish with this journal agree to the following terms:Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access). ; Авторы, публикующие статьи в данном журнале, соглашаются на следующее:Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access). |
| Dokumentencode: |
edsbas.9F435853 |
| Datenbank: |
BASE |
Nájsť tento článok vo Web of Science