At https://github.com/OP-TEE/optee_linuxdriver/blob/master/core/tee_supp_com.c#L215, commFromUser.nbr_bf is completely user controlled and it could be greater than TEE_RPC_BUFFER_NUMBER, this potentially leads to for loop reading and writing to heap over bounds.