Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elartu.tntu.edu.ua/handle/123456789/6253
| Назва: | Статичний аналіз ПЗ за допомогою його проміжних уявлень і технологій з відкритим кодом |
| Інші назви: | Static analysis software through its intermediate representations and open source technologies Статический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодом |
| Автори: | Зубов, М. В. Пустыгин, А. Н. Старцев, Е. В. |
| Приналежність: | Челябинский Государственный Университет, p2008an@rambler.ru. |
| Бібліографічний опис: | Зубов М. В. Статический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодом / Зубов М. В., Пустыгин А. Н., Старцев Е. В. // FOSS Lviv 2012, 26-28 квітня 2012 року — Львів, 2012 — С. 165-168. |
| Bibliographic description: | Zubov M. V., Pustyhin A. N., Startsev E. V. (2012) Staticheskii analiz PO s pomoshchiu eho promezhutochnykh predstavlenii i tekhnolohii s otkrytym kodom [Static analysis software through its intermediate representations and open source technologies]. FOSS Lviv 2012 (Ukraine, Lviv, 26-28 April 2012), pp. 165-168 [in Russian]. |
| Є частиною видання: | Матеріали другої міжнародної науково-практичної конференції FOSS Lviv 2012 Materials of second international scientific conference FOSS Lviv 2012 |
| Дата публікації: | 20-кві-2012 |
| Дата внесення: | 30-лис-2015 |
| Місце видання, проведення: | Україна, Львів Ukraine, Lviv |
| Часове охоплення: | 26-28 квітня 2012 року 26-28 April 2012 |
| Діапазон сторінок: | 165-168 |
| Короткий огляд (реферат): | This paper presents current existing approaches of using programs's representations for static analysis. This analysis can help with understanding and extending open-source software. The most common approaches were implemented in prototypes with open technologies. Also class-level detailed representation was developed and implemented in prototype to prove the assumption of more effective analysis on less detailed representation. |
| URI (Уніфікований ідентифікатор ресурсу): | http://elartu.tntu.edu.ua/handle/123456789/6253 |
| ISBN: | 978-966-8460-99-9 |
| URL-посилання пов’язаного матеріалу: | https://www.youtube.com/watch?v=Nhua_Lacbzo http://www.antlr.org http://checkstyle.sourceforge.net http://rosecompiler.org http://www.logilab.org/857 http://www.logilab.org/856 http://openjdk.java.net http://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdf http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.html http://semmle.com/solutions/enabling-tools-for-your-projects http://mtc.epfl.ch/software-tools/blast/index-epfl.php http://www.bauhaus-stuttgart.de/bauhaus/index-english.html |
| Перелік літератури: | 1.Ахо А. В., Ульман Д.Д. / Компиляторы. Принципы, технологии и инструментарии. / М.: Вильямс, 2008 г. 2.ANTLR Parser Generator / http://www.antlr.org 3. Checkstyle - Checkstyle 5.5 / http://checkstyle.sourceforge.net 4. ROSE / http://rosecompiler.org 5.Pylint (analyzes Python source code looking for bugs and signs of poor quality) / http://www.logilab.org/857 6. logilab-astng (Python Abstract Syntax Tree New Generation) / http://www.logilab.org/856 7. Open JDK / http://openjdk.java.net 8. Ingres 10.0 QUEL Reference guide / Ingres corp. 2010, http://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdf 9.M. Linton / Queries and Views of Programs Using a Relational Database System / http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.html 10. 0. de Moor, E. Hajiyev, M. Verbaere / Object-oriented queries over software systems / ACM Press, 2007. 11.Enabling tools for your project | SemmleCode / http://semmle.com/solutions/enabling-tools-for-your-projects 12.R. Crew / ASTLOG: A Language for Examining Abstract Syntax Trees / Microsoft Research, 1997. 13.E. Hajiyev/ CodeQuest - Source Code Querying with Datalog / St. Anne’s College, Oxford University, 2005. 14.S. Jarzabek / Design of Flexible Static Program Analyzers with PQL / IEEE Transactions on software engineering, vol. 24, no. 3, march 1998. 15.M. Kinmming, M. Monperrus, M. Mezini / Quering Source Code with Natural Language / 26th IEEE/ACM International Conference On Automated Software Engineering (ASE2011). 16.MTC (Models and Theory of Computation): BLAST Project / http://mtc.epfl.ch/software-tools/blast/index-epfl.php 17.G.C. Murphy, D. Notkin, K. Sullivan / Software Reflexion models: Bridging the gap between source and high-level models / Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 18-28, New York, ACM Press, 1995. 18.Project Bauhaus. Software Architecture, Software Reengineering, and Program Understanding / http://www.bauhaus-stuttgart.de/bauhaus/index-english.html 19.И. Грэхем / Объектно-ориентированные методы. Принципы и практика / М.: Вильямс, 2004 г. |
| References: | 1.Akho A. V., Ulman D.D., Kompiliatory. Printsipy, tekhnolohii i instrumentarii., M.: Viliams, 2008 y. 2.ANTLR Parser Generator, http://www.antlr.org 3. Checkstyle - Checkstyle 5.5, http://checkstyle.sourceforge.net 4. ROSE, http://rosecompiler.org 5.Pylint (analyzes Python source code looking for bugs and signs of poor quality), http://www.logilab.org/857 6. logilab-astng (Python Abstract Syntax Tree New Generation), http://www.logilab.org/856 7. Open JDK, http://openjdk.java.net 8. Ingres 10.0 QUEL Reference guide, Ingres corp. 2010, http://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdf 9.M. Linton, Queries and Views of Programs Using a Relational Database System, http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.html 10. 0. de Moor, E. Hajiyev, M. Verbaere, Object-oriented queries over software systems, ACM Press, 2007. 11.Enabling tools for your project | SemmleCode, http://semmle.com/solutions/enabling-tools-for-your-projects 12.R. Crew, ASTLOG: A Language for Examining Abstract Syntax Trees, Microsoft Research, 1997. 13.E. Hajiyev/ CodeQuest - Source Code Querying with Datalog, St. Anne’s College, Oxford University, 2005. 14.S. Jarzabek, Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on software engineering, vol. 24, no. 3, march 1998. 15.M. Kinmming, M. Monperrus, M. Mezini, Quering Source Code with Natural Language, 26th IEEE/ACM International Conference On Automated Software Engineering (ASE2011). 16.MTC (Models and Theory of Computation): BLAST Project, http://mtc.epfl.ch/software-tools/blast/index-epfl.php 17.G.C. Murphy, D. Notkin, K. Sullivan, Software Reflexion models: Bridging the gap between source and high-level models, Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 18-28, New York, ACM Press, 1995. 18.Project Bauhaus. Software Architecture, Software Reengineering, and Program Understanding, http://www.bauhaus-stuttgart.de/bauhaus/index-english.html 19.I. Hrekhem, Obieektno-orientirovannye metody. Printsipy i praktika, M.: Viliams, 2004 y. |
| Тип вмісту: | Article |
| Розташовується у зібраннях: | FOSS Lviv-2012 |
Файли цього матеріалу:
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.