Modified method of static code analysis for solving problem of folding of string constants

Abstract

This article proposes a modified method for solving problem of propagation of string constants with less complexity and higher accuracy than existing methods. The basis of the considered method is the annotation of the propagated values ​​with additional information, the analysis of which allows not to perform the concatenation of values which cannot exist together during the actual execution of the program. This approach allows to reduce the size of the intermediate results of data flow analysis, thereby improving its speed and accuracy.