Автоматизация статического анализа исходных кодов при оценке надежности web-приложений (2014)