26 Aug
2024
26 Aug
'24
4:41 p.m.
On 8/26/24 05:53, Kirill A. Shutemov wrote:
The mmio_read() function makes a TDVMCALL to retrieve MMIO data for an address from the VMM.
Sean noticed that mmio_read() unintentionally exposes the value of an initialized variable on the stack to the VMM.
Do not send the original value of *val to the VMM.
The key to this is that 'val' is only used for the _return_ value, right?