The Application of Parameterized Hierarchy Templates for Automated Program Code Defect-Fixing Artyom Aleksyuk, Vladimir Itsykson,Peter The Great Saint Petersburg Polytechnic University, Saint Petersburg 12 - 14 November 2015 Tools and Methods of Program Analysis in St. Petersburg