xtc4java は、Java バイトコード解析と修飾子、2 中間表現 (IR) コンパイラ構築のため、一般的な抽象解釈機構、Java の逆アセンブラー、および制御フロー分析で構成されるライブラリです。