[GitHub] [incubator-teaclave-sgx-sdk] pedrotbtl commented on pull request #322: fix: add pointer null check on ecall function

[GitBox <gi...@apache.org>]

pedrotbtl commented on pull request #322:
URL: https://github.com/apache/incubator-teaclave-sgx-sdk/pull/322#issuecomment-792623627


   Hi @dingelish, it looks good to us! Can you just,please, correct Wojciech's handle: it is @w-woloszyn. Also, Professor Bill Roscoe is another contributor to our analysis, and to finding this issue as a consequence - he does not have a github handle, though. Just making sure everyone is acknowledged so we are all on the same page! :-D
   
   Many thanks for keeping us in the loop and for the fix!


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org



---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org