Chain of Trust와 auth_mod_verify_img

원본 주석이 'case, the signature verification is considered just an integrity check and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

원본 주석이 'If the image has no parent (NULL), it means it has to be authenticated using'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'the ROTPK stored in the platform. Again, this ROTPK could be the key itself'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

원본 157번 줄의 const auth_img_desc_t *img_desc,는 앞의 static int auth_signature(const auth_method_param_sig_t *param, 결과를 받아 다음 void *img, unsigned int img_len)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 158번 줄의 void *img, unsigned int img_len)는 앞의 const auth_img_desc_t *img_desc, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

void *data_ptr, *pk_ptr, *cnv_pk_ptr, *pk_plat_ptr, *sig_ptr, *sig_alg_ptr, *pk_oid를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned int data_len, pk_len, cnv_pk_len, pk_plat_len, sig_len, sig_alg_len를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned int flags = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int rc를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int rc;까지의 동작과 /* Get the data to be signed from current image */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 167번 줄의 img, img_len, &data_ptr, &data_len);는 앞의 rc = img_parser_get_auth_param(img_desc->img_type, param->data, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 170번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

원본 176번 줄의 img, img_len, &sig_ptr, &sig_len);는 앞의 rc = img_parser_get_auth_param(img_desc->img_type, param->sig, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 179번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

원본 185번 줄의 img, img_len, &sig_alg_ptr, &sig_alg_len);는 앞의 rc = img_parser_get_auth_param(img_desc->img_type, param->alg, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 188번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

원본 주석이 'Set Zero-OID for ROTPK(subject key) as a the certificate'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'does not hold Key-OID information for ROTPK.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

param->pk->cookie != NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 198번 줄의 } else {는 앞의 pk_oid = param->pk->cookie; 결과를 받아 다음 pk_oid = ZERO_OID;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

set_current_pk_oid(pk_oid);까지의 동작과 /* Get the public key from the parent. If there is no parent (NULL),에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Get the public key from the parent. If there is no parent (NULL),'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'the certificate has been signed with the ROTPK, so we have to get'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

img_desc->parent != NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 209번 줄의 &pk_ptr, &pk_len);는 앞의 rc = auth_get_param(param->pk, img_desc->parent, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 212번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

원본 215번 줄의 } else {는 앞의 } 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

원본 주석이 'Root certificates are signed with the ROTPK, so we have to'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

원본 221번 줄의 &pk_plat_len, &flags);는 앞의 rc = plat_get_rotpk_info(param->pk->cookie, &pk_plat_ptr, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 224번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

assert(is_rotpk_flags_valid(flags));까지의 동작과 /* Also retrieve the key from the image. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 232번 줄의 param->pk, img, img_len,는 앞의 rc = img_parser_get_auth_param(img_desc->img_type, 결과를 받아 다음 &pk_ptr, &pk_len);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 233번 줄의 &pk_ptr, &pk_len);는 앞의 param->pk, img, img_len, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 236번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

원본 주석이 'Platform may store key in one of the following way -'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 주석이 '2. Hash if prefixed, suffixed or modified ROTPK'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

(flags & ROTPK_NOT_DEPLOYED) != 0U를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 250번 줄의 "Skipping ROTPK verification.\n");는 앞의 NOTICE("ROTPK is not deployed on platform. " 결과를 받아 다음 } else if ((flags & ROTPK_IS_HASH) != 0U) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 251번 줄의 } else if ((flags & ROTPK_IS_HASH) != 0U) {는 앞의 "Skipping ROTPK verification.\n"); 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

원본 주석이 'platform may store the hash of a prefixed,'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 259번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

원본 주석이 'value that should not be lower than the value stored in the platform. If the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'value is larger, the counter in the platform must be updated to the new value'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

원본 주석이 'cert_nv_ctr -> NV counter value present in the certificate'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'need_nv_ctr_upgrade = 0 -> platform NV counter upgrade is not needed'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'need_nv_ctr_upgrade = 1 -> platform NV counter upgrade is needed'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 324번 줄의 const auth_img_desc_t *img_desc,는 앞의 static int auth_nvctr(const auth_method_param_nv_ctr_t *param, 결과를 받아 다음 void *img, unsigned int img_len,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 325번 줄의 void *img, unsigned int img_len,는 앞의 const auth_img_desc_t *img_desc, 결과를 받아 다음 unsigned int *cert_nv_ctr,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 326번 줄의 unsigned int *cert_nv_ctr,는 앞의 void *img, unsigned int img_len, 결과를 받아 다음 bool *need_nv_ctr_upgrade)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 327번 줄의 bool *need_nv_ctr_upgrade)는 앞의 unsigned int *cert_nv_ctr, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

unsigned char *p를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

void *data_ptr = NULL를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned int data_len, len, i를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned int plat_nv_ctr를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int rc를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int rc;까지의 동작과 /* Get the counter value from current image. The AM expects the IPM에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Get the counter value from current image. The AM expects the IPM'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'to return the counter value as a DER encoded integer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 338번 줄의 img, img_len, &data_ptr, &data_len);는 앞의 rc = img_parser_get_auth_param(img_desc->img_type, param->cert_nv_ctr, 결과를 받아 다음 if (rc != 0) {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 341번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

p = (unsigned char *)data_ptr를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

p = (unsigned char *)data_ptr;까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 주석이 'Integers must be at least 3 bytes: 1 for tag, 1 for length, and 1'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'for value. The first byte (tag) must be ASN1_INTEGER.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

(data_len < 3) || (*p != ASN1_INTEGER)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

원본 357번 줄의 p++;는 앞의 } 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

원본 주석이 'NV-counters are unsigned integers up to 31 bits. Trailing'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

len = (unsigned int)*p를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 auth_img_desc_t / auth_method_desc_t를 직접 소유하는지 pointer만 빌리는지, trusted boot authentication context를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

(len > 4) || (data_len - 2 != len)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

원본 367번 줄의 p++;는 앞의 } 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

p++;까지의 동작과 /* Check the number is not negative */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

*p & 0x80를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

}까지의 동작과 /* Convert to unsigned int. This code is for a little-endian CPU */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Convert to unsigned int. This code is for a little-endian CPU'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 주석이 'cert_nv_ctr = (*cert_nv_ctr << 8) | *p++;'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

rc에 plat_get_nv_ctr(param->plat_nv_ctr->cookie, &plat_nv_ctr)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (rc != 0) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

rc != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 384번 줄의 __func__, __LINE__, rc);는 앞의 VERBOSE("[TBB] %s():%d failed with error code %d.\n", 결과를 받아 다음 return rc;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

}까지의 동작과 if (*cert_nv_ctr < plat_nv_ctr) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

*cert_nv_ctr < plat_nv_ctr를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

원본 391번 줄의 } else if (*cert_nv_ctr > plat_nv_ctr) {는 앞의 return 1; 결과를 받아 다음 #if PSA_FWU_SUPPORT && IMAGE_BL2로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

fwu_get_active_bank_state() == FWU_BANK_STATE_ACCEPTED를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 395번 줄의 } else {는 앞의 *need_nv_ctr_upgrade = true; 결과를 받아 다음 *need_nv_ctr_upgrade = false;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

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

#elif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

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

bl1_plat_is_shared_nv_ctr() == false를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 주석이 'If NV ctr is not shared, it can be upgraded'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 403번 줄의 } else {는 앞의 *need_nv_ctr_upgrade = true; 결과를 받아 다음 /* If NV ctr is shared, the upgrade should happens in BL2 */로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

원본 주석이 'If NV ctr is shared, the upgrade should happens in BL2'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

#else 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

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

#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

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

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

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

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

}까지의 동작과 int plat_set_nv_ctr2(void *cookie, const auth_img_desc_t *img_desc __unused,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CoT registry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 416번 줄의 unsigned int nv_ctr)는 앞의 int plat_set_nv_ctr2(void *cookie, const auth_img_desc_t *img_desc __unused, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'child image는 parent가 인증되고 필요한 authenticated data가 채워진 뒤에만 성공 상태가 되며 rollback counter 정책도 함께 통과해야 한다' 조건이 유지되는지 확인한다.

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

plat_set_nv_ctr(cookie, nv_ctr)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 auth_img_desc_t / auth_method_desc_t를 정리하거나 다음 단계로 진행하는지 확인한다.

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

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

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