Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180461 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862654021886541824 |
|---|---|
| author | Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. |
| author_facet | Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. |
| citation_txt | Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів.
Разработано программное средство, который находит в C#-программах проблемы ресурсопотребления з точки зрения работы с файлами с помощью переписывающих правил. Для этого была использована система TermWare, который можно легко встраивать в программные средства, которые работают на JVM. Для того, чтобы работать с C#-программами был реализованный специальный плагин для TermWare, который переводит программы на язык термов. Этот плагин использует компилятор Roslyn, который позволяет находить синтаксические ошибки в программах и сосредоточиться на основной задаче – генерации термов с исходного кода. Также описано практическое приложение системы TermWare – статический анализатор, который находит проблемы открытых-закрытых файлов.
A software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWare, which helps to generate appropriate terms from source code, was developed. The plugin uses the Roslyn compiler, which allows users to find syntax errors in programs and focus on the primary task of generating terms from source code. Also, a practical application based on TermWare system – a static analyzer that finds problems with open-close files, was described in the article.
|
| first_indexed | 2025-12-01T23:55:26Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180461 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-01T23:55:26Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. 2021-09-29T16:00:27Z 2021-09-29T16:00:27Z 2020 Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/180461 004.4’24 DOI: https://doi.org/10.15407/pp2020.02-03.157 Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів. Разработано программное средство, который находит в C#-программах проблемы ресурсопотребления з точки зрения работы с файлами с помощью переписывающих правил. Для этого была использована система TermWare, который можно легко встраивать в программные средства, которые работают на JVM. Для того, чтобы работать с C#-программами был реализованный специальный плагин для TermWare, который переводит программы на язык термов. Этот плагин использует компилятор Roslyn, который позволяет находить синтаксические ошибки в программах и сосредоточиться на основной задаче – генерации термов с исходного кода. Также описано практическое приложение системы TermWare – статический анализатор, который находит проблемы открытых-закрытых файлов. A software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWare, which helps to generate appropriate terms from source code, was developed. The plugin uses the Roslyn compiler, which allows users to find syntax errors in programs and focus on the primary task of generating terms from source code. Also, a practical application based on TermWare system – a static analyzer that finds problems with open-close files, was described in the article. uk Інститут програмних систем НАН України Проблеми програмування Прикладне програмне забезпечення Засіб статичного аналізу .NET програм за допомогою переписувальних правил Средство статического анализа .NET приложений с помощью переписывающих правил Static analysis of .NET programs using rewriting rules Article published earlier |
| spellingShingle | Засіб статичного аналізу .NET програм за допомогою переписувальних правил Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. Прикладне програмне забезпечення |
| title | Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_alt | Средство статического анализа .NET приложений с помощью переписывающих правил Static analysis of .NET programs using rewriting rules |
| title_full | Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_fullStr | Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_full_unstemmed | Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_short | Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_sort | засіб статичного аналізу .net програм за допомогою переписувальних правил |
| topic | Прикладне програмне забезпечення |
| topic_facet | Прикладне програмне забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180461 |
| work_keys_str_mv | AT mamedovga zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil AT dorošenkoaû zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil AT ševčenkors zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil AT mamedovga sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil AT dorošenkoaû sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil AT ševčenkors sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil AT mamedovga staticanalysisofnetprogramsusingrewritingrules AT dorošenkoaû staticanalysisofnetprogramsusingrewritingrules AT ševčenkors staticanalysisofnetprogramsusingrewritingrules |