Засіб статичного аналізу .NET програм за допомогою переписувальних правил

dc.contributor.authorМамедов, Г.А.
dc.contributor.authorДорошенко, А.Ю.
dc.contributor.authorШевченко, Р.С.
dc.date.accessioned2021-09-29T16:00:27Z
dc.date.available2021-09-29T16:00:27Z
dc.date.issued2020
dc.description.abstractРозроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів.uk_UA
dc.description.abstractРазработано программное средство, который находит в C#-программах проблемы ресурсопотребления з точки зрения работы с файлами с помощью переписывающих правил. Для этого была использована система TermWare, который можно легко встраивать в программные средства, которые работают на JVM. Для того, чтобы работать с C#-программами был реализованный специальный плагин для TermWare, который переводит программы на язык термов. Этот плагин использует компилятор Roslyn, который позволяет находить синтаксические ошибки в программах и сосредоточиться на основной задаче – генерации термов с исходного кода. Также описано практическое приложение системы TermWare – статический анализатор, который находит проблемы открытых-закрытых файлов.uk_UA
dc.description.abstractA 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_UA
dc.identifier.citationЗасіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр.uk_UA
dc.identifier.issn1727-4907
dc.identifier.udc004.4’24
dc.identifier.udcDOI: https://doi.org/10.15407/pp2020.02-03.157
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/180461
dc.language.isoukuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.relation.ispartofПроблеми програмування
dc.statuspublished earlieruk_UA
dc.subjectПрикладне програмне забезпеченняuk_UA
dc.titleЗасіб статичного аналізу .NET програм за допомогою переписувальних правилuk_UA
dc.title.alternativeСредство статического анализа .NET приложений с помощью переписывающих правилuk_UA
dc.title.alternativeStatic analysis of .NET programs using rewriting rulesuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
15-Mamedov.pdf
Розмір:
475.32 KB
Формат:
Adobe Portable Document Format

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис: