Goal
The TA is currently blindly copying the param[0] buffer before checking for the param type mismatch. While the code will appropriately abort out before processing the message, its possible for a junk address to be transmitted with the value type and have junk or have a memory out of bound error before the param type is checked.
As the minimum, due to the current design of our TA code, we should verify that param[0] is indeed of type memref.
Notes (Optional)
No response