1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
  2. FOSS/ВВПЗ
  3. FOSS Lviv
  4. FOSS Lviv-2012
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://elartu.tntu.edu.ua/handle/123456789/6253

Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorЗубов, М. В.uk
dc.contributor.authorПустыгин, А. Н.uk
dc.contributor.authorСтарцев, Е. В.uk
dc.coverage.temporal26-28 квітня 2012 рокуuk
dc.coverage.temporal26-28 April 2012uk
dc.date.accessioned2015-11-30T23:27:31Z-
dc.date.available2015-11-30T23:27:31Z-
dc.date.created2012-04-20uk
dc.date.issued2012-04-20uk
dc.identifier.citationЗубов М. В. Статический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодом / Зубов М. В., Пустыгин А. Н., Старцев Е. В. // FOSS Lviv 2012, 26-28 квітня 2012 року — Львів, 2012 — С. 165-168.uk
dc.identifier.isbn978-966-8460-99-9uk
dc.identifier.urihttp://elartu.tntu.edu.ua/handle/123456789/6253-
dc.description.abstractThis 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.uk
dc.format.extent165-168uk
dc.language.isoruuk
dc.relation.ispartofМатеріали другої міжнародної науково-практичної конференції FOSS Lviv 2012uk
dc.relation.ispartofMaterials of second international scientific conference FOSS Lviv 2012uk
dc.relation.urihttps://www.youtube.com/watch?v=Nhua_Lacbzouk
dc.relation.urihttp://www.antlr.orguk
dc.relation.urihttp://checkstyle.sourceforge.netuk
dc.relation.urihttp://rosecompiler.orguk
dc.relation.urihttp://www.logilab.org/857uk
dc.relation.urihttp://www.logilab.org/856uk
dc.relation.urihttp://openjdk.java.netuk
dc.relation.urihttp://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdfuk
dc.relation.urihttp://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.htmluk
dc.relation.urihttp://semmle.com/solutions/enabling-tools-for-your-projectsuk
dc.relation.urihttp://mtc.epfl.ch/software-tools/blast/index-epfl.phpuk
dc.relation.urihttp://www.bauhaus-stuttgart.de/bauhaus/index-english.htmluk
dc.titleСтатичний аналіз ПЗ за допомогою його проміжних уявлень і технологій з відкритим кодомuk
dc.title.alternativeStatic analysis software through its intermediate representations and open source technologiesuk
dc.title.alternativeСтатический анализ ПО с помощью его промежуточных представлений и технологий с открытым кодомuk
dc.typeArticleuk
dc.coverage.placenameУкраїна, Львівuk
dc.coverage.placenameUkraine, Lvivuk
dc.relation.references1.Ахо А. В., Ульман Д.Д. / Компиляторы. Принципы, технологии и инструментарии. / М.: Вильямс, 2008 г.uk
dc.relation.references2.ANTLR Parser Generator / http://www.antlr.orguk
dc.relation.references3. Checkstyle - Checkstyle 5.5 / http://checkstyle.sourceforge.netuk
dc.relation.references4. ROSE / http://rosecompiler.orguk
dc.relation.references5.Pylint (analyzes Python source code looking for bugs and signs of poor quality) / http://www.logilab.org/857uk
dc.relation.references6. logilab-astng (Python Abstract Syntax Tree New Generation) / http://www.logilab.org/856uk
dc.relation.references7. Open JDK / http://openjdk.java.netuk
dc.relation.references8. Ingres 10.0 QUEL Reference guide / Ingres corp. 2010, http://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdfuk
dc.relation.references9.M. Linton / Queries and Views of Programs Using a Relational Database System / http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.htmluk
dc.relation.references10. 0. de Moor, E. Hajiyev, M. Verbaere / Object-oriented queries over software systems / ACM Press, 2007.uk
dc.relation.references11.Enabling tools for your project | SemmleCode / http://semmle.com/solutions/enabling-tools-for-your-projectsuk
dc.relation.references12.R. Crew / ASTLOG: A Language for Examining Abstract Syntax Trees / Microsoft Research, 1997.uk
dc.relation.references13.E. Hajiyev/ CodeQuest - Source Code Querying with Datalog / St. Anne’s College, Oxford University, 2005.uk
dc.relation.references14.S. Jarzabek / Design of Flexible Static Program Analyzers with PQL / IEEE Transactions on software engineering, vol. 24, no. 3, march 1998.uk
dc.relation.references15.M. Kinmming, M. Monperrus, M. Mezini / Quering Source Code with Natural Language / 26th IEEE/ACM International Conference On Automated Software Engineering (ASE2011).uk
dc.relation.references16.MTC (Models and Theory of Computation): BLAST Project / http://mtc.epfl.ch/software-tools/blast/index-epfl.phpuk
dc.relation.references17.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.uk
dc.relation.references18.Project Bauhaus. Software Architecture, Software Reengineering, and Program Understanding / http://www.bauhaus-stuttgart.de/bauhaus/index-english.htmluk
dc.relation.references19.И. Грэхем / Объектно-ориентированные методы. Принципы и практика / М.: Вильямс, 2004 г.uk
dc.relation.referencesen1.Akho A. V., Ulman D.D., Kompiliatory. Printsipy, tekhnolohii i instrumentarii., M.: Viliams, 2008 y.uk
dc.relation.referencesen2.ANTLR Parser Generator, http://www.antlr.orguk
dc.relation.referencesen3. Checkstyle - Checkstyle 5.5, http://checkstyle.sourceforge.netuk
dc.relation.referencesen4. ROSE, http://rosecompiler.orguk
dc.relation.referencesen5.Pylint (analyzes Python source code looking for bugs and signs of poor quality), http://www.logilab.org/857uk
dc.relation.referencesen6. logilab-astng (Python Abstract Syntax Tree New Generation), http://www.logilab.org/856uk
dc.relation.referencesen7. Open JDK, http://openjdk.java.netuk
dc.relation.referencesen8. Ingres 10.0 QUEL Reference guide, Ingres corp. 2010, http://code.ingres.com/ingres/main/src/tools/techpub/pdf/QUELRef.pdfuk
dc.relation.referencesen9.M. Linton, Queries and Views of Programs Using a Relational Database System, http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5296.htmluk
dc.relation.referencesen10. 0. de Moor, E. Hajiyev, M. Verbaere, Object-oriented queries over software systems, ACM Press, 2007.uk
dc.relation.referencesen11.Enabling tools for your project | SemmleCode, http://semmle.com/solutions/enabling-tools-for-your-projectsuk
dc.relation.referencesen12.R. Crew, ASTLOG: A Language for Examining Abstract Syntax Trees, Microsoft Research, 1997.uk
dc.relation.referencesen13.E. Hajiyev/ CodeQuest - Source Code Querying with Datalog, St. Anne’s College, Oxford University, 2005.uk
dc.relation.referencesen14.S. Jarzabek, Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on software engineering, vol. 24, no. 3, march 1998.uk
dc.relation.referencesen15.M. Kinmming, M. Monperrus, M. Mezini, Quering Source Code with Natural Language, 26th IEEE/ACM International Conference On Automated Software Engineering (ASE2011).uk
dc.relation.referencesen16.MTC (Models and Theory of Computation): BLAST Project, http://mtc.epfl.ch/software-tools/blast/index-epfl.phpuk
dc.relation.referencesen17.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.uk
dc.relation.referencesen18.Project Bauhaus. Software Architecture, Software Reengineering, and Program Understanding, http://www.bauhaus-stuttgart.de/bauhaus/index-english.htmluk
dc.relation.referencesen19.I. Hrekhem, Obieektno-orientirovannye metody. Printsipy i praktika, M.: Viliams, 2004 y.uk
dc.identifier.citationenZubov 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].uk
dc.contributor.affiliationЧелябинский Государственный Университет, p2008an@rambler.ru.uk
Розташовується у зібраннях:FOSS Lviv-2012

Файли цього матеріалу:
Файл Опис РозмірФормат 
FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168.pdf3,75 MBAdobe PDFПереглянути/відкрити
Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz.pdf1,25 MBAdobe PDFПереглянути/відкрити
FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168.djvu1,27 MBDjVuПереглянути/відкрити
FOSSLviv_2012_Zubov_M_V-Static_analysis_software_165-168__COVER.png513,16 kBimage/pngПереглянути/відкрити
Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz.djvu4,17 MBDjVuПереглянути/відкрити
Zubov_M_V_Pustyhin_A_N_Startsev_E_V_Staticheskii_analiz__COVER.png319,63 kBimage/pngПереглянути/відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.