도 2 를 계속 참조 하 면 , ( 200 ) 동안 정적 바이너리 분석 이 보존 적 CFG 정의 를 렌더링 하 기 위해 보호 된 프로세스 ( 100 ) 에 대해 수행 된다 . 예 시 적 인 실시 예 에서 , 보존 적 CFG 정의 생성 동안 , 기존 의 바이너리 기반 접근 법 들 이 보호 된 실행 가능 바이너리 ( 102 ) 및 공유 라이브러리 들 ( 104 ) 의 세트 를 분해 하 고 분석 하 기 위해 사용 된다 . 보존 적 CFG 는 불 확정 적 간접 분기 들 에 대한 모든 가능 한 아 웃 고잉 에지 들 이 필요 한 것 보다 더 많 을 수 있 고 , IPT 프로세서 트레이스 패킷 들 의 런타임 체크 동안 적법 한 제어 흐름 들 이 잠재 적 으로 악의 적 인 것 으로 식별 되 고 런타임 검사 동안 실행 으로부터 배제 되 는 과도 한 거짓 양성 들 을 초래 한다는 의미 에서 보존 적 이 다 . ( 200 ) 동안 , 보호 된 실행 가능 바이너리 및 공유 라이브러리 들 의 세트 ( 104 ) 의 모듈 들 은 독립 적 으로 분석 되 어 모듈 내 CFG 에지 들 을 구성 한다 . 그 후 , 모듈 간 CFG 에지 들 은 동적 링크 메커니즘 에 의해 노출 된 절차 링크 테이블 ( PLT ) 을 이용 하 여 구성 된다 . 상이 한 모듈 들 은 피 호출자 들 로부터 호출자 들 로 의 대응 하 는 리턴 명령어 들 뿐 만 아니 라 PLT 에서 의 간접 점프 들 에 의해서 만 연결 될 수 있 다 . 또한 , ( 200 ) 동안 , 특정 기본 블록 들 사이 의 에지 들 은 그 에 따라 보존 적 CFG 정의 에 추가 된다 . 하나 의 심볼 이 상이 한 모듈 들 에 존재 할 수 있 는 전역 적 심볼 인터 포즈 문제 를 처리 하 기 위해 , 바이너리 들 내 의 정보 ( 예 를 들 어 , DT NEEDED ) 필드 들 은 이전 라이브러리 를 찾 고 특정 어드레스 에 심볼 을 바인딩 하 기 위해 사용 된다 . 또 다른 유형 의 모듈 간 분기 들 은 , syscall 인 보크 를 가속 하 기 위해 사용 되 는 가상 동적 링크 공유 오브젝트 ( VDSO ) 메커니즘 에 기인 한다 . 예 를 들 어 , gettimeofday ( ) 는 일반 적 으로 라이브러리 호출 대신 에 VDSO 기능 호출 을 초래 한다 . VDSO 세그먼트 들 내 의 기능 들 은 라이브러리 들 에 비해 우선 권 을 갖 는다 .