ну это не к тебе, это к Андрею, который этот список выдал со словами, что там всё сильно лучше, чем в идее, но дальше идею не раскрыл
Наличием глубокого интерпроцедурного анализа, которого нет в дефолтном статическом анализаторе идеи. Сейчас я вижу потрясающий и удобный AST анализ и отличный фреймворк, который даёт возможность добавлять чекеры. Есть отличный плагин, под названием IceBerg, который использует Infer от Facebook, вот он умеет в интепроцедурность, но сам плагин выглядит сырым.
Мы планируем выкладывать результаты наших сравнительных исследований, я думаю будут про это статьи.