Кто-нибудь из сообщества LLVM знает, есть ли способ сгенерировать CFG для всего исходного кода, используяopt -dot-cfg foo.ll(.bc) ? поскольку этот генерирует CFG для каждой функции, то связи между функциями будут игнорироваться.

Похоже, что старый инструмент анализа обесценился.