Static analysis of .NET programs using rewriting rules

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2020
• Випуск: 2-3
• Сторінки: 157-163
• ISSN: 1727-4907
• Автори та афіліації: T.A. Mamedov — Institute of Software Systems NAS of Ukraine; А.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine; R.S. Shevchenko — Institute of Software Systems NAS of Ukraine
• Автори: Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2020
• Теми: analysis of resource consumption; terms generator; rewriting rules; TermWare; UDC 004.4’24
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/407
• Назва журналу: Problems in programming

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 TermWar...