Вот это весьма и весьма спорное утверждение. Особенно, если вместо окружения там GNOME.
что, в Вашем понимании, значит "трассировка кода"? По описанию больше подходит "аудит" - оценить, насколько грамотно код написан, потенциальные дыры/баги и прочее.
дело ясное, что дело темное.
ну вот нифига не понятно из вопроса.
Что такое "трассировка кода на абстрактном уровне"?