Эволюция PVS-Studio: анализ потока данных для связанных переменных. «Связанные переменные — одна из главных проблем статического анализа. Данная статья посвящена разбору этой темы и рассказу о том, как разработчики PVS-Studio сражаются с ложными срабатываниями, появившимися из-за различных связей»: http://amp.gs/jlgAg