Please use this identifier to cite or link to this item:
http://elartu.tntu.edu.ua/handle/123456789/6253
| Title: | Статичний аналіз ПЗ за допомогою його проміжних уявлень і технологій з відкритим кодом |
| Other Titles: | Static analysis software through its intermediate representations and open source technologies Статический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодом |
| Authors: | Зубов, М. В. Пустыгин, А. Н. Старцев, Е. В. |
| Affiliation: | Челябинский Государственный Университет, p2008an@rambler.ru. |
| Bibliographic description (Ukraine): | Зубов М. В. Статический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодом / Зубов М. В., Пустыгин А. Н., Старцев Е. В. // FOSS Lviv 2012, 26-28 квітня 2012 року — Львів, 2012 — С. 165-168. |
| Bibliographic description (International): | 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]. |
| Is part of: | Матеріали другої міжнародної науково-практичної конференції FOSS Lviv 2012 Materials of second international scientific conference FOSS Lviv 2012 |
| Issue Date: | 20-Apr-2012 |
| Date of entry: | 30-Nov-2015 |
| Place of the edition/event: | Україна, Львів Ukraine, Lviv |
| Temporal Coverage: | 26-28 квітня 2012 року 26-28 April 2012 |
| Page range: | 165-168 |
| Abstract: | 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 for reference material: | 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 |
| References (Ukraine): | 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 (International): | 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. |
| Content type: | Article |
| Appears in Collections: | FOSS Lviv-2012 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168.pdf | 3,75 MB | Adobe PDF | View/Open | |
| Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz.pdf | 1,25 MB | Adobe PDF | View/Open | |
| FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168.djvu | 1,27 MB | DjVu | View/Open | |
| FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168__COVER.png | 513,16 kB | image/png | View/Open | |
| Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz.djvu | 4,17 MB | DjVu | View/Open | |
| Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz__COVER.png | 319,63 kB | image/png | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.