TA context와 session 수명

이전 block 경계까지의 동작과 if (res) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tee_ta_ctx 상태가 아래 블록의 입력으로 사용되는 경계다.

res를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

EMSG("Failed for TA %pUl. Return error %#"PRIx32, uuid, res)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 tee_ta_ctx / tee_ta_session의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 session reference 항목과 대조한다.

원본 772번 줄의 } else {는 앞의 EMSG("Failed for TA %pUl. Return error %#"PRIx32, uuid, res); 결과를 받아 다음 *sess_id = s->id;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

}까지의 동작과 TEE_Result tee_ta_invoke_command(TEE_ErrorOrigin *err,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 782번 줄의 const TEE_Identity *clnt_id,는 앞의 struct tee_ta_session *sess, 결과를 받아 다음 uint32_t cancel_req_to, uint32_t cmd,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

원본 783번 줄의 uint32_t cancel_req_to, uint32_t cmd,는 앞의 const TEE_Identity *clnt_id, 결과를 받아 다음 struct tee_ta_param *param)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

bool panicked = false;까지의 동작과 if (check_client(sess, clnt_id) != TEE_SUCCESS)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

check_client(sess, clnt_id) != TEE_SUCCESS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BAD_PARAMETERS; /* intentional generic error */까지의 동작과 if (!check_params(sess, param))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

!check_params(sess, param)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BAD_PARAMETERS;까지의 동작과 ts_ctx = sess->ts_sess.ctx;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

ta_ctx = ts_to_ta_ctx(ts_ctx);까지의 동작과 tee_ta_set_busy(ta_ctx);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

tee_ta_set_busy(ta_ctx);까지의 동작과 if (!ta_ctx->panicked) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

!ta_ctx->panicked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

res에 ts_ctx->ops->enter_invoke_cmd(&sess->ts_sess, cmd)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 close/refcount cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

sess->param에 NULL를 = 연산으로 반영해 tee_ta_ctx / tee_ta_session와 연결된 field를 갱신한다. 이후 close/refcount cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

}까지의 동작과 panicked = ta_ctx->panicked;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

panicked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

원본 813번 줄의 } else {는 앞의 res = TEE_ERROR_TARGET_DEAD; 결과를 받아 다음 if (IS_ENABLED(CFG_FTRACE_DUMP_EVERY_ENTRY))로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

IS_ENABLED(CFG_FTRACE_DUMP_EVERY_ENTRY)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

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

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

원본 주석이 'Origin error equal to TEE_ORIGIN_TRUSTED_APP for "regular" error,'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

panicked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 826번 줄의 else는 앞의 *err = TEE_ORIGIN_TEE; 결과를 받아 다음 *err = sess->err_origin;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

*err = sess->err_origin;까지의 동작과 /* Short buffer is not an effective error case */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

res != TEE_SUCCESS && res != TEE_ERROR_SHORT_BUFFER를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

DMSG("Error: %x of %d", res, *err)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 tee_ta_ctx / tee_ta_session의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 session reference 항목과 대조한다.

DMSG("Error: %x of %d", res, *err);까지의 동작과 return res;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

}까지의 동작과 #if defined(CFG_TA_STATS)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

bool panicked = false;까지의 동작과 ts_ctx = s->ts_sess.ctx;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

!ts_ctx를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_ITEM_NOT_FOUND;까지의 동작과 ctx = ts_to_ta_ctx(ts_ctx);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ctx = ts_to_ta_ctx(ts_ctx);까지의 동작과 if (ctx->is_initializing)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

ctx->is_initializing를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BAD_STATE;까지의 동작과 if (tee_ta_try_set_busy(ctx)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

tee_ta_try_set_busy(ctx)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

!ctx->panicked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

res에 ts_ctx->ops->dump_mem_stats(&s->ts_sess)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 close/refcount cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

ctx->is_releasing에 true를 = 연산으로 반영해 tee_ta_ctx / tee_ta_session와 연결된 field를 갱신한다. 이후 open request 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

mutex_unlock(&tee_ta_mutex);까지의 동작과 destroy_context(ctx);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 500번 줄의 } else는 앞의 destroy_context(ctx); 결과를 받아 다음 mutex_unlock(&tee_ta_mutex);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

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

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

원본 509번 줄의 const TEE_Identity *clnt_id)는 앞의 struct tee_ta_session_head *open_sessions, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

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

struct tee_ta_session *sess = NULL;까지의 동작과 DMSG("id %"PRIu32, id);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

DMSG("id %"PRIu32, id);까지의 동작과 sess = tee_ta_get_session(id, true, open_sessions);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

sess = tee_ta_get_session(id, true, open_sessions);까지의 동작과 if (!sess) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

!sess를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

EMSG("session id %"PRIu32" to be removed is not found", id)를 호출한다. 반환 결과는 현재 줄 또는 다음 return TEE_ERROR_ITEM_NOT_FOUND;에서 검사되는 흐름이다. pointer 인자는 tee_ta_ctx / tee_ta_session의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 session reference 항목과 대조한다.

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

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

}까지의 동작과 if (check_client(sess, clnt_id) != TEE_SUCCESS) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

check_client(sess, clnt_id) != TEE_SUCCESS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

tee_ta_put_session(sess)를 호출한다. 반환 결과는 현재 줄 또는 다음 return TEE_ERROR_BAD_PARAMETERS; /* intentional generic error */에서 검사되는 흐름이다. pointer 인자는 tee_ta_ctx / tee_ta_session의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 session reference 항목과 대조한다.

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

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

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

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

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

close_session(sess, open_sessions);까지의 동작과 return TEE_SUCCESS;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

}까지의 동작과 static TEE_Result tee_ta_init_session_with_context(struct tee_ta_session *s,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 534번 줄의 const TEE_UUID *uuid)는 앞의 static TEE_Result tee_ta_init_session_with_context(struct tee_ta_session *s, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

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

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

struct tee_ta_ctx *ctx = NULL;까지의 동작과 while (true) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

!ctx를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_ITEM_NOT_FOUND;까지의 동작과 if (!ctx->is_initializing)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

!ctx->is_initializing를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

원본 주석이 'Context is still initializing, wait here until it's'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'fully initialized. Note that we're searching for the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'context again since it may have been removed while we'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

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

원본 주석이 'If the trusted service is not a single instance service (e.g. is'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'a multi-instance TA) it should be loaded as a new instance instead'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'of doing anything with this instance. So tell the caller that we'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'didn't find the TA it the caller will load a new instance.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

(ctx->flags & TA_FLAG_SINGLE_INSTANCE) == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

원본 주석이 'The trusted service is single instance, if it isn't multi session we'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'can't create another session unless its reference is zero'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

!(ctx->flags & TA_FLAG_MULTI_SESSION) && ctx->ref_count를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return TEE_ERROR_BUSY;까지의 동작과 DMSG("Re-open trusted service %pUl", (void *)&ctx->ts_ctx.uuid);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

DMSG("Re-open trusted service %pUl", (void *)&ctx->ts_ctx.uuid)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 tee_ta_ctx / tee_ta_session의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 session reference 항목과 대조한다.

DMSG("Re-open trusted service %pUl", (void *)&ctx->ts_ctx.uuid);까지의 동작과 ctx->ref_count++;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 572번 줄의 ctx->ref_count++;는 앞의 이전 block 경계 결과를 받아 다음 s->ts_sess.ctx = &ctx->ts_ctx;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건이 유지되는지 확인한다.

s->ts_sess.ctx에 &ctx->ts_ctx를 = 연산으로 반영해 tee_ta_ctx / tee_ta_session와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 s->ts_sess.handle_scall = s->ts_sess.ctx->ops->handle_scall;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

s->ts_sess.handle_scall에 s->ts_sess.ctx->ops->handle_scall를 = 연산으로 반영해 tee_ta_ctx / tee_ta_session와 연결된 field를 갱신한다. 이후 close/refcount cleanup 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

}까지의 동작과 static uint32_t new_session_id(struct tee_ta_session_head *open_sessions)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

uint32_t id = 1;까지의 동작과 last = TAILQ_LAST(open_sessions, tee_ta_session_head);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 session reference 상태가 아래 블록의 입력으로 사용되는 경계다.

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

last를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'session ID가 공개될 때 context와 session reference가 모두 유효하고 마지막 close 뒤에는 정책에 따라 context와 user mapping이 정확히 한 번 해제되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.