( 210 ) 동안 생성 된 ITC - CFG 정의 의 정확 성 에 대해 , 임의 로 선택 된 시간 에서 BB - x 의 입구 어드레스 가 기록 되 는 것 으로 가정 하 면 , BB - x 는 IT - BB 들 중 하나 이 어야 하 고 , 그렇 지 않 은 경우 에 는 이것 을 타 겟 팅 하 는 어떠 한 간접 분기 도 없 고 , 따라서 IPT 의 추적 방식 에 따라 어떠 한 TIP 패킷 도 추적 되 지 않 아야 한다 . 이제 BB - y 의 다른 입구 어드레스 가 기록 되 는 다음 즉시 를 가정 하 면 , ITC - CFG 에서 BB - x 로부터 BB - y 로 접속 하 는 하나 의 에지 가 있 다는 것 을 증명 해야 한다 . 감소 에 의해 , ITC - CFG 에서 BB - x 로부터 BB - y 로 의 에지 가 없 는 경우 , 이것 은 O - CFG 에서 BB - x 로부터 BB - y 로 의 경로 에서 간접 분기 의 어떤 에지 도 없 음 을 의미 한다 . 그 후 , BB - y 는 실행 되 지 않 거나 추적 되 지 않 아야 한다 . 따라서 , IPT 에 의해 추적 되 는 임의 의 2 개 의 연속 적 인 TIP 패킷 에 대해 , 이 제어 흐름 을 표현 하 기 위해 ITC - CFG 내 의 에지 가 있 어야 만 하 고 , 그렇 지 않 은 경우 일부 이상 들 이 발생 했 다 .