in the function tfm_spm_get_msg_from_handle the handle parameter should be checked whether it is an active handle from the handler pool.
Note that the owner of the handle is already checked.