X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump-spo2.c;h=f416bf696210382b4abb676d5f27893b58309265;hb=d30e5471341fc071b9636162dad5ddb97ae2b96f;hp=d50d861fa428260e4d99bdde812da3517da056c7;hpb=6fbf3ec9ce0176ef805a18086b4cfe66df9cfbba;p=pspp diff --git a/dump-spo2.c b/dump-spo2.c index d50d861fa4..f416bf6962 100644 --- a/dump-spo2.c +++ b/dump-spo2.c @@ -249,13 +249,27 @@ all_utf8(const char *p_, size_t len) return true; } +static char * +get_string2(void) +{ + int len = data[pos] + data[pos + 1] * 256; + char *s = xmemdup0(&data[pos + 2], len); + pos += 2 + len; + return s; +} + static char * get_string1(void) { int len = data[pos++]; - char *s = xmemdup0(&data[pos], len); - pos += len; - return s; + if (len == 0xff) + return get_string2(); + else + { + char *s = xmemdup0(&data[pos], len); + pos += len; + return s; + } } static void @@ -272,15 +286,6 @@ match_string1_assert(const char *exp, const char *where) } #define match_string1_assert(x) match_string1_assert(x, WHERE) -static char * -get_string2(void) -{ - int len = data[pos] + data[pos + 1] * 256; - char *s = xmemdup0(&data[pos + 2], len); - pos += 2 + len; - return s; -} - static void match_string2_assert(const char *exp, const char *where) { @@ -296,7 +301,7 @@ match_string2_assert(const char *exp, const char *where) #define match_string2_assert(x) match_string2_assert(x, WHERE) static char * -get_string(const char *where) +get_string4(const char *where) { if (1 /*data[pos + 1] == 0 && data[pos + 2] == 0 && data[pos + 3] == 0*/ @@ -316,7 +321,15 @@ get_string(const char *where) exit(1); } } -#define get_string() get_string(WHERE) +#define get_string4() get_string4(WHERE) + +static char * +get_padded_string(int len) +{ + char *s = xmemdup0(&data[pos], len); + pos += len; + return s; +} static char * get_string_be(const char *where) @@ -435,6 +448,16 @@ format_name (int format, char *buf) } } +static void +parse_format(void) +{ + int d = data[pos++]; + int w = data[pos++]; + int fmt = data[pos++]; + char buf[32]; + printf ("%s%d.%d", format_name(fmt, buf), w, d); +} + static void parse_heading(const char *name) { @@ -444,18 +467,36 @@ parse_heading(const char *name) } static void -match_zeros_assert(int count) +match_zeros_assert(int count, const char *where) { for (int i = 0; i < count; i++) if (data[pos + i]) { fprintf (stderr, - "%#x: expected %d zeros here but offset %d is %#"PRIx8"\n", - pos, count, i, data[pos + i]); + "%s: %#x: expected %d zeros here but offset %d is %#"PRIx8"\n", + where, pos, count, i, data[pos + i]); exit (1); } pos += count; } +#define match_zeros_assert(count) match_zeros_assert(count, WHERE) + +static void +put_safe(const char *s) +{ + while (*s) + { + if (*s == '\n') + printf ("\\n"); + else if (*s == '\r') + printf ("\\r"); + else if (*s < 0x20 || *s > 0x7e) + printf ("\\x%02"PRIx8, (uint8_t) *s); + else + putchar (*s); + s++; + } +} static void parse_DspString(void) @@ -467,7 +508,147 @@ parse_DspString(void) match_byte_assert(5); match_byte_assert(0); match_byte_assert(1); - printf ("DspString(\"%s\")\n", get_string1()); + printf ("DspString(\""); + put_safe(get_string1()); + printf("\")\n"); +} + +static void +match_DspString(void) +{ /* 05 80 */ + match_byte_assert(5); + match_byte_assert(0x80); + parse_DspString(); +} + +static void +match_DspSimpleText(void) +{ /* 03 80 */ + match_byte_assert(3); + match_byte_assert(0x80); + match_zeros_assert(5); + if (!match_byte(0x10)) + match_byte_assert(0); + match_zeros_assert(4); +} + +static void +match_NavTreeViewItem(void) +{ /* 07 80 */ + match_byte_assert(7); + match_byte_assert(0x80); + match_zeros_assert(1); + if (!match_byte(0) && !match_byte(7)) + match_byte_assert(8); + match_zeros_assert(3); + pos++; + match_byte_assert(0); + match_byte_assert(1); + match_zeros_assert(3); + if (!match_byte(0)) + match_byte_assert(1); + match_zeros_assert(5); + match_byte_assert(1); + match_zeros_assert(5); + + put_safe(get_string1()); + putc('\n', stdout); +} + +static void +parse_DspNumber(void) +{ + match_byte_assert(1); + printf("DspNumber("); + parse_format(); + match_byte_assert(0x80); + match_byte(2); + printf (" %f", get_double()); + printf (" \"%s\")\n", get_string1()); +} + +static void +match_DspNumber(void) +{ + match_byte_assert(0x2a); + match_byte_assert(0x80); + parse_DspNumber(); +} + +static void parse_flexible(void); + +static void +parse_DspCell(void) +{ + match_byte_assert(0); + match_DspSimpleText(); + parse_flexible(); /* DspString or DspNumber. */ +} + +static void +match_DspCell(void) +{ /* 27 80 */ + match_byte_assert(0x27); + match_byte_assert(0x80); + parse_DspCell(); +} + +static void +parse_PMModelItemInfo(void) +{ /* 54 80 */ + match_byte_assert(0); + pos += 1; /* Counter */ + match_zeros_assert(7); + pos += 3; + if (!match_byte(0)) + match_byte_assert(0xe); + match_byte_assert(0); +} + +static void +match_PMModelItemInfo(void) +{ /* 54 80 */ + match_byte_assert(0x54); + match_byte_assert(0x80); + parse_PMModelItemInfo(); + match_DspSimpleText(); + match_DspString(); +} + +static void +match_PMPivotItemTree(void) +{ /* 52 80 */ + match_byte_assert(0x52); + match_byte_assert(0x80); + match_byte_assert(0); + match_PMModelItemInfo(); +} + +static void +parse_flexible(void) +{ + if (data[pos] == 0xff && data[pos + 1] == 0xff) + { + match_u16_assert(0xffff); + match_u16_assert(0); + char *heading = get_string2(); + if (!strcmp(heading, "DspCell")) + parse_DspCell(); + else if (!strcmp(heading, "DspNumber")) + parse_DspNumber(); + else if (!strcmp(heading, "DspString")) + parse_DspString(); + else + assert(0); + } + else if (data[pos] == 0x2a && data[pos + 1] == 0x80) + match_DspNumber(); + else if (data[pos] == 0x27 && data[pos + 1] == 0x80) + match_DspCell(); + else if (data[pos] == 0x5 && data[pos + 1] == 0x80) + match_DspString(); + else + assert(0); } int @@ -543,7 +724,218 @@ main(int argc, char *argv[]) parse_DspString(); parse_heading("NavTreeViewItem"); - + match_byte_assert(0); + match_u32_assert(0); + match_byte_assert(2); + match_byte_assert(0); + match_byte_assert(1); + match_zeros_assert(9); + match_u32_assert(1); + assert (pos == 0xb0); + + pos += 0x28; + match_zeros_assert(5); + if (match_u32(8500)) + match_u32_assert(11000); + else + { + match_u32_assert(11000); + match_u32_assert(8500); + } + pos = 0x105; + match_string1_assert("(Continued)"); + match_byte_assert(1); + match_byte_assert(1); + match_zeros_assert(3); + get_string4(); /* page title */ + match_byte_assert(1); + match_byte_assert(1); + match_zeros_assert(3); + get_string4(); /* page number */ + match_byte_assert(0); + pos += 2; + match_u16_assert(2); + + parse_heading("NavLog"); + pos = 0x36b; + puts(get_padded_string(32)); + if (!match_u32(80)) + match_u32_assert(132); + match_zeros_assert(8); + match_u32_assert(1); + get_string4(); + match_byte_assert(0); + + parse_heading("NavHead"); + match_byte_assert(2); + match_zeros_assert(24); + match_u32_assert(1); + match_u32_assert(0); + match_DspSimpleText(); + match_DspString(); + match_NavTreeViewItem(); + match_zeros_assert(3); + + parse_heading("NavTitle"); + pos += 33; + match_DspSimpleText(); + match_DspString(); + match_NavTreeViewItem(); + + match_byte_assert(1); + match_byte_assert(1); + match_u32_assert(-19); + match_zeros_assert(12); + match_byte_assert(0xbc); + match_byte_assert(2); + match_zeros_assert(9); + match_byte_assert(0x22); + puts(get_padded_string(32)); + match_u32_assert(80); + match_zeros_assert(8); + match_u32_assert(1); + get_string4(); + match_byte_assert(0); + + parse_heading("NavNote"); + match_byte_assert(2); + match_zeros_assert(8); + match_u32_assert(24); + if (!match_u32(0)) + match_u32_assert(-40); + pos += 8; + match_u32_assert(2); + match_u32_assert(1); + match_DspSimpleText(); + match_DspString(); + match_NavTreeViewItem(); + match_byte_assert(1); + + parse_heading("PTPivotController"); + match_byte_assert(2); + pos += 8; + match_u32_assert(100); + match_u32_assert(100); + match_u32_assert(100); + match_u32_assert(100); + + parse_heading("PVPivotView"); + match_u32_assert(5); + match_byte_assert(0); + + parse_heading("PMPivotModel"); + match_byte_assert(3); + + parse_heading("NDimensional__DspCell"); + match_byte_assert(0); + match_u32_assert(1); + + parse_heading("IndexedCollection"); + match_byte_assert(0); + pos++; + match_zeros_assert(3); + match_byte_assert(1); + match_byte_assert(0); + + while (data[pos] != 1) + { + if (data[pos] == 0) + pos++; + else + parse_flexible(); + } + + match_byte_assert(1); + match_byte_assert(0); + puts(get_string1()); + if (!match_u32(0)) + match_u32_assert(2); + puts(get_string1()); + + match_byte_assert(0); + match_byte_assert(1); + match_byte_assert(0); + match_byte_assert(0); + match_byte_assert(0); + match_byte_assert(1); + match_byte_assert(0); + + exit (0); + + parse_heading("PMPivotItemTree"); + match_byte_assert(0); + + parse_heading("AbstractTreeBranch"); + match_byte_assert(0); + + parse_heading("PMModelItemInfo"); + parse_PMModelItemInfo(); + match_DspSimpleText(); + match_DspString(); + + match_u32_assert(7); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(6); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(2); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(2); + match_PMPivotItemTree(); + + match_u32_assert(0); + match_PMPivotItemTree(); + + match_u32_assert(0); + + /* ...unknown... */ + + while (data[pos] != 0xff || data[pos + 1] != 0xff) + pos++; + parse_heading("PVViewDimension"); + + int i; + for (i = 0; data[pos + i] != 0xff || data[pos + i + 1] != 0xff; i++) + ; + hex_dump(stdout, pos, i); printf ("%#x: end of successful parse\n", pos);