c++ - LLVM を使用して C/C++ プログラムのインメモリ IR CFG を構築する

Question

CFG のノードに LLVM IR 命令が含まれている C/C++ プログラムの CFG を分析することに興味があります。LLVM を活用して、この CFG の永続的なメモリ内オブジェクトを抽出する方法はありますか? コンパイラにパスを実装したくありません。独自のプログラムで CFG を分析したい。

Answer 1

LLVM IR メモリ内表現は、すべての基本ブロックが既にグラフとして編成されているため、CFG 分析に適しています。基本ブロック内では、命令シーケンスは線形です。LLVM の関数内 CFG 関連の興味深いコードは次のとおりですlib/Analysis/CFG.cpp。lib/Analysis/CFGPrinter.cpp