A Determined Algorithm of Code Analysis of Commodity Software
This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.