I usually see a control flow graph with blocks of three-address code instructions.