pdclib: va_list 'ap' was opened but not closed by va_end()

microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

https://www.microsoft.com/en-us/research/project/komodo/

Other

102 stars 28 forks source link

pdclib: va_list 'ap' was opened but not closed by va_end() #8

Open jserv opened 6 years ago

0xabu commented 6 years ago

Similar to the last comment, I'm not inclined to take pdclib fixes in the Komodo repo, but I will keep this one open since we do build the stdarg code for printf. You might want to try submitting this (and the malloc fix) upstream at https://bitbucket.org/pdclib/pdclib if you haven't already.

jserv commented 6 years ago

@0xabu, Thanks for the advice. I'll submit changes to pdclib upstream.