FIT hash와 signature 검증

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

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

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

return 1;까지의 동작과 error:에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

fit_get_name(fit, noffset, NULL)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

fit_get_name(fit, image_noffset, NULL))를 호출한다. 반환 결과는 현재 줄 또는 다음 return 0;에서 검사되는 흐름이다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

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

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

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

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

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

원본 주석이 '@fit: pointer to the FIT format image header'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 주석이 'fit_image_verify() goes over component image hash nodes,'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 're-calculates each data hash and compares with the value stored in hash'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

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

fit_image_verify 함수 정의가 시작된다. 입력은 const void *fit, int image_noffset이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

const char *name에 fit_get_name(fit, image_noffset, NULL)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 verified payload 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 1438번 줄의 const void *data;는 앞의 const char *name = fit_get_name(fit, image_noffset, NULL); 결과를 받아 다음 size_t size;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건이 유지되는지 확인한다.

size_t size를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

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

char *err_msg = "";까지의 동작과 if (IS_ENABLED(CONFIG_FIT_SIGNATURE) && strchr(name, '@')) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

IS_ENABLED(CONFIG_FIT_SIGNATURE) && strchr(name, '@')를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 주석이 'We don't support this since libfdt considers names with the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'name root but different @ suffix to be equal'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

'goto err;'로 직선 경로를 벗어난다. 이동 대상에서 FIT image/configuration node / verification data에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

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

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

fit_image_get_data(fit, image_noffset, &data, &size)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

'goto err;'로 직선 경로를 벗어난다. 이동 대상에서 FIT image/configuration node / verification data에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

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

}까지의 동작과 return fit_image_verify_with_data(fit, image_noffset, gd_fdt_blob(),에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

fit_image_verify_with_data(fit, image_noffset, gd_fdt_blob(),를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 FIT image/configuration node / verification data를 정리하거나 다음 단계로 진행하는지 확인한다.

원본 1457번 줄의 data, size);는 앞의 return fit_image_verify_with_data(fit, image_noffset, gd_fdt_blob(), 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건이 유지되는지 확인한다.

data, size);까지의 동작과 err:에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

fit_get_name(fit, image_noffset, NULL))를 호출한다. 반환 결과는 현재 줄 또는 다음 return 0;에서 검사되는 흐름이다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

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

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

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

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

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

원본 주석이 '@fit: pointer to the FIT format image header'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 주석이 'fit_all_image_verify() goes over all images in the FIT and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'for every images checks if all it's hashes are valid.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 주석이 '1, if all hashes of all images are valid'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

fit_all_image_verify 함수 정의가 시작된다. 입력은 const void *fit이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

int images_noffset를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int noffset를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int ndepth를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int count를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int count;까지의 동작과 /* Find images parent node offset */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

images_noffset < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

printf("Can't find images parent node '%s' (%s)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

fdt_strerror(images_noffset))를 호출한다. 반환 결과는 현재 줄 또는 다음 return 0;에서 검사되는 흐름이다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

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

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

}까지의 동작과 /* Process all image subnodes, check hashes for each */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 signature and key 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Process all image subnodes, check hashes for each'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

hash(es)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

(ulong)fit)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 FIT image/configuration node / verification data를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

'for (ndepth = 0, count = 0,'가 목록이나 후보를 순회한다. 반복 중 FIT image/configuration node / verification data를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

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

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

fdt_next_node(fit, noffset, &ndepth))를 호출한다. 반환 결과는 현재 줄 또는 다음 if (ndepth == 1) {에서 검사되는 흐름이다. pointer 인자는 FIT image/configuration node / verification data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 signature and key 항목과 대조한다.

ndepth == 1를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증 후 실행되는 byte 범위와 서명 계산에 포함된 byte 범위가 정확히 같아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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