Moiseev, M.: Iterative static analysis algorithm for source code defects detection. Information and Control Systems(3), 33-39 (2009)