Moiseev, M. Iterative Static Analysis Algorithm for Source Code Defects Detection. ICS 2009, 33-39.