...
| 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); } |
...