CLANG/LLVM Анализ выхода для переменных C

Question

Я хотел бы сделать анализ побега, используя Clang. Мой код выполняет синтаксический анализ кода на C и извлечение всех переменных переменных и так далее. Есть ли простой способ узнать, сбежали ли мои локальные переменные? Или я должен делать все вручную?