TF-A 빌드 산출물과 FIP 구성

printf("\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 BL1/BL2/BL31 binaries 항목과 대조한다.

printf("Commands supported:\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 BL32 secure payload 항목과 대조한다.

printf(" info\t\tList images contained in FIP.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 BL33 normal-world firmware 항목과 대조한다.

printf(" create\tCreate a new FIP with the given images.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

printf(" update\tUpdate an existing FIP with the given images.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

printf(" unpack\tUnpack images from FIP.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

printf(" remove\tRemove images from FIP.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

printf(" version\tShow fiptool version.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

printf(" help\t\tShow help for given command.\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

exit(EXIT_SUCCESS)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 int main(int argc, char *argv[])에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

main 함수 정의가 시작된다. 입력은 int argc, char *argv[]이며, host build와 BL2 image loading 경계에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 fip_toc_header / fip_toc_entry의 수명에 맞춰 묶어 읽는다.

int i, ret = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 fip_toc_header / fip_toc_entry를 직접 소유하는지 pointer만 빌리는지, host build와 BL2 image loading 경계를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int i, ret = 0;까지의 동작과 while (1) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

'while (1) {'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

int c, opt_index = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 fip_toc_header / fip_toc_entry를 직접 소유하는지 pointer만 빌리는지, host build와 BL2 image loading 경계를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

원본 1249번 줄의 static struct option opts[] = {는 앞의 int c, opt_index = 0; 결과를 받아 다음 { "verbose", no_argument, NULL, 'v' },로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 1250번 줄의 { "verbose", no_argument, NULL, 'v' },는 앞의 static struct option opts[] = { 결과를 받아 다음 { NULL, no_argument, NULL, 0 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 1251번 줄의 { NULL, no_argument, NULL, 0 }는 앞의 { "verbose", no_argument, NULL, 'v' }, 결과를 받아 다음 };로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

};까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'Set POSIX mode so getopt stops at the first non-option'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'which is the subcommand.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

c에 getopt_long(argc, argv, "+v", opts, &opt_index)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (c == -1)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

c == -1를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'break;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

break;까지의 동작과 switch (c) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 1262번 줄의 switch (c) {는 앞의 이전 block 경계 결과를 받아 다음 case 'v':로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 1263번 줄의 case 'v':는 앞의 switch (c) { 결과를 받아 다음 verbose = 1;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

verbose에 1를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

'break;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

'default' label이다. 이곳을 참조하는 branch를 역검색하고 각 진입 경로의 register, stack, lock 조건이 같은지 확인한다.

usage(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

argc에 optind를 -= 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

argv에 optind를 += 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 주석이 'Reset optind for subsequent getopt processing.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

optind에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

optind = 0;까지의 동작과 if (argc == 0)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

argc == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

usage(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

usage();까지의 동작과 fill_image_descs();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

fill_image_descs(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

'for (i = 0; i < NELEM(cmds); i++) {'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

strcmp(cmds[i].name, argv[0]) == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ret에 cmds[i].handler(argc, argv)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

'break;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

i == NELEM(cmds)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

usage(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

free_image_descs(인자 없음)를 호출한다. 반환 결과는 현재 줄 또는 다음 return ret;에서 검사되는 흐름이다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 fip_toc_header / fip_toc_entry를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

이전 block 경계까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 BL1/BL2/BL31 binaries 상태가 아래 블록의 입력으로 사용되는 경계다.

0를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 fip_toc_header / fip_toc_entry를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 static void info_usage(int exit_status)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

info_usage 함수 정의가 시작된다. 입력은 int exit_status이며, host build와 BL2 image loading 경계에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 fip_toc_header / fip_toc_entry의 수명에 맞춰 묶어 읽는다.

printf("fiptool info FIP_FILENAME\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

exit(exit_status)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 static int pack_images(const char *filename, uint64_t toc_flags, unsigned long align)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

pack_images 함수 정의가 시작된다. 입력은 const char *filename, uint64_t toc_flags, unsigned long align이며, host build와 BL2 image loading 경계에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 fip_toc_header / fip_toc_entry의 수명에 맞춰 묶어 읽는다.

원본 533번 줄의 FILE *fp;는 앞의 { 결과를 받아 다음 image_desc_t *desc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 534번 줄의 image_desc_t *desc;는 앞의 FILE *fp; 결과를 받아 다음 fip_toc_header_t *toc_header;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 535번 줄의 fip_toc_header_t *toc_header;는 앞의 image_desc_t *desc; 결과를 받아 다음 fip_toc_entry_t *toc_entry;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 536번 줄의 fip_toc_entry_t *toc_entry;는 앞의 fip_toc_header_t *toc_header; 결과를 받아 다음 char *buf;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 537번 줄의 char *buf;는 앞의 fip_toc_entry_t *toc_entry; 결과를 받아 다음 uint64_t entry_offset, buf_size, payload_size = 0, pad_size;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

uint64_t entry_offset, buf_size, payload_size에 0, pad_size를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

size_t nr_images = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 fip_toc_header / fip_toc_entry를 직접 소유하는지 pointer만 빌리는지, host build와 BL2 image loading 경계를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

size_t nr_images = 0;까지의 동작과 for (desc = image_desc_head; desc != NULL; desc = desc->next)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

'for (desc = image_desc_head; desc != NULL; desc = desc->next)'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

desc->image != NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 543번 줄의 nr_images++;는 앞의 if (desc->image != NULL) 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

nr_images++;까지의 동작과 buf_size = sizeof(fip_toc_header_t) +에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 545번 줄의 buf_size = sizeof(fip_toc_header_t) +는 앞의 이전 block 경계 결과를 받아 다음 sizeof(fip_toc_entry_t) * (nr_images + 1);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

원본 546번 줄의 sizeof(fip_toc_entry_t) * (nr_images + 1);는 앞의 buf_size = sizeof(fip_toc_header_t) + 결과를 받아 다음 buf = calloc(1, buf_size);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

buf에 calloc(1, buf_size)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (buf == NULL)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

buf == NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_err("calloc")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_err("calloc");까지의 동작과 /* Build up header and ToC entries from the image table. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Build up header and ToC entries from the image table.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

toc_header에 (fip_toc_header_t *)buf를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 toc_header->name = TOC_HEADER_NAME;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_header->name에 TOC_HEADER_NAME를 = 연산으로 반영해 fip_toc_header / fip_toc_entry와 연결된 field를 갱신한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_header->serial_number에 TOC_HEADER_SERIAL_NUMBER를 = 연산으로 반영해 fip_toc_header / fip_toc_entry와 연결된 field를 갱신한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_header->flags에 toc_flags를 = 연산으로 반영해 fip_toc_header / fip_toc_entry와 연결된 field를 갱신한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_header->flags = toc_flags;까지의 동작과 toc_entry = (fip_toc_entry_t *)(toc_header + 1);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

toc_entry에 (fip_toc_entry_t *)(toc_header + 1)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_entry = (fip_toc_entry_t *)(toc_header + 1);까지의 동작과 entry_offset = buf_size;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

entry_offset에 buf_size를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

'for (desc = image_desc_head; desc != NULL; desc = desc->next) {'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

image_t *image에 desc->image를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

image_t *image = desc->image;까지의 동작과 if (image == NULL || (image->toc_e.size == 0ULL))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

image == NULL || (image->toc_e.size == 0ULL)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

payload_size에 image->toc_e.size를 += 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

entry_offset에 (entry_offset + align - 1) & ~(align - 1)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 image->toc_e.offset_address = entry_offset;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

image->toc_e.offset_address에 entry_offset를 = 연산으로 반영해 fip_toc_header / fip_toc_entry와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 주석이 'toc_entry++ = image->toc_e;'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

entry_offset에 image->toc_e.size를 += 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'Append a null uuid entry to mark the end of ToC entries.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'NOTE the offset address for the last toc_entry must match the fip'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'size.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

memset(toc_entry, 0, sizeof(*toc_entry))를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

toc_entry->offset_address에 (entry_offset + align - 1) & ~(align - 1)를 = 연산으로 반영해 fip_toc_header / fip_toc_entry와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

toc_entry->offset_address = (entry_offset + align - 1) & ~(align - 1);까지의 동작과 /* Generate the FIP file. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Generate the FIP file.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

fp에 fopen(filename, "wb")를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (fp == NULL)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

fp == NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_err("fopen %s", filename)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_err("fopen %s", filename);까지의 동작과 if (verbose)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

verbose를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_dbgx("Metadata size: %zu bytes", buf_size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_dbgx("Metadata size: %zu bytes", buf_size);까지의 동작과 xfwrite(buf, buf_size, fp, filename);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

xfwrite(buf, buf_size, fp, filename)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

xfwrite(buf, buf_size, fp, filename);까지의 동작과 if (verbose)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

verbose를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_dbgx("Payload size: %zu bytes", payload_size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_dbgx("Payload size: %zu bytes", payload_size);까지의 동작과 for (desc = image_desc_head; desc != NULL; desc = desc->next) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

'for (desc = image_desc_head; desc != NULL; desc = desc->next) {'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

image_t *image에 desc->image를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 fip.bin 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

image_t *image = desc->image;까지의 동작과 if (image == NULL)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

image == NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

fseek(fp, image->toc_e.offset_address, SEEK_SET)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_errx("Failed to set file position")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_errx("Failed to set file position");까지의 동작과 xfwrite(image->buffer, image->toc_e.size, fp, filename);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

xfwrite(image->buffer, image->toc_e.size, fp, filename)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 if (fseek(fp, entry_offset, SEEK_SET))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

fseek(fp, entry_offset, SEEK_SET)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_errx("Failed to set file position")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

log_errx("Failed to set file position");까지의 동작과 pad_size = toc_entry->offset_address - entry_offset;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

pad_size에 toc_entry->offset_address - entry_offset를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 while (pad_size--)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

'while (pad_size--)'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

fputc(0x0, fp)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

fputc(0x0, fp);까지의 동작과 free(buf);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

free(buf)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

fclose(fp)를 호출한다. 반환 결과는 현재 줄 또는 다음 return 0;에서 검사되는 흐름이다. pointer 인자는 fip_toc_header / fip_toc_entry의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 FIP ToC 항목과 대조한다.

0를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 fip_toc_header / fip_toc_entry를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'This function is shared between the create and update subcommands.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'The difference between the two subcommands is that when the FIP file'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'is created, the parsing of an existing FIP is skipped. This results'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'in update_fip() creating the new FIP file from scratch because the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'internal image table is not populated.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

update_fip 함수 정의가 시작된다. 입력은 void이며, host build와 BL2 image loading 경계에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 fip_toc_header / fip_toc_entry의 수명에 맞춰 묶어 읽는다.

원본 625번 줄의 image_desc_t *desc;는 앞의 { 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

image_desc_t *desc;까지의 동작과 /* Add or replace images in the FIP file. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Add or replace images in the FIP file.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

'for (desc = image_desc_head; desc != NULL; desc = desc->next) {'가 목록이나 후보를 순회한다. 반복 중 fip_toc_header / fip_toc_entry를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

원본 629번 줄의 image_t *image;는 앞의 for (desc = image_desc_head; desc != NULL; desc = desc->next) { 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건이 유지되는지 확인한다.

image_t *image;까지의 동작과 if (desc->action != DO_PACK)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.

desc->action != DO_PACK를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'FIP의 각 ToC entry는 실제 payload 범위 안을 가리키고 platform image policy의 image ID와 같은 UUID 계약을 사용해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 fip_toc_header / fip_toc_entry에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

continue;까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 FIP ToC 상태가 아래 블록의 입력으로 사용되는 경계다.