M. Moiseev, “Iterative static analysis algorithm for source code defects detection”, ICS, no. 3, pp. 33-39, Jun. 2009.