AnalysisTool является интерфейсным интерфейсом, но также использует некоторые пользовательские правила, которые не являются частью Clang. Насколько мне известно, Clang не применяет / не предлагает никаких соглашений об именах переменных экземпляра, поэтому вы, вероятно, видите внутренний стиль кодирования (используемый разработчиками AT), который вы можете спокойно игнорировать. См. этот SO-ответ для более подробной информации.
Сам Clang Static Analyzer теперь доступен в виде бинарной загрузки для Leopard, тогда как раньше вам приходилось создавать его самостоятельно, что было сложно и требовало много времени. Его довольно легко использовать без графического интерфейса, и отчеты в целом довольно хороши.