Moiseev, M. (2009). Iterative static analysis algorithm for source code defects detection. Information and Control Systems, (3), 33-39. Retrieved from https://i-us.ru/index.php/ius/article/view/14846