Static Analysis of Resource Consumption in Programs Using Rewriting Rules

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.