Ваш пример просто некорректен для данного сервиса :) где в вашем коде вызываются функции, из которых можно построить «последовательные связи»? fork()? socket()?
Впрочем, напишите разработчикам, наверное в случае, если парсеру скармливают такой кусок кода, он должен писать, почему «No violation could be found.»
Думаю, аналогия неверна :) или верна, но с изменениями — для не таких БОЛЬШИХ гвоздей :)
Такие вещи, как вы написали, по-идее, должны разумом программиста отсекаться, а не какими-то сторонними утилитами. То, что они пытаются ловить неплохо у них туториале описано.
Интервью с основателем проекта www.checkmycode.org