1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
#include "test.h"
#define NUM_KINPUTS 256
#define OFFSETOF(TYPE, ELEMENT) ((size_t)&(((TYPE *)0)->ELEMENT))
char *str = "";
void test(buffer_t *buf, mark_t *cur) {
kinput_t weird_input[NUM_KINPUTS];
kinput_t input;
int result;
size_t i, j;
size_t offsetof_mod, offsetof_ch, offsetof_key;
offsetof_mod = OFFSETOF(kinput_t, mod);
offsetof_ch = OFFSETOF(kinput_t, ch);
offsetof_key = OFFSETOF(kinput_t, key);
// Fill weird_input values
for (i = 0; i < sizeof(kinput_t) * NUM_KINPUTS; i++) {
*(((uint8_t*)weird_input) + i) = (uint8_t)i;
}
// Ensure MLE_KINPUT_COPY *preserves* padding bytes
result = 0;
for (i = 0; i < NUM_KINPUTS; i++) {
MLE_KINPUT_COPY(input, weird_input[i]);
result |= memcmp(&input, &weird_input[i], sizeof(kinput_t));
}
ASSERT("cmp_kinput_assign", 0, result);
// Ensure MLE_KINPUT_SET *zeroes* padding bytes
result = 0;
for (i = 0; i < NUM_KINPUTS; i++) {
// Fill input with non-sense; 42 is a good choice
memset(&input, 42, sizeof(input));
// Set input to weird_input[i]
MLE_KINPUT_SET(input, weird_input[i].mod, weird_input[i].ch, weird_input[i].key);
// Ensure all fields are equal
result |= memcmp(&input.mod, &weird_input[i].mod, sizeof(input.mod));
result |= memcmp(&input.ch, &weird_input[i].ch, sizeof(input.ch));
result |= memcmp(&input.key, &weird_input[i].key, sizeof(input.key));
// Ensure bytes between mod and ch are zero
for (j = offsetof_mod + sizeof(input.mod); j < offsetof_ch; j++) {
result |= *(((uint8_t*)&input) + j) == 0x00 ? 0 : 1;
}
// Ensure bytes between ch and key are zero
for (j = offsetof_ch + sizeof(input.ch); j < offsetof_key; j++) {
result |= *(((uint8_t*)&input) + j) == 0x00 ? 0 : 1;
}
// Ensure bytes between key and end are zero
for (j = offsetof_key + sizeof(input.key); j < sizeof(kinput_t); j++) {
result |= *(((uint8_t*)&input) + j) == 0x00 ? 0 : 1;
}
}
ASSERT("cmp_kinput_set", 0, result);
}
|
