Комментарии — ADD 2010: Отчет Титаренко Константина/Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели