GraalでのOSRを見たとき、"Control Flow Graph: 制御フローグラフ"（CFG）が出てきました。 Register AllocationとCFGは密接に関わります。さて、JavaでのCFGを検索すると論文が出てきました。 Thomas Würthingerさんの"Visualization of Java Control Flow …