SOPC_Socket_Read possible NULL dereference
Description
SOPC_Socket_Read(Socket sock, uint8_t* data, uint32_t dataSize, uint32_t* readCount)
for platforms (windows
, linux
and freertos
) dereferences readCount
without checking that it is not NULL
.