Хотя, это не так явно сказано.Кажется, что граф потока управления является статическим.
https://en.wikipedia.org/wiki/Control_flow_graph
Если меня интересует только подмножество CFG, которое фактически выполняется при вызове графа, каков соответствующий графназывается?Это называется динамическим графом управления потоком?