...
Code Block | ||
---|---|---|
| ||
struct buffer { size_t size; char bufferC[50]; }; /* ... */ void func(const struct buffer *buf) { /* Assumes sizeof( struct buffer) = sizeof( size_t) + 50 * sizeof( char) = 54 */ struct buffer *buf_cpy = (struct buffer *)malloc(54); if (buf_cpy == NULL) { /* Handle malloc() error */ } /* * with padding, sizeof(struct buffer) may be greater than 54, causing * some data to be written outside the bounds of the memory allocated */ memcpy(buf_cpy, buf, sizeof(struct buffer)); /* ... */ free(buf_cpy); } |
...
Accounting for structure padding prevents these types of errors.
Code Block | ||
---|---|---|
| ||
enum {buffer_size = 50}; struct buffer { size_t size; char bufferC[buffer_size]; }; /* ... */ void func(const struct buffer *buf) { struct buffer *buf_cpy = (struct buffer *)malloc(sizeof(struct buffer)); if (buf_cpy == NULL) { /* Handle malloc() error */ } /* ... */ memcpy(buf_cpy, buf, sizeof(struct buffer)); /* ... */ free(buf_cpy); } |
...