optee_msg_arg command dispatch

원본 354번 줄의 (void *)&params[1].u.value);는 앞의 이전 block 경계 결과를 받아 다음 break;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

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

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

}까지의 동작과 static void entry_open_session(struct optee_msg_arg *arg, uint32_t num_params)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

entry_open_session 함수 정의가 시작된다. 입력은 struct optee_msg_arg *arg, uint32_t num_params이며, secure standard-call thread에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

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

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

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

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

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

struct tee_ta_param param = { }를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

size_t num_meta = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

uint64_t saved_attr[TEE_NUM_PARAMS]에 { 0 }를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

uint64_t saved_attr[TEE_NUM_PARAMS] = { 0 };까지의 동작과 res = get_open_session_meta(num_params, arg->params, &num_meta, &uuid,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 376번 줄의 &clnt_id);는 앞의 res = get_open_session_meta(num_params, arg->params, &num_meta, &uuid, 결과를 받아 다음 if (res != TEE_SUCCESS)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res != TEE_SUCCESS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

goto out;까지의 동작과 res = copy_in_params(arg->params + num_meta, num_params - num_meta,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 381번 줄의 &param, saved_attr);는 앞의 res = copy_in_params(arg->params + num_meta, num_params - num_meta, 결과를 받아 다음 if (res != TEE_SUCCESS)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res != TEE_SUCCESS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

goto cleanup_shm_refs;까지의 동작과 res = tee_ta_open_session(&err_orig, &sess_id, &tee_open_sessions,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 386번 줄의 &uuid, &clnt_id, TEE_TIMEOUT_INFINITE,는 앞의 res = tee_ta_open_session(&err_orig, &sess_id, &tee_open_sessions, 결과를 받아 다음 &param);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 387번 줄의 &param);는 앞의 &uuid, &clnt_id, TEE_TIMEOUT_INFINITE, 결과를 받아 다음 if (res)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

원본 391번 줄의 saved_attr);는 앞의 copy_out_param(&param, num_params - num_meta, arg->params + num_meta, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

원본 주석이 'The occurrence of open/close session command is usually'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'un-predictable, using this property to increase randomness'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

원본 399번 줄의 &session_pnum);는 앞의 plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_SESSION, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

&session_pnum);까지의 동작과 cleanup_shm_refs:에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

cleanup_shm_refs(saved_attr, &param, num_params - num_meta)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 optee_msg_arg / tee_ta_param의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 shared-memory refs 항목과 대조한다.

cleanup_shm_refs(saved_attr, &param, num_params - num_meta);까지의 동작과 out:에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

arg->session에 sess_id를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

arg->ret에 res를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 바로 다음 arg->ret_origin = err_orig;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

arg->ret_origin에 err_orig를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

}까지의 동작과 static void entry_close_session(struct optee_msg_arg *arg, uint32_t num_params)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

entry_close_session 함수 정의가 시작된다. 입력은 struct optee_msg_arg *arg, uint32_t num_params이며, secure standard-call thread에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

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

TEE_Result res = TEE_SUCCESS;까지의 동작과 if (num_params) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

num_params를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

}까지의 동작과 plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_SESSION,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 420번 줄의 &session_pnum);는 앞의 plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_SESSION, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

&session_pnum);까지의 동작과 res = tee_ta_close_session(arg->session, &tee_open_sessions,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 423번 줄의 NSAPP_IDENTITY);는 앞의 res = tee_ta_close_session(arg->session, &tee_open_sessions, 결과를 받아 다음 out:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

arg->ret에 res를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 바로 다음 arg->ret_origin = TEE_ORIGIN_TEE;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

arg->ret_origin에 TEE_ORIGIN_TEE를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

}까지의 동작과 static void entry_invoke_command(struct optee_msg_arg *arg, uint32_t num_params)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

entry_invoke_command 함수 정의가 시작된다. 입력은 struct optee_msg_arg *arg, uint32_t num_params이며, secure standard-call thread에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

원본 431번 줄의 TEE_Result res;는 앞의 { 결과를 받아 다음 TEE_ErrorOrigin err_orig = TEE_ORIGIN_TEE;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

struct tee_ta_session *s를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

struct tee_ta_param param = { 0 }를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

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

ADD_OVERFLOW(mem->offs, mem->size, &req_size)를 호출한다. 반환 결과는 현재 줄 또는 다음 mem->mobj->size < req_size)에서 검사되는 흐름이다. pointer 인자는 optee_msg_arg / tee_ta_param의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tee_ta_param 항목과 대조한다.

원본 176번 줄의 mem->mobj->size < req_size)는 앞의 if (ADD_OVERFLOW(mem->offs, mem->size, &req_size) || 결과를 받아 다음 return TEE_ERROR_SECURITY;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

#endif /*!CFG_CORE_FFA*/까지의 동작과 static TEE_Result copy_in_params(const struct optee_msg_param *params,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 185번 줄의 uint32_t num_params,는 앞의 static TEE_Result copy_in_params(const struct optee_msg_param *params, 결과를 받아 다음 struct tee_ta_param *ta_param,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

struct tee_ta_param *ta_param,를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

원본 187번 줄의 uint64_t *saved_attr)는 앞의 struct tee_ta_param *ta_param, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

원본 189번 줄의 TEE_Result res;는 앞의 { 결과를 받아 다음 size_t n;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

size_t n를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

uint8_t pt[TEE_NUM_PARAMS]에 { 0 }를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

uint8_t pt[TEE_NUM_PARAMS] = { 0 };까지의 동작과 if (num_params > TEE_NUM_PARAMS)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

num_params > TEE_NUM_PARAMS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BAD_PARAMETERS;까지의 동작과 memset(ta_param, 0, sizeof(*ta_param));에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

memset(ta_param, 0, sizeof(*ta_param));까지의 동작과 for (n = 0; n < num_params; n++) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 199번 줄의 uint32_t attr;는 앞의 for (n = 0; n < num_params; n++) { 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

uint32_t attr;까지의 동작과 saved_attr[n] = READ_ONCE(params[n].attr);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

saved_attr[n]에 READ_ONCE(params[n].attr)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

saved_attr[n] = READ_ONCE(params[n].attr);까지의 동작과 if (saved_attr[n] & OPTEE_MSG_ATTR_META)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

saved_attr[n] & OPTEE_MSG_ATTR_META를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BAD_PARAMETERS;까지의 동작과 attr = saved_attr[n] & OPTEE_MSG_ATTR_TYPE_MASK;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

attr에 saved_attr[n] & OPTEE_MSG_ATTR_TYPE_MASK를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 switch (attr) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 207번 줄의 switch (attr) {는 앞의 attr = saved_attr[n] & OPTEE_MSG_ATTR_TYPE_MASK; 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_NONE:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 208번 줄의 case OPTEE_MSG_ATTR_TYPE_NONE:는 앞의 switch (attr) { 결과를 받아 다음 pt[n] = TEE_PARAM_TYPE_NONE;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

원본 211번 줄의 case OPTEE_MSG_ATTR_TYPE_VALUE_INPUT:는 앞의 break; 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_VALUE_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 212번 줄의 case OPTEE_MSG_ATTR_TYPE_VALUE_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_VALUE_INPUT: 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_VALUE_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 213번 줄의 case OPTEE_MSG_ATTR_TYPE_VALUE_INOUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_VALUE_OUTPUT: 결과를 받아 다음 pt[n] = TEE_PARAM_TYPE_VALUE_INPUT + attr -로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 214번 줄의 pt[n] = TEE_PARAM_TYPE_VALUE_INPUT + attr -는 앞의 case OPTEE_MSG_ATTR_TYPE_VALUE_INOUT: 결과를 받아 다음 OPTEE_MSG_ATTR_TYPE_VALUE_INPUT;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 215번 줄의 OPTEE_MSG_ATTR_TYPE_VALUE_INPUT;는 앞의 pt[n] = TEE_PARAM_TYPE_VALUE_INPUT + attr - 결과를 받아 다음 ta_param->u[n].val.a = READ_ONCE(params[n].u.value.a);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

ta_param->u[n].val.a에 READ_ONCE(params[n].u.value.a)를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 바로 다음 ta_param->u[n].val.b = READ_ONCE(params[n].u.value.b);가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ta_param->u[n].val.b에 READ_ONCE(params[n].u.value.b)를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 바로 다음 break;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

원본 220번 줄의 case OPTEE_MSG_ATTR_TYPE_FMEM_INPUT:는 앞의 #ifdef CFG_CORE_FFA 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_FMEM_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 221번 줄의 case OPTEE_MSG_ATTR_TYPE_FMEM_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_FMEM_INPUT: 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_FMEM_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 222번 줄의 case OPTEE_MSG_ATTR_TYPE_FMEM_INOUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_FMEM_OUTPUT: 결과를 받아 다음 res = set_fmem_param(&params[n].u.fmem,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

원본 224번 줄의 &ta_param->u[n].mem);는 앞의 res = set_fmem_param(&params[n].u.fmem, 결과를 받아 다음 if (res)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 227번 줄의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr -는 앞의 return res; 결과를 받아 다음 OPTEE_MSG_ATTR_TYPE_FMEM_INPUT;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 228번 줄의 OPTEE_MSG_ATTR_TYPE_FMEM_INPUT;는 앞의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr - 결과를 받아 다음 break;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

원본 231번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_INPUT:는 앞의 #else /*!CFG_CORE_FFA*/ 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 232번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_TMEM_INPUT: 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_TMEM_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 233번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_INOUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT: 결과를 받아 다음 res = set_tmem_param(&params[n].u.tmem, saved_attr[n],로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

원본 235번 줄의 &ta_param->u[n].mem);는 앞의 res = set_tmem_param(&params[n].u.tmem, saved_attr[n], 결과를 받아 다음 if (res)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 238번 줄의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr -는 앞의 return res; 결과를 받아 다음 OPTEE_MSG_ATTR_TYPE_TMEM_INPUT;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 239번 줄의 OPTEE_MSG_ATTR_TYPE_TMEM_INPUT;는 앞의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr - 결과를 받아 다음 break;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

원본 242번 줄의 case OPTEE_MSG_ATTR_TYPE_RMEM_INPUT:는 앞의 #ifdef CFG_CORE_DYN_SHM 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_RMEM_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 243번 줄의 case OPTEE_MSG_ATTR_TYPE_RMEM_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_RMEM_INPUT: 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_RMEM_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 244번 줄의 case OPTEE_MSG_ATTR_TYPE_RMEM_INOUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_RMEM_OUTPUT: 결과를 받아 다음 res = set_rmem_param(&params[n].u.rmem,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

원본 246번 줄의 &ta_param->u[n].mem);는 앞의 res = set_rmem_param(&params[n].u.rmem, 결과를 받아 다음 if (res)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

res를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 249번 줄의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr -는 앞의 return res; 결과를 받아 다음 OPTEE_MSG_ATTR_TYPE_RMEM_INPUT;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 250번 줄의 OPTEE_MSG_ATTR_TYPE_RMEM_INPUT;는 앞의 pt[n] = TEE_PARAM_TYPE_MEMREF_INPUT + attr - 결과를 받아 다음 break;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

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

}까지의 동작과 ta_param->types = TEE_PARAM_TYPES(pt[0], pt[1], pt[2], pt[3]);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

ta_param->types에 TEE_PARAM_TYPES(pt[0], pt[1], pt[2], pt[3])를 = 연산으로 반영해 optee_msg_arg / tee_ta_param와 연결된 field를 갱신한다. 이후 copy result/cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ta_param->types = TEE_PARAM_TYPES(pt[0], pt[1], pt[2], pt[3]);까지의 동작과 return TEE_SUCCESS;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

}까지의 동작과 static void cleanup_shm_refs(const uint64_t *saved_attr,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

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

struct tee_ta_param *param, uint32_t num_params)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

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

size_t n를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 optee_msg_arg / tee_ta_param를 직접 소유하는지 pointer만 빌리는지, secure standard-call thread를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

size_t n;까지의 동작과 for (n = 0; n < MIN((unsigned int)TEE_NUM_PARAMS, num_params); n++) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 shared-memory refs 상태가 아래 블록의 입력으로 사용되는 경계다.

'for (n = 0; n < MIN((unsigned int)TEE_NUM_PARAMS, num_params); n++) {'가 목록이나 후보를 순회한다. 반복 중 optee_msg_arg / tee_ta_param를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

원본 270번 줄의 switch (saved_attr[n]) {는 앞의 for (n = 0; n < MIN((unsigned int)TEE_NUM_PARAMS, num_params); n++) { 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_TMEM_INPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 271번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_INPUT:는 앞의 switch (saved_attr[n]) { 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 272번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_TMEM_INPUT: 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_TMEM_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 273번 줄의 case OPTEE_MSG_ATTR_TYPE_TMEM_INOUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT: 결과를 받아 다음 #ifdef CFG_CORE_DYN_SHM로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

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

원본 275번 줄의 case OPTEE_MSG_ATTR_TYPE_RMEM_INPUT:는 앞의 #ifdef CFG_CORE_DYN_SHM 결과를 받아 다음 case OPTEE_MSG_ATTR_TYPE_RMEM_OUTPUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.

원본 276번 줄의 case OPTEE_MSG_ATTR_TYPE_RMEM_OUTPUT:는 앞의 case OPTEE_MSG_ATTR_TYPE_RMEM_INPUT: 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '명령 실행이 끝나면 임시 mobj reference와 saved attribute가 정확히 한 번 정리되고 output parameter만 Normal World에 반영되어야 한다' 조건이 유지되는지 확인한다.