MemCpyOperations ignore memcpy return type #1418
Description
The title says it all. The memcpy() system call has as return value the pointer to dest, but that is currently not modeled in the MemCpyOperation classes.
{{ message }}
The title says it all. The memcpy() system call has as return value the pointer to dest, but that is currently not modeled in the MemCpyOperation classes.