CRETE Test Case Format

Each invocation of ‘crete_make_concolic’ registers another ‘element’ to the test case, in the order of invocation.

Format: [4 bytes: number of elements]

[4 bytes: element-0 name size][N bytes: element-0 name][4 bytes: element-0 data size][M bytes: element-0 data]

Element-1,element-2,…,element-n follow directly in the same pattern.

Example:

...
char buf1[8];
char buf2[16];

crete_make_concolic(&buf1[0], sizeof(buf1), "buf1");
crete_make_concolic(&buf2[0], sizeof(buf2), "buf2");
...

Will produce the following test case (big endian, assumes buf1, buf2 data is all 0s):

00 00 00 02 00 00 00 04 62 75 66 31 00 00 00 08 00 00 00 00 00 00 00 00 00 00 00 04 62 75 66 32 00 00 00 0f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00

Same test case with comments:

[number of elements: 00 00 00 02] [element-0 name size: 00 00 00 04] [element-0 name: 62 75 66 31] [element-0 data size: 00 00 00 08] [element-0 data: 00 00 00 00 00 00 00 00] [element-1 name size: 00 00 00 04] [element-1 name: 62 75 66 32] [element-1 data size: 00 00 00 0f] [element-1 data: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00]