{"title":"Static Analysis of Resource Consumption in Programs Using Rewriting Rules","authors":"T. Mamedov, A. Doroshenko, Ruslan Shevchenko","doi":"10.1109/ATIT50783.2020.9349290","DOIUrl":null,"url":null,"abstract":"The paper presents a method of static analysis of resource consumption for C# programs. A software tool based on rewriting rules is proposed for that purpose for the case of opened and closed files. 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 to find different syntax errors and focus on the primary task of generating terms from source code. Also, an application based on TermWare system – a static analyzer that finds problems with open-close files, is described in the article.","PeriodicalId":312916,"journal":{"name":"2020 IEEE 2nd International Conference on Advanced Trends in Information Theory (ATIT)","volume":"136 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE 2nd International Conference on Advanced Trends in Information Theory (ATIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ATIT50783.2020.9349290","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
The paper presents a method of static analysis of resource consumption for C# programs. A software tool based on rewriting rules is proposed for that purpose for the case of opened and closed files. 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 to find different syntax errors and focus on the primary task of generating terms from source code. Also, an application based on TermWare system – a static analyzer that finds problems with open-close files, is described in the article.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
