undname.c
Go to the documentation of this file.
1 /*
2  * Demangle VC++ symbols into C function prototypes
3  *
4  * Copyright 2000 Jon Griffiths
5  * 2004 Eric Pouech
6  *
7  * This library is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU Lesser General Public
9  * License as published by the Free Software Foundation; either
10  * version 2.1 of the License, or (at your option) any later version.
11  *
12  * This library is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15  * Lesser General Public License for more details.
16  *
17  * You should have received a copy of the GNU Lesser General Public
18  * License along with this library; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
20  */
21 
22 #ifdef UPSTREAM_CODE
23 #include "config.h"
24 #include "wine/port.h"
25 
26 #include <assert.h>
27 #include <stdio.h>
28 #include <stdlib.h>
29 #include "msvcrt.h"
30 
31 #include "wine/debug.h"
32 
33 WINE_DEFAULT_DEBUG_CHANNEL(msvcrt);
34 #else
35 #include <assert.h>
36 #include <ctype.h>
37 #include <stdarg.h>
38 #include <stdio.h>
39 #include <stdlib.h>
40 #include <string.h>
41 
42 #define TRACE(...)
43 #define WARN(...)
44 #define ERR(...)
45 #define CDECL
46 typedef int BOOL;
47 const BOOL FALSE = 0;
48 const BOOL TRUE = 1;
49 typedef char CHAR;
50 typedef void* (*malloc_func_t)(size_t);
51 typedef void (*free_func_t)(void*);
52 
53 char* lstrcpynA(char* out, const char* in, int n) {
54  exit(1); /* not executed in demumbler */
55 }
56 
57 /* __unDName/__unDNameEx flags */
58 #define UNDNAME_COMPLETE (0x0000)
59 #define UNDNAME_NO_LEADING_UNDERSCORES (0x0001) /* Don't show __ in calling convention */
60 #define UNDNAME_NO_MS_KEYWORDS (0x0002) /* Don't show calling convention at all */
61 #define UNDNAME_NO_FUNCTION_RETURNS (0x0004) /* Don't show function/method return value */
62 #define UNDNAME_NO_ALLOCATION_MODEL (0x0008)
63 #define UNDNAME_NO_ALLOCATION_LANGUAGE (0x0010)
64 #define UNDNAME_NO_MS_THISTYPE (0x0020)
65 #define UNDNAME_NO_CV_THISTYPE (0x0040)
66 #define UNDNAME_NO_THISTYPE (0x0060)
67 #define UNDNAME_NO_ACCESS_SPECIFIERS (0x0080) /* Don't show access specifier (public/protected/private) */
68 #define UNDNAME_NO_THROW_SIGNATURES (0x0100)
69 #define UNDNAME_NO_MEMBER_TYPE (0x0200) /* Don't show static/virtual specifier */
70 #define UNDNAME_NO_RETURN_UDT_MODEL (0x0400)
71 #define UNDNAME_32_BIT_DECODE (0x0800)
72 #define UNDNAME_NAME_ONLY (0x1000) /* Only report the variable/method name */
73 #define UNDNAME_NO_ARGUMENTS (0x2000) /* Don't show method arguments */
74 #define UNDNAME_NO_SPECIAL_SYMS (0x4000)
75 #define UNDNAME_NO_COMPLEX_TYPE (0x8000)
76 #endif
77 
78 /* TODO:
79  * - document a bit (grammar + functions)
80  * - back-port this new code into tools/winedump/msmangle.c
81  */
82 
83 /* How data types modifiers are stored:
84  * M (in the following definitions) is defined for
85  * 'A', 'B', 'C' and 'D' as follows
86  * {<A>}: ""
87  * {<B>}: "const "
88  * {<C>}: "volatile "
89  * {<D>}: "const volatile "
90  *
91  * in arguments:
92  * P<M>x {<M>}x*
93  * Q<M>x {<M>}x* const
94  * A<M>x {<M>}x&
95  * in data fields:
96  * same as for arguments and also the following
97  * ?<M>x {<M>}x
98  *
99  */
100 
101 struct array
102 {
103  unsigned start; /* first valid reference in array */
104  unsigned num; /* total number of used elts */
105  unsigned max;
106  unsigned alloc;
107  char** elts;
108 };
109 
110 /* Structure holding a parsed symbol */
112 {
113  unsigned flags; /* the UNDNAME_ flags used for demangling */
114  malloc_func_t mem_alloc_ptr; /* internal allocator */
115  free_func_t mem_free_ptr; /* internal deallocator */
116 
117  const char* current; /* pointer in input (mangled) string */
118  char* result; /* demangled string */
119 
120  struct array names; /* array of names for back reference */
121  struct array stack; /* stack of parsed strings */
122 
123  void* alloc_list; /* linked list of allocated blocks */
124  unsigned avail_in_first; /* number of available bytes in head block */
125 };
126 
127 /* Type for parsing mangled types */
129 {
130  const char* left;
131  const char* right;
132 };
133 
134 static BOOL symbol_demangle(struct parsed_symbol* sym);
135 
136 /******************************************************************
137  * und_alloc
138  *
139  * Internal allocator. Uses a simple linked list of large blocks
140  * where we use a poor-man allocator. It's fast, and since all
141  * allocation is pool, memory management is easy (esp. freeing).
142  */
143 static void* und_alloc(struct parsed_symbol* sym, unsigned int len)
144 {
145  void* ptr;
146 
147 #define BLOCK_SIZE 1024
148 #define AVAIL_SIZE (1024 - sizeof(void*))
149 
150  if (len > AVAIL_SIZE)
151  {
152  /* allocate a specific block */
153  ptr = sym->mem_alloc_ptr(sizeof(void*) + len);
154  if (!ptr) return NULL;
155  *(void**)ptr = sym->alloc_list;
156  sym->alloc_list = ptr;
157  sym->avail_in_first = 0;
158  ptr = (char*)sym->alloc_list + sizeof(void*);
159  }
160  else
161  {
162  if (len > sym->avail_in_first)
163  {
164  /* add a new block */
165  ptr = sym->mem_alloc_ptr(BLOCK_SIZE);
166  if (!ptr) return NULL;
167  *(void**)ptr = sym->alloc_list;
168  sym->alloc_list = ptr;
169  sym->avail_in_first = AVAIL_SIZE;
170  }
171  /* grab memory from head block */
172  ptr = (char*)sym->alloc_list + BLOCK_SIZE - sym->avail_in_first;
173  sym->avail_in_first -= len;
174  }
175  return ptr;
176 #undef BLOCK_SIZE
177 #undef AVAIL_SIZE
178 }
179 
180 /******************************************************************
181  * und_free
182  * Frees all the blocks in the list of large blocks allocated by
183  * und_alloc.
184  */
185 static void und_free_all(struct parsed_symbol* sym)
186 {
187  void* next;
188 
189  while (sym->alloc_list)
190  {
191  next = *(void**)sym->alloc_list;
192  if(sym->mem_free_ptr) sym->mem_free_ptr(sym->alloc_list);
193  sym->alloc_list = next;
194  }
195  sym->avail_in_first = 0;
196 }
197 
198 /******************************************************************
199  * str_array_init
200  * Initialises an array of strings
201  */
202 static void str_array_init(struct array* a)
203 {
204  a->start = a->num = a->max = a->alloc = 0;
205  a->elts = NULL;
206 }
207 
208 /******************************************************************
209  * str_array_push
210  * Adding a new string to an array
211  */
212 static BOOL str_array_push(struct parsed_symbol* sym, const char* ptr, int len,
213  struct array* a)
214 {
215  char** new;
216 
217  assert(ptr);
218  assert(a);
219 
220  if (!a->alloc)
221  {
222  new = und_alloc(sym, (a->alloc = 32) * sizeof(a->elts[0]));
223  if (!new) return FALSE;
224  a->elts = new;
225  }
226  else if (a->max >= a->alloc)
227  {
228  new = und_alloc(sym, (a->alloc * 2) * sizeof(a->elts[0]));
229  if (!new) return FALSE;
230  memcpy(new, a->elts, a->alloc * sizeof(a->elts[0]));
231  a->alloc *= 2;
232  a->elts = new;
233  }
234  if (len == -1) len = strlen(ptr);
235  a->elts[a->num] = und_alloc(sym, len + 1);
236  assert(a->elts[a->num]);
237  memcpy(a->elts[a->num], ptr, len);
238  a->elts[a->num][len] = '\0';
239  if (++a->num >= a->max) a->max = a->num;
240  {
241  int i;
242  char c;
243 
244  for (i = a->max - 1; i >= 0; i--)
245  {
246  c = '>';
247  if (i < a->start) c = '-';
248  else if (i >= a->num) c = '}';
249  TRACE("%p\t%d%c %s\n", a, i, c, a->elts[i]);
250  }
251  }
252 
253  return TRUE;
254 }
255 
256 /******************************************************************
257  * str_array_get_ref
258  * Extracts a reference from an existing array (doing proper type
259  * checking)
260  */
261 static char* str_array_get_ref(struct array* cref, unsigned idx)
262 {
263  assert(cref);
264  if (cref->start + idx >= cref->max)
265  {
266  WARN("Out of bounds: %p %d + %d >= %d\n",
267  cref, cref->start, idx, cref->max);
268  return NULL;
269  }
270  TRACE("Returning %p[%d] => %s\n",
271  cref, idx, cref->elts[cref->start + idx]);
272  return cref->elts[cref->start + idx];
273 }
274 
275 /******************************************************************
276  * str_printf
277  * Helper for printf type of command (only %s and %c are implemented)
278  * while dynamically allocating the buffer
279  */
280 static char* str_printf(struct parsed_symbol* sym, const char* format, ...)
281 {
282  va_list args;
283  unsigned int len = 1, i, sz;
284  char* tmp;
285  char* p;
286  char* t;
287 
288  va_start(args, format);
289  for (i = 0; format[i]; i++)
290  {
291  if (format[i] == '%')
292  {
293  switch (format[++i])
294  {
295  case 's': t = va_arg(args, char*); if (t) len += strlen(t); break;
296  case 'c': (void)va_arg(args, int); len++; break;
297  default: i--; /* fall through */
298  case '%': len++; break;
299  }
300  }
301  else len++;
302  }
303  va_end(args);
304  if (!(tmp = und_alloc(sym, len))) return NULL;
305  va_start(args, format);
306  for (p = tmp, i = 0; format[i]; i++)
307  {
308  if (format[i] == '%')
309  {
310  switch (format[++i])
311  {
312  case 's':
313  t = va_arg(args, char*);
314  if (t)
315  {
316  sz = strlen(t);
317  memcpy(p, t, sz);
318  p += sz;
319  }
320  break;
321  case 'c':
322  *p++ = (char)va_arg(args, int);
323  break;
324  default: i--; /* fall through */
325  case '%': *p++ = '%'; break;
326  }
327  }
328  else *p++ = format[i];
329  }
330  va_end(args);
331  *p = '\0';
332  return tmp;
333 }
334 
335 /* forward declaration */
336 static BOOL demangle_datatype(struct parsed_symbol* sym, struct datatype_t* ct,
337  struct array* pmt, BOOL in_args);
338 
339 static const char* get_number(struct parsed_symbol* sym)
340 {
341  char* ptr;
342  BOOL sgn = FALSE;
343 
344  if (*sym->current == '?')
345  {
346  sgn = TRUE;
347  sym->current++;
348  }
349  if (*sym->current >= '0' && *sym->current <= '8')
350  {
351  ptr = und_alloc(sym, 3);
352  if (sgn) ptr[0] = '-';
353  ptr[sgn ? 1 : 0] = *sym->current + 1;
354  ptr[sgn ? 2 : 1] = '\0';
355  sym->current++;
356  }
357  else if (*sym->current == '9')
358  {
359  ptr = und_alloc(sym, 4);
360  if (sgn) ptr[0] = '-';
361  ptr[sgn ? 1 : 0] = '1';
362  ptr[sgn ? 2 : 1] = '0';
363  ptr[sgn ? 3 : 2] = '\0';
364  sym->current++;
365  }
366  else if (*sym->current >= 'A' && *sym->current <= 'P')
367  {
368  int ret = 0;
369 
370  while (*sym->current >= 'A' && *sym->current <= 'P')
371  {
372  ret *= 16;
373  ret += *sym->current++ - 'A';
374  }
375  if (*sym->current != '@') return NULL;
376 
377  ptr = und_alloc(sym, 17);
378  sprintf(ptr, "%s%u", sgn ? "-" : "", ret);
379  sym->current++;
380  }
381  else return NULL;
382  return ptr;
383 }
384 
385 /******************************************************************
386  * get_args
387  * Parses a list of function/method arguments, creates a string corresponding
388  * to the arguments' list.
389  */
390 static char* get_args(struct parsed_symbol* sym, struct array* pmt_ref, BOOL z_term,
391  char open_char, char close_char)
392 
393 {
394  struct datatype_t ct;
395  struct array arg_collect;
396  char* args_str = NULL;
397  char* last;
398  unsigned int i;
399 
400  str_array_init(&arg_collect);
401 
402  /* Now come the function arguments */
403  while (*sym->current)
404  {
405  /* Decode each data type and append it to the argument list */
406  if (*sym->current == '@')
407  {
408  sym->current++;
409  break;
410  }
411  if (!demangle_datatype(sym, &ct, pmt_ref, TRUE))
412  return NULL;
413  /* 'void' terminates an argument list in a function */
414  if (z_term && !strcmp(ct.left, "void")) break;
415  if (!str_array_push(sym, str_printf(sym, "%s%s", ct.left, ct.right), -1,
416  &arg_collect))
417  return NULL;
418  if (!strcmp(ct.left, "...")) break;
419  }
420  /* Functions are always terminated by 'Z'. If we made it this far and
421  * don't find it, we have incorrectly identified a data type.
422  */
423  if (z_term && *sym->current++ != 'Z') return NULL;
424 
425  if (arg_collect.num == 0 ||
426  (arg_collect.num == 1 && !strcmp(arg_collect.elts[0], "void")))
427  return str_printf(sym, "%cvoid%c", open_char, close_char);
428  for (i = 1; i < arg_collect.num; i++)
429  {
430  args_str = str_printf(sym, "%s,%s", args_str, arg_collect.elts[i]);
431  }
432 
433  last = args_str ? args_str : arg_collect.elts[0];
434  if (close_char == '>' && last[strlen(last) - 1] == '>')
435  args_str = str_printf(sym, "%c%s%s %c",
436  open_char, arg_collect.elts[0], args_str, close_char);
437  else
438  args_str = str_printf(sym, "%c%s%s%c",
439  open_char, arg_collect.elts[0], args_str, close_char);
440 
441  return args_str;
442 }
443 
444 /******************************************************************
445  * get_modifier
446  * Parses the type modifier. Always returns static strings.
447  */
448 static BOOL get_modifier(struct parsed_symbol *sym, const char **ret, const char **ptr_modif)
449 {
450  *ptr_modif = NULL;
451  if (*sym->current == 'E')
452  {
453  if (!(sym->flags & UNDNAME_NO_MS_KEYWORDS))
454  {
455  *ptr_modif = "__ptr64";
457  *ptr_modif = *ptr_modif + 2;
458  }
459  sym->current++;
460  }
461  switch (*sym->current++)
462  {
463  case 'A': *ret = NULL; break;
464  case 'B': *ret = "const"; break;
465  case 'C': *ret = "volatile"; break;
466  case 'D': *ret = "const volatile"; break;
467  default: return FALSE;
468  }
469  return TRUE;
470 }
471 
472 static BOOL get_modified_type(struct datatype_t *ct, struct parsed_symbol* sym,
473  struct array *pmt_ref, char modif, BOOL in_args)
474 {
475  const char* modifier;
476  const char* str_modif;
477  const char *ptr_modif = "";
478 
479  if (*sym->current == 'E')
480  {
481  if (!(sym->flags & UNDNAME_NO_MS_KEYWORDS))
482  {
484  ptr_modif = " ptr64";
485  else
486  ptr_modif = " __ptr64";
487  }
488  sym->current++;
489  }
490 
491  switch (modif)
492  {
493  case 'A': str_modif = str_printf(sym, " &%s", ptr_modif); break;
494  case 'B': str_modif = str_printf(sym, " &%s volatile", ptr_modif); break;
495  case 'P': str_modif = str_printf(sym, " *%s", ptr_modif); break;
496  case 'Q': str_modif = str_printf(sym, " *%s const", ptr_modif); break;
497  case 'R': str_modif = str_printf(sym, " *%s volatile", ptr_modif); break;
498  case 'S': str_modif = str_printf(sym, " *%s const volatile", ptr_modif); break;
499  case '?': str_modif = ""; break;
500  default: return FALSE;
501  }
502 
503  if (get_modifier(sym, &modifier, &ptr_modif))
504  {
505  unsigned mark = sym->stack.num;
506  struct datatype_t sub_ct;
507 
508  /* multidimensional arrays */
509  if (*sym->current == 'Y')
510  {
511  const char* n1;
512  int num;
513 
514  sym->current++;
515  if (!(n1 = get_number(sym))) return FALSE;
516  num = atoi(n1);
517 
518  if (str_modif[0] == ' ' && !modifier)
519  str_modif++;
520 
521  if (modifier)
522  {
523  str_modif = str_printf(sym, " (%s%s)", modifier, str_modif);
524  modifier = NULL;
525  }
526  else
527  str_modif = str_printf(sym, " (%s)", str_modif);
528 
529  while (num--)
530  str_modif = str_printf(sym, "%s[%s]", str_modif, get_number(sym));
531  }
532 
533  /* Recurse to get the referred-to type */
534  if (!demangle_datatype(sym, &sub_ct, pmt_ref, FALSE))
535  return FALSE;
536  if (modifier)
537  ct->left = str_printf(sym, "%s %s%s", sub_ct.left, modifier, str_modif );
538  else
539  {
540  /* don't insert a space between duplicate '*' */
541  if (!in_args && str_modif[0] && str_modif[1] == '*' && sub_ct.left[strlen(sub_ct.left)-1] == '*')
542  str_modif++;
543  ct->left = str_printf(sym, "%s%s", sub_ct.left, str_modif );
544  }
545  ct->right = sub_ct.right;
546  sym->stack.num = mark;
547  }
548  return TRUE;
549 }
550 
551 /******************************************************************
552  * get_literal_string
553  * Gets the literal name from the current position in the mangled
554  * symbol to the first '@' character. It pushes the parsed name to
555  * the symbol names stack and returns a pointer to it or NULL in
556  * case of an error.
557  */
558 static char* get_literal_string(struct parsed_symbol* sym)
559 {
560  const char *ptr = sym->current;
561 
562  do {
563  if (!((*sym->current >= 'A' && *sym->current <= 'Z') ||
564  (*sym->current >= 'a' && *sym->current <= 'z') ||
565  (*sym->current >= '0' && *sym->current <= '9') ||
566  *sym->current == '_' || *sym->current == '$')) {
567  TRACE("Failed at '%c' in %s\n", *sym->current, ptr);
568  return NULL;
569  }
570  } while (*++sym->current != '@');
571  sym->current++;
572  if (!str_array_push(sym, ptr, sym->current - 1 - ptr, &sym->names))
573  return NULL;
574 
575  return str_array_get_ref(&sym->names, sym->names.num - sym->names.start - 1);
576 }
577 
578 /******************************************************************
579  * get_template_name
580  * Parses a name with a template argument list and returns it as
581  * a string.
582  * In a template argument list the back reference to the names
583  * table is separately created. '0' points to the class component
584  * name with the template arguments. We use the same stack array
585  * to hold the names but save/restore the stack state before/after
586  * parsing the template argument list.
587  */
588 static char* get_template_name(struct parsed_symbol* sym)
589 {
590  char *name, *args;
591  unsigned num_mark = sym->names.num;
592  unsigned start_mark = sym->names.start;
593  unsigned stack_mark = sym->stack.num;
594  struct array array_pmt;
595 
596  sym->names.start = sym->names.num;
597  if (!(name = get_literal_string(sym))) {
598  sym->names.start = start_mark;
599  return NULL;
600  }
601  str_array_init(&array_pmt);
602  args = get_args(sym, &array_pmt, FALSE, '<', '>');
603  if (args != NULL)
604  name = str_printf(sym, "%s%s", name, args);
605  sym->names.num = num_mark;
606  sym->names.start = start_mark;
607  sym->stack.num = stack_mark;
608  return name;
609 }
610 
611 /******************************************************************
612  * get_class
613  * Parses class as a list of parent-classes, terminated by '@' and stores the
614  * result in 'a' array. Each parent-classes, as well as the inner element
615  * (either field/method name or class name), are represented in the mangled
616  * name by a literal name ([a-zA-Z0-9_]+ terminated by '@') or a back reference
617  * ([0-9]) or a name with template arguments ('?$' literal name followed by the
618  * template argument list). The class name components appear in the reverse
619  * order in the mangled name, e.g aaa@bbb@ccc@@ will be demangled to
620  * ccc::bbb::aaa
621  * For each of these class name components a string will be allocated in the
622  * array.
623  */
624 static BOOL get_class(struct parsed_symbol* sym)
625 {
626  const char* name = NULL;
627 
628  while (*sym->current != '@')
629  {
630  switch (*sym->current)
631  {
632  case '\0': return FALSE;
633 
634  case '0': case '1': case '2': case '3':
635  case '4': case '5': case '6': case '7':
636  case '8': case '9':
637  name = str_array_get_ref(&sym->names, *sym->current++ - '0');
638  break;
639  case '?':
640  switch (*++sym->current)
641  {
642  case '$':
643  sym->current++;
644  if ((name = get_template_name(sym)) &&
645  !str_array_push(sym, name, -1, &sym->names))
646  return FALSE;
647  break;
648  case '?':
649  {
650  struct array stack = sym->stack;
651  unsigned int start = sym->names.start;
652  unsigned int num = sym->names.num;
653 
654  str_array_init( &sym->stack );
655  if (symbol_demangle( sym )) name = str_printf( sym, "`%s'", sym->result );
656  sym->names.start = start;
657  sym->names.num = num;
658  sym->stack = stack;
659  }
660  break;
661  default:
662  if (!(name = get_number( sym ))) return FALSE;
663  name = str_printf( sym, "`%s'", name );
664  break;
665  }
666  break;
667  default:
668  name = get_literal_string(sym);
669  break;
670  }
671  if (!name || !str_array_push(sym, name, -1, &sym->stack))
672  return FALSE;
673  }
674  sym->current++;
675  return TRUE;
676 }
677 
678 /******************************************************************
679  * get_class_string
680  * From an array collected by get_class in sym->stack, constructs the
681  * corresponding (allocated) string
682  */
683 static char* get_class_string(struct parsed_symbol* sym, int start)
684 {
685  int i;
686  unsigned int len, sz;
687  char* ret;
688  struct array *a = &sym->stack;
689 
690  for (len = 0, i = start; i < a->num; i++)
691  {
692  assert(a->elts[i]);
693  len += 2 + strlen(a->elts[i]);
694  }
695  if (!(ret = und_alloc(sym, len - 1))) return NULL;
696  for (len = 0, i = a->num - 1; i >= start; i--)
697  {
698  sz = strlen(a->elts[i]);
699  memcpy(ret + len, a->elts[i], sz);
700  len += sz;
701  if (i > start)
702  {
703  ret[len++] = ':';
704  ret[len++] = ':';
705  }
706  }
707  ret[len] = '\0';
708  return ret;
709 }
710 
711 /******************************************************************
712  * get_class_name
713  * Wrapper around get_class and get_class_string.
714  */
715 static char* get_class_name(struct parsed_symbol* sym)
716 {
717  unsigned mark = sym->stack.num;
718  char* s = NULL;
719 
720  if (get_class(sym))
721  s = get_class_string(sym, mark);
722  sym->stack.num = mark;
723  return s;
724 }
725 
726 /******************************************************************
727  * get_calling_convention
728  * Returns a static string corresponding to the calling convention described
729  * by char 'ch'. Sets export to TRUE iff the calling convention is exported.
730  */
731 static BOOL get_calling_convention(char ch, const char** call_conv,
732  const char** exported, unsigned flags)
733 {
734  *call_conv = *exported = NULL;
735 
737  {
739  {
740  if (((ch - 'A') % 2) == 1) *exported = "dll_export ";
741  switch (ch)
742  {
743  case 'A': case 'B': *call_conv = "cdecl"; break;
744  case 'C': case 'D': *call_conv = "pascal"; break;
745  case 'E': case 'F': *call_conv = "thiscall"; break;
746  case 'G': case 'H': *call_conv = "stdcall"; break;
747  case 'I': case 'J': *call_conv = "fastcall"; break;
748  case 'K': case 'L': break;
749  case 'M': *call_conv = "clrcall"; break;
750  default: ERR("Unknown calling convention %c\n", ch); return FALSE;
751  }
752  }
753  else
754  {
755  if (((ch - 'A') % 2) == 1) *exported = "__dll_export ";
756  switch (ch)
757  {
758  case 'A': case 'B': *call_conv = "__cdecl"; break;
759  case 'C': case 'D': *call_conv = "__pascal"; break;
760  case 'E': case 'F': *call_conv = "__thiscall"; break;
761  case 'G': case 'H': *call_conv = "__stdcall"; break;
762  case 'I': case 'J': *call_conv = "__fastcall"; break;
763  case 'K': case 'L': break;
764  case 'M': *call_conv = "__clrcall"; break;
765  default: ERR("Unknown calling convention %c\n", ch); return FALSE;
766  }
767  }
768  }
769  return TRUE;
770 }
771 
772 /*******************************************************************
773  * get_simple_type
774  * Return a string containing an allocated string for a simple data type
775  */
776 static const char* get_simple_type(char c)
777 {
778  const char* type_string;
779 
780  switch (c)
781  {
782  case 'C': type_string = "signed char"; break;
783  case 'D': type_string = "char"; break;
784  case 'E': type_string = "unsigned char"; break;
785  case 'F': type_string = "short"; break;
786  case 'G': type_string = "unsigned short"; break;
787  case 'H': type_string = "int"; break;
788  case 'I': type_string = "unsigned int"; break;
789  case 'J': type_string = "long"; break;
790  case 'K': type_string = "unsigned long"; break;
791  case 'M': type_string = "float"; break;
792  case 'N': type_string = "double"; break;
793  case 'O': type_string = "long double"; break;
794  case 'X': type_string = "void"; break;
795  case 'Z': type_string = "..."; break;
796  default: type_string = NULL; break;
797  }
798  return type_string;
799 }
800 
801 /*******************************************************************
802  * get_extended_type
803  * Return a string containing an allocated string for a simple data type
804  */
805 static const char* get_extended_type(char c)
806 {
807  const char* type_string;
808 
809  switch (c)
810  {
811  case 'D': type_string = "__int8"; break;
812  case 'E': type_string = "unsigned __int8"; break;
813  case 'F': type_string = "__int16"; break;
814  case 'G': type_string = "unsigned __int16"; break;
815  case 'H': type_string = "__int32"; break;
816  case 'I': type_string = "unsigned __int32"; break;
817  case 'J': type_string = "__int64"; break;
818  case 'K': type_string = "unsigned __int64"; break;
819  case 'L': type_string = "__int128"; break;
820  case 'M': type_string = "unsigned __int128"; break;
821  case 'N': type_string = "bool"; break;
822  case 'W': type_string = "wchar_t"; break;
823  default: type_string = NULL; break;
824  }
825  return type_string;
826 }
827 
828 /*******************************************************************
829  * demangle_datatype
830  *
831  * Attempt to demangle a C++ data type, which may be datatype.
832  * a datatype type is made up of a number of simple types. e.g:
833  * char** = (pointer to (pointer to (char)))
834  */
835 static BOOL demangle_datatype(struct parsed_symbol* sym, struct datatype_t* ct,
836  struct array* pmt_ref, BOOL in_args)
837 {
838  char dt;
839  BOOL add_pmt = TRUE;
840 
841  assert(ct);
842  ct->left = ct->right = NULL;
843 
844  switch (dt = *sym->current++)
845  {
846  case '_':
847  /* MS type: __int8,__int16 etc */
848  ct->left = get_extended_type(*sym->current++);
849  break;
850  case 'C': case 'D': case 'E': case 'F': case 'G':
851  case 'H': case 'I': case 'J': case 'K': case 'M':
852  case 'N': case 'O': case 'X': case 'Z':
853  /* Simple data types */
854  ct->left = get_simple_type(dt);
855  add_pmt = FALSE;
856  break;
857  case 'T': /* union */
858  case 'U': /* struct */
859  case 'V': /* class */
860  case 'Y': /* cointerface */
861  /* Class/struct/union/cointerface */
862  {
863  const char* struct_name = NULL;
864  const char* type_name = NULL;
865 
866  if (!(struct_name = get_class_name(sym)))
867  goto done;
868  if (!(sym->flags & UNDNAME_NO_COMPLEX_TYPE))
869  {
870  switch (dt)
871  {
872  case 'T': type_name = "union "; break;
873  case 'U': type_name = "struct "; break;
874  case 'V': type_name = "class "; break;
875  case 'Y': type_name = "cointerface "; break;
876  }
877  }
878  ct->left = str_printf(sym, "%s%s", type_name, struct_name);
879  }
880  break;
881  case '?':
882  /* not all the time is seems */
883  if (in_args)
884  {
885  const char* ptr;
886  if (!(ptr = get_number(sym))) goto done;
887  ct->left = str_printf(sym, "`template-parameter-%s'", ptr);
888  }
889  else
890  {
891  if (!get_modified_type(ct, sym, pmt_ref, '?', in_args)) goto done;
892  }
893  break;
894  case 'A': /* reference */
895  case 'B': /* volatile reference */
896  if (!get_modified_type(ct, sym, pmt_ref, dt, in_args)) goto done;
897  break;
898  case 'Q': /* const pointer */
899  case 'R': /* volatile pointer */
900  case 'S': /* const volatile pointer */
901  if (!get_modified_type(ct, sym, pmt_ref, in_args ? dt : 'P', in_args)) goto done;
902  break;
903  case 'P': /* Pointer */
904  if (isdigit(*sym->current))
905  {
906  /* FIXME: P6 = Function pointer, others who knows.. */
907  if (*sym->current++ == '6')
908  {
909  char* args = NULL;
910  const char* call_conv;
911  const char* exported;
912  struct datatype_t sub_ct;
913  unsigned mark = sym->stack.num;
914 
915  if (!get_calling_convention(*sym->current++,
916  &call_conv, &exported,
918  !demangle_datatype(sym, &sub_ct, pmt_ref, FALSE))
919  goto done;
920 
921  args = get_args(sym, pmt_ref, TRUE, '(', ')');
922  if (!args) goto done;
923  sym->stack.num = mark;
924 
925  ct->left = str_printf(sym, "%s%s (%s*",
926  sub_ct.left, sub_ct.right, call_conv);
927  ct->right = str_printf(sym, ")%s", args);
928  }
929  else goto done;
930  }
931  else if (!get_modified_type(ct, sym, pmt_ref, 'P', in_args)) goto done;
932  break;
933  case 'W':
934  if (*sym->current == '4')
935  {
936  char* enum_name;
937  sym->current++;
938  if (!(enum_name = get_class_name(sym)))
939  goto done;
940  if (sym->flags & UNDNAME_NO_COMPLEX_TYPE)
941  ct->left = enum_name;
942  else
943  ct->left = str_printf(sym, "enum %s", enum_name);
944  }
945  else goto done;
946  break;
947  case '0': case '1': case '2': case '3': case '4':
948  case '5': case '6': case '7': case '8': case '9':
949  /* Referring back to previously parsed type */
950  /* left and right are pushed as two separate strings */
951  ct->left = str_array_get_ref(pmt_ref, (dt - '0') * 2);
952  ct->right = str_array_get_ref(pmt_ref, (dt - '0') * 2 + 1);
953  if (!ct->left) goto done;
954  add_pmt = FALSE;
955  break;
956  case '$':
957  switch (*sym->current++)
958  {
959  case '0':
960  if (!(ct->left = get_number(sym))) goto done;
961  break;
962  case 'D':
963  {
964  const char* ptr;
965  if (!(ptr = get_number(sym))) goto done;
966  ct->left = str_printf(sym, "`template-parameter%s'", ptr);
967  }
968  break;
969  case 'F':
970  {
971  const char* p1;
972  const char* p2;
973  if (!(p1 = get_number(sym))) goto done;
974  if (!(p2 = get_number(sym))) goto done;
975  ct->left = str_printf(sym, "{%s,%s}", p1, p2);
976  }
977  break;
978  case 'G':
979  {
980  const char* p1;
981  const char* p2;
982  const char* p3;
983  if (!(p1 = get_number(sym))) goto done;
984  if (!(p2 = get_number(sym))) goto done;
985  if (!(p3 = get_number(sym))) goto done;
986  ct->left = str_printf(sym, "{%s,%s,%s}", p1, p2, p3);
987  }
988  break;
989  case 'Q':
990  {
991  const char* ptr;
992  if (!(ptr = get_number(sym))) goto done;
993  ct->left = str_printf(sym, "`non-type-template-parameter%s'", ptr);
994  }
995  break;
996  case '$':
997  if (*sym->current == 'C')
998  {
999  const char *ptr, *ptr_modif;
1000 
1001  sym->current++;
1002  if (!get_modifier(sym, &ptr, &ptr_modif)) goto done;
1003  if (!demangle_datatype(sym, ct, pmt_ref, in_args)) goto done;
1004  ct->left = str_printf(sym, "%s %s", ct->left, ptr);
1005  }
1006  break;
1007  }
1008  break;
1009  default :
1010  ERR("Unknown type %c\n", dt);
1011  break;
1012  }
1013  if (add_pmt && pmt_ref && in_args)
1014  {
1015  /* left and right are pushed as two separate strings */
1016  if (!str_array_push(sym, ct->left ? ct->left : "", -1, pmt_ref) ||
1017  !str_array_push(sym, ct->right ? ct->right : "", -1, pmt_ref))
1018  return FALSE;
1019  }
1020 done:
1021 
1022  return ct->left != NULL;
1023 }
1024 
1025 /******************************************************************
1026  * handle_data
1027  * Does the final parsing and handling for a variable or a field in
1028  * a class.
1029  */
1030 static BOOL handle_data(struct parsed_symbol* sym)
1031 {
1032  const char* access = NULL;
1033  const char* member_type = NULL;
1034  const char* modifier = NULL;
1035  const char* ptr_modif;
1036  struct datatype_t ct;
1037  char* name = NULL;
1038  BOOL ret = FALSE;
1039 
1040  /* 0 private static
1041  * 1 protected static
1042  * 2 public static
1043  * 3 private non-static
1044  * 4 protected non-static
1045  * 5 public non-static
1046  * 6 ?? static
1047  * 7 ?? static
1048  */
1049 
1050  if (!(sym->flags & UNDNAME_NO_ACCESS_SPECIFIERS))
1051  {
1052  /* we only print the access for static members */
1053  switch (*sym->current)
1054  {
1055  case '0': access = "private: "; break;
1056  case '1': access = "protected: "; break;
1057  case '2': access = "public: "; break;
1058  }
1059  }
1060 
1061  if (!(sym->flags & UNDNAME_NO_MEMBER_TYPE))
1062  {
1063  if (*sym->current >= '0' && *sym->current <= '2')
1064  member_type = "static ";
1065  }
1066 
1067  name = get_class_string(sym, 0);
1068 
1069  switch (*sym->current++)
1070  {
1071  case '0': case '1': case '2':
1072  case '3': case '4': case '5':
1073  {
1074  unsigned mark = sym->stack.num;
1075  struct array pmt;
1076 
1077  str_array_init(&pmt);
1078 
1079  if (!demangle_datatype(sym, &ct, &pmt, FALSE)) goto done;
1080  if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1081  if (modifier && ptr_modif) modifier = str_printf(sym, "%s %s", modifier, ptr_modif);
1082  else if (!modifier) modifier = ptr_modif;
1083  sym->stack.num = mark;
1084  }
1085  break;
1086  case '6' : /* compiler generated static */
1087  case '7' : /* compiler generated static */
1088  ct.left = ct.right = NULL;
1089  if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1090  if (*sym->current != '@')
1091  {
1092  char* cls = NULL;
1093 
1094  if (!(cls = get_class_name(sym)))
1095  goto done;
1096  ct.right = str_printf(sym, "{for `%s'}", cls);
1097  }
1098  break;
1099  case '8':
1100  case '9':
1101  modifier = ct.left = ct.right = NULL;
1102  break;
1103  default: goto done;
1104  }
1105  if (sym->flags & UNDNAME_NAME_ONLY) ct.left = ct.right = modifier = NULL;
1106 
1107  sym->result = str_printf(sym, "%s%s%s%s%s%s%s%s", access,
1108  member_type, ct.left,
1109  modifier && ct.left ? " " : NULL, modifier,
1110  modifier || ct.left ? " " : NULL, name, ct.right);
1111  ret = TRUE;
1112 done:
1113  return ret;
1114 }
1115 
1116 /******************************************************************
1117  * handle_method
1118  * Does the final parsing and handling for a function or a method in
1119  * a class.
1120  */
1121 static BOOL handle_method(struct parsed_symbol* sym, BOOL cast_op)
1122 {
1123  char accmem;
1124  const char* access = NULL;
1125  int access_id = -1;
1126  const char* member_type = NULL;
1127  struct datatype_t ct_ret;
1128  const char* call_conv;
1129  const char* modifier = NULL;
1130  const char* exported;
1131  const char* args_str = NULL;
1132  const char* name = NULL;
1133  BOOL ret = FALSE, has_args = TRUE, has_ret = TRUE;
1134  unsigned mark;
1135  struct array array_pmt;
1136 
1137  /* FIXME: why 2 possible letters for each option?
1138  * 'A' private:
1139  * 'B' private:
1140  * 'C' private: static
1141  * 'D' private: static
1142  * 'E' private: virtual
1143  * 'F' private: virtual
1144  * 'G' private: thunk
1145  * 'H' private: thunk
1146  * 'I' protected:
1147  * 'J' protected:
1148  * 'K' protected: static
1149  * 'L' protected: static
1150  * 'M' protected: virtual
1151  * 'N' protected: virtual
1152  * 'O' protected: thunk
1153  * 'P' protected: thunk
1154  * 'Q' public:
1155  * 'R' public:
1156  * 'S' public: static
1157  * 'T' public: static
1158  * 'U' public: virtual
1159  * 'V' public: virtual
1160  * 'W' public: thunk
1161  * 'X' public: thunk
1162  * 'Y'
1163  * 'Z'
1164  * "$0" private: thunk vtordisp
1165  * "$1" private: thunk vtordisp
1166  * "$2" protected: thunk vtordisp
1167  * "$3" protected: thunk vtordisp
1168  * "$4" public: thunk vtordisp
1169  * "$5" public: thunk vtordisp
1170  * "$B" vcall thunk
1171  * "$R" thunk vtordispex
1172  */
1173  accmem = *sym->current++;
1174  if (accmem == '$')
1175  {
1176  if (*sym->current >= '0' && *sym->current <= '5')
1177  access_id = (*sym->current - '0') / 2;
1178  else if (*sym->current == 'R')
1179  access_id = (sym->current[1] - '0') / 2;
1180  else if (*sym->current != 'B')
1181  goto done;
1182  }
1183  else if (accmem >= 'A' && accmem <= 'Z')
1184  access_id = (accmem - 'A') / 8;
1185  else
1186  goto done;
1187 
1188  switch (access_id)
1189  {
1190  case 0: access = "private: "; break;
1191  case 1: access = "protected: "; break;
1192  case 2: access = "public: "; break;
1193  }
1194  if (accmem == '$' || (accmem - 'A') % 8 == 6 || (accmem - 'A') % 8 == 7)
1195  access = str_printf(sym, "[thunk]:%s", access ? access : " ");
1196 
1197  if (accmem == '$' && *sym->current != 'B')
1198  member_type = "virtual ";
1199  else if (accmem <= 'X')
1200  {
1201  switch ((accmem - 'A') % 8)
1202  {
1203  case 2: case 3: member_type = "static "; break;
1204  case 4: case 5: case 6: case 7: member_type = "virtual "; break;
1205  }
1206  }
1207 
1209  access = NULL;
1210  if (sym->flags & UNDNAME_NO_MEMBER_TYPE)
1211  member_type = NULL;
1212 
1213  name = get_class_string(sym, 0);
1214 
1215  if (accmem == '$' && *sym->current == 'B') /* vcall thunk */
1216  {
1217  const char *n;
1218 
1219  sym->current++;
1220  n = get_number(sym);
1221 
1222  if(!n || *sym->current++ != 'A') goto done;
1223  name = str_printf(sym, "%s{%s,{flat}}' }'", name, n);
1224  has_args = FALSE;
1225  has_ret = FALSE;
1226  }
1227  else if (accmem == '$' && *sym->current == 'R') /* vtordispex thunk */
1228  {
1229  const char *n1, *n2, *n3, *n4;
1230 
1231  sym->current += 2;
1232  n1 = get_number(sym);
1233  n2 = get_number(sym);
1234  n3 = get_number(sym);
1235  n4 = get_number(sym);
1236 
1237  if(!n1 || !n2 || !n3 || !n4) goto done;
1238  name = str_printf(sym, "%s`vtordispex{%s,%s,%s,%s}' ", name, n1, n2, n3, n4);
1239  }
1240  else if (accmem == '$') /* vtordisp thunk */
1241  {
1242  const char *n1, *n2;
1243 
1244  sym->current++;
1245  n1 = get_number(sym);
1246  n2 = get_number(sym);
1247 
1248  if (!n1 || !n2) goto done;
1249  name = str_printf(sym, "%s`vtordisp{%s,%s}' ", name, n1, n2);
1250  }
1251  else if ((accmem - 'A') % 8 == 6 || (accmem - 'A') % 8 == 7) /* a thunk */
1252  name = str_printf(sym, "%s`adjustor{%s}' ", name, get_number(sym));
1253 
1254  if (has_args && (accmem == '$' ||
1255  (accmem <= 'X' && (accmem - 'A') % 8 != 2 && (accmem - 'A') % 8 != 3)))
1256  {
1257  const char *ptr_modif;
1258  /* Implicit 'this' pointer */
1259  /* If there is an implicit this pointer, const modifier follows */
1260  if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1261  if (modifier || ptr_modif) modifier = str_printf(sym, "%s %s", modifier, ptr_modif);
1262  }
1263 
1264  if (!get_calling_convention(*sym->current++, &call_conv, &exported,
1265  sym->flags))
1266  goto done;
1267 
1268  str_array_init(&array_pmt);
1269 
1270  /* Return type, or @ if 'void' */
1271  if (has_ret && *sym->current == '@')
1272  {
1273  ct_ret.left = "void";
1274  ct_ret.right = NULL;
1275  sym->current++;
1276  }
1277  else if (has_ret)
1278  {
1279  if (!demangle_datatype(sym, &ct_ret, &array_pmt, FALSE))
1280  goto done;
1281  }
1282  if (!has_ret || sym->flags & UNDNAME_NO_FUNCTION_RETURNS)
1283  ct_ret.left = ct_ret.right = NULL;
1284  if (cast_op)
1285  {
1286  name = str_printf(sym, "%s%s%s", name, ct_ret.left, ct_ret.right);
1287  ct_ret.left = ct_ret.right = NULL;
1288  }
1289 
1290  mark = sym->stack.num;
1291  if (has_args && !(args_str = get_args(sym, &array_pmt, TRUE, '(', ')'))) goto done;
1292  if (sym->flags & UNDNAME_NAME_ONLY) args_str = modifier = NULL;
1293  if (sym->flags & UNDNAME_NO_THISTYPE) modifier = NULL;
1294  sym->stack.num = mark;
1295 
1296  /* Note: '()' after 'Z' means 'throws', but we don't care here
1297  * Yet!!! FIXME
1298  */
1299  sym->result = str_printf(sym, "%s%s%s%s%s%s%s%s%s%s%s",
1300  access, member_type, ct_ret.left,
1301  (ct_ret.left && !ct_ret.right) ? " " : NULL,
1302  call_conv, call_conv ? " " : NULL, exported,
1303  name, args_str, modifier, ct_ret.right);
1304  ret = TRUE;
1305 done:
1306  return ret;
1307 }
1308 
1309 /*******************************************************************
1310  * symbol_demangle
1311  * Demangle a C++ linker symbol
1312  */
1314 {
1315  BOOL ret = FALSE;
1316  unsigned do_after = 0;
1317  static CHAR dashed_null[] = "--null--";
1318 
1319  /* FIXME seems wrong as name, as it demangles a simple data type */
1320  if (sym->flags & UNDNAME_NO_ARGUMENTS)
1321  {
1322  struct datatype_t ct;
1323 
1324  if (demangle_datatype(sym, &ct, NULL, FALSE))
1325  {
1326  sym->result = str_printf(sym, "%s%s", ct.left, ct.right);
1327  ret = TRUE;
1328  }
1329  goto done;
1330  }
1331 
1332  /* MS mangled names always begin with '?' */
1333  if (*sym->current != '?') return FALSE;
1334  sym->current++;
1335 
1336  /* Then function name or operator code */
1337  if (*sym->current == '?' && (sym->current[1] != '$' || sym->current[2] == '?'))
1338  {
1339  const char* function_name = NULL;
1340 
1341  if (sym->current[1] == '$')
1342  {
1343  do_after = 6;
1344  sym->current += 2;
1345  }
1346 
1347  /* C++ operator code (one character, or two if the first is '_') */
1348  switch (*++sym->current)
1349  {
1350  case '0': do_after = 1; break;
1351  case '1': do_after = 2; break;
1352  case '2': function_name = "operator new"; break;
1353  case '3': function_name = "operator delete"; break;
1354  case '4': function_name = "operator="; break;
1355  case '5': function_name = "operator>>"; break;
1356  case '6': function_name = "operator<<"; break;
1357  case '7': function_name = "operator!"; break;
1358  case '8': function_name = "operator=="; break;
1359  case '9': function_name = "operator!="; break;
1360  case 'A': function_name = "operator[]"; break;
1361  case 'B': function_name = "operator "; do_after = 3; break;
1362  case 'C': function_name = "operator->"; break;
1363  case 'D': function_name = "operator*"; break;
1364  case 'E': function_name = "operator++"; break;
1365  case 'F': function_name = "operator--"; break;
1366  case 'G': function_name = "operator-"; break;
1367  case 'H': function_name = "operator+"; break;
1368  case 'I': function_name = "operator&"; break;
1369  case 'J': function_name = "operator->*"; break;
1370  case 'K': function_name = "operator/"; break;
1371  case 'L': function_name = "operator%"; break;
1372  case 'M': function_name = "operator<"; break;
1373  case 'N': function_name = "operator<="; break;
1374  case 'O': function_name = "operator>"; break;
1375  case 'P': function_name = "operator>="; break;
1376  case 'Q': function_name = "operator,"; break;
1377  case 'R': function_name = "operator()"; break;
1378  case 'S': function_name = "operator~"; break;
1379  case 'T': function_name = "operator^"; break;
1380  case 'U': function_name = "operator|"; break;
1381  case 'V': function_name = "operator&&"; break;
1382  case 'W': function_name = "operator||"; break;
1383  case 'X': function_name = "operator*="; break;
1384  case 'Y': function_name = "operator+="; break;
1385  case 'Z': function_name = "operator-="; break;
1386  case '_':
1387  switch (*++sym->current)
1388  {
1389  case '0': function_name = "operator/="; break;
1390  case '1': function_name = "operator%="; break;
1391  case '2': function_name = "operator>>="; break;
1392  case '3': function_name = "operator<<="; break;
1393  case '4': function_name = "operator&="; break;
1394  case '5': function_name = "operator|="; break;
1395  case '6': function_name = "operator^="; break;
1396  case '7': function_name = "`vftable'"; break;
1397  case '8': function_name = "`vbtable'"; break;
1398  case '9': function_name = "`vcall'"; break;
1399  case 'A': function_name = "`typeof'"; break;
1400  case 'B': function_name = "`local static guard'"; break;
1401  case 'C': function_name = "`string'"; do_after = 4; break;
1402  case 'D': function_name = "`vbase destructor'"; break;
1403  case 'E': function_name = "`vector deleting destructor'"; break;
1404  case 'F': function_name = "`default constructor closure'"; break;
1405  case 'G': function_name = "`scalar deleting destructor'"; break;
1406  case 'H': function_name = "`vector constructor iterator'"; break;
1407  case 'I': function_name = "`vector destructor iterator'"; break;
1408  case 'J': function_name = "`vector vbase constructor iterator'"; break;
1409  case 'K': function_name = "`virtual displacement map'"; break;
1410  case 'L': function_name = "`eh vector constructor iterator'"; break;
1411  case 'M': function_name = "`eh vector destructor iterator'"; break;
1412  case 'N': function_name = "`eh vector vbase constructor iterator'"; break;
1413  case 'O': function_name = "`copy constructor closure'"; break;
1414  case 'R':
1416  switch (*++sym->current)
1417  {
1418  case '0':
1419  {
1420  struct datatype_t ct;
1421  struct array pmt;
1422 
1423  sym->current++;
1424  str_array_init(&pmt);
1425  demangle_datatype(sym, &ct, &pmt, FALSE);
1426  function_name = str_printf(sym, "%s%s `RTTI Type Descriptor'",
1427  ct.left, ct.right);
1428  sym->current--;
1429  }
1430  break;
1431  case '1':
1432  {
1433  const char* n1, *n2, *n3, *n4;
1434  sym->current++;
1435  n1 = get_number(sym);
1436  n2 = get_number(sym);
1437  n3 = get_number(sym);
1438  n4 = get_number(sym);
1439  sym->current--;
1440  function_name = str_printf(sym, "`RTTI Base Class Descriptor at (%s,%s,%s,%s)'",
1441  n1, n2, n3, n4);
1442  }
1443  break;
1444  case '2': function_name = "`RTTI Base Class Array'"; break;
1445  case '3': function_name = "`RTTI Class Hierarchy Descriptor'"; break;
1446  case '4': function_name = "`RTTI Complete Object Locator'"; break;
1447  default:
1448  ERR("Unknown RTTI operator: _R%c\n", *sym->current);
1449  break;
1450  }
1451  break;
1452  case 'S': function_name = "`local vftable'"; break;
1453  case 'T': function_name = "`local vftable constructor closure'"; break;
1454  case 'U': function_name = "operator new[]"; break;
1455  case 'V': function_name = "operator delete[]"; break;
1456  case 'X': function_name = "`placement delete closure'"; break;
1457  case 'Y': function_name = "`placement delete[] closure'"; break;
1458  default:
1459  ERR("Unknown operator: _%c\n", *sym->current);
1460  return FALSE;
1461  }
1462  break;
1463  default:
1464  /* FIXME: Other operators */
1465  ERR("Unknown operator: %c\n", *sym->current);
1466  return FALSE;
1467  }
1468  sym->current++;
1469  switch (do_after)
1470  {
1471  case 1: case 2:
1472  if (!str_array_push(sym, dashed_null, -1, &sym->stack))
1473  return FALSE;
1474  break;
1475  case 4:
1476  sym->result = (char*)function_name;
1477  ret = TRUE;
1478  goto done;
1479  case 6:
1480  {
1481  char *args;
1482  struct array array_pmt;
1483 
1484  str_array_init(&array_pmt);
1485  args = get_args(sym, &array_pmt, FALSE, '<', '>');
1486  if (args != NULL) function_name = str_printf(sym, "%s%s", function_name, args);
1487  sym->names.num = 0;
1488  }
1489  /* fall through */
1490  default:
1491  if (!str_array_push(sym, function_name, -1, &sym->stack))
1492  return FALSE;
1493  break;
1494  }
1495  }
1496  else if (*sym->current == '$')
1497  {
1498  /* Strange construct, it's a name with a template argument list
1499  and that's all. */
1500  sym->current++;
1501  ret = (sym->result = get_template_name(sym)) != NULL;
1502  goto done;
1503  }
1504  else if (*sym->current == '?' && sym->current[1] == '$')
1505  do_after = 5;
1506 
1507  /* Either a class name, or '@' if the symbol is not a class member */
1508  switch (*sym->current)
1509  {
1510  case '@': sym->current++; break;
1511  case '$': break;
1512  default:
1513  /* Class the function is associated with, terminated by '@@' */
1514  if (!get_class(sym)) goto done;
1515  break;
1516  }
1517 
1518  switch (do_after)
1519  {
1520  case 0: default: break;
1521  case 1: case 2:
1522  /* it's time to set the member name for ctor & dtor */
1523  if (sym->stack.num <= 1) goto done;
1524  if (do_after == 1)
1525  sym->stack.elts[0] = sym->stack.elts[1];
1526  else
1527  sym->stack.elts[0] = str_printf(sym, "~%s", sym->stack.elts[1]);
1528  /* ctors and dtors don't have return type */
1530  break;
1531  case 3:
1533  break;
1534  case 5:
1535  sym->names.start++;
1536  break;
1537  }
1538 
1539  /* Function/Data type and access level */
1540  if (*sym->current >= '0' && *sym->current <= '9')
1541  ret = handle_data(sym);
1542  else if ((*sym->current >= 'A' && *sym->current <= 'Z') || *sym->current == '$')
1543  ret = handle_method(sym, do_after == 3);
1544  else ret = FALSE;
1545 done:
1546  if (ret) assert(sym->result);
1547  else WARN("Failed at %s\n", sym->current);
1548 
1549  return ret;
1550 }
1551 
1552 /*********************************************************************
1553  * __unDNameEx (MSVCRT.@)
1554  *
1555  * Demangle a C++ identifier.
1556  *
1557  * PARAMS
1558  * buffer [O] If not NULL, the place to put the demangled string
1559  * mangled [I] Mangled name of the function
1560  * buflen [I] Length of buffer
1561  * memget [I] Function to allocate memory with
1562  * memfree [I] Function to free memory with
1563  * unknown [?] Unknown, possibly a call back
1564  * flags [I] Flags determining demangled format
1565  *
1566  * RETURNS
1567  * Success: A string pointing to the unmangled name, allocated with memget.
1568  * Failure: NULL.
1569  */
1570 char* CDECL __unDNameEx(char* buffer, const char* mangled, int buflen,
1571  malloc_func_t memget, free_func_t memfree,
1572  void* unknown, unsigned short int flags)
1573 {
1574  struct parsed_symbol sym;
1575  const char* result;
1576 
1577  TRACE("(%p,%s,%d,%p,%p,%p,%x)\n",
1578  buffer, mangled, buflen, memget, memfree, unknown, flags);
1579 
1580  /* The flags details is not documented by MS. However, it looks exactly
1581  * like the UNDNAME_ manifest constants from imagehlp.h and dbghelp.h
1582  * So, we copied those (on top of the file)
1583  */
1584  memset(&sym, 0, sizeof(struct parsed_symbol));
1585  if (flags & UNDNAME_NAME_ONLY)
1589 
1590  sym.flags = flags;
1591  sym.mem_alloc_ptr = memget;
1592  sym.mem_free_ptr = memfree;
1593  sym.current = mangled;
1594  str_array_init( &sym.names );
1595  str_array_init( &sym.stack );
1596 
1597  result = symbol_demangle(&sym) ? sym.result : mangled;
1598 #ifndef UPSTREAM_CODE
1599  if (result != mangled) {
1600 #endif
1601  if (buffer && buflen)
1602  {
1603  lstrcpynA( buffer, result, buflen);
1604  }
1605  else
1606  {
1607  buffer = memget(strlen(result) + 1);
1608  if (buffer) strcpy(buffer, result);
1609  }
1610 #ifndef UPSTREAM_CODE
1611  }
1612 #endif
1613 
1614  und_free_all(&sym);
1615 
1616  return buffer;
1617 }
1618 
1619 
1620 /*********************************************************************
1621  * __unDName (MSVCRT.@)
1622  */
1623 char* CDECL __unDName(char* buffer, const char* mangled, int buflen,
1624  malloc_func_t memget, free_func_t memfree,
1625  unsigned short int flags)
1626 {
1627  return __unDNameEx(buffer, mangled, buflen, memget, memfree, NULL, flags);
1628 }
TRUE
const BOOL TRUE
Definition: undname.c:48
get_simple_type
static const char * get_simple_type(char c)
Definition: undname.c:776
ptr
char * ptr
Definition: abseil-cpp/absl/base/internal/low_level_alloc_test.cc:45
_gevent_test_main.result
result
Definition: _gevent_test_main.py:96
gen_build_yaml.out
dictionary out
Definition: src/benchmark/gen_build_yaml.py:24
http2_test_server.format
format
Definition: http2_test_server.py:118
parsed_symbol::alloc_list
void * alloc_list
Definition: undname.c:123
str_printf
static char * str_printf(struct parsed_symbol *sym, const char *format,...)
Definition: undname.c:280
parsed_symbol
Definition: undname.c:111
memset
return memset(p, 0, total)
asyncio_get_stats.default
default
Definition: asyncio_get_stats.py:38
get_modified_type
static BOOL get_modified_type(struct datatype_t *ct, struct parsed_symbol *sym, struct array *pmt_ref, char modif, BOOL in_args)
Definition: undname.c:472
AVAIL_SIZE
#define AVAIL_SIZE
WARN
#define WARN(...)
Definition: undname.c:43
UNDNAME_NO_ACCESS_SPECIFIERS
#define UNDNAME_NO_ACCESS_SPECIFIERS
Definition: undname.c:67
str_array_get_ref
static char * str_array_get_ref(struct array *cref, unsigned idx)
Definition: undname.c:261
string.h
und_free_all
static void und_free_all(struct parsed_symbol *sym)
Definition: undname.c:185
setup.name
name
Definition: setup.py:542
datatype_t::right
const char * right
Definition: undname.c:131
a
int a
Definition: abseil-cpp/absl/container/internal/hash_policy_traits_test.cc:88
UNDNAME_NO_COMPLEX_TYPE
#define UNDNAME_NO_COMPLEX_TYPE
Definition: undname.c:75
array::elts
char ** elts
Definition: undname.c:107
xds_manager.p
p
Definition: xds_manager.py:60
parsed_symbol::names
struct array names
Definition: undname.c:120
BOOL
int BOOL
Definition: undname.c:46
CHAR
char CHAR
Definition: undname.c:49
ERR
#define ERR(...)
Definition: undname.c:44
UNDNAME_NO_ARGUMENTS
#define UNDNAME_NO_ARGUMENTS
Definition: undname.c:73
parsed_symbol::flags
unsigned flags
Definition: undname.c:113
memcpy
memcpy(mem, inblock.get(), min(CONTAINING_RECORD(inblock.get(), MEMBLOCK, data) ->size, size))
in
const char * in
Definition: third_party/abseil-cpp/absl/strings/internal/str_format/parser_test.cc:391
start
static uint64_t start
Definition: benchmark-pound.c:74
c
void c(T a)
Definition: miscompile_with_no_unique_address_test.cc:40
asyncio_get_stats.args
args
Definition: asyncio_get_stats.py:40
UNDNAME_NO_LEADING_UNDERSCORES
#define UNDNAME_NO_LEADING_UNDERSCORES
Definition: undname.c:59
array
Definition: undname.c:101
BLOCK_SIZE
#define BLOCK_SIZE
parsed_symbol::stack
struct array stack
Definition: undname.c:121
parsed_symbol::avail_in_first
unsigned avail_in_first
Definition: undname.c:124
get_class
static BOOL get_class(struct parsed_symbol *sym)
Definition: undname.c:624
parsed_symbol::current
const char * current
Definition: undname.c:117
done
struct tab * done
Definition: bloaty/third_party/zlib/examples/enough.c:176
get_extended_type
static const char * get_extended_type(char c)
Definition: undname.c:805
array::start
unsigned start
Definition: undname.c:103
get_calling_convention
static BOOL get_calling_convention(char ch, const char **call_conv, const char **exported, unsigned flags)
Definition: undname.c:731
stack
NodeStack stack
Definition: cord_rep_btree.cc:356
buffer
char buffer[1024]
Definition: libuv/docs/code/idle-compute/main.c:8
array::num
unsigned num
Definition: undname.c:104
array::max
unsigned max
Definition: undname.c:105
free_func_t
void(* free_func_t)(void *)
Definition: undname.c:51
get_args
static char * get_args(struct parsed_symbol *sym, struct array *pmt_ref, BOOL z_term, char open_char, char close_char)
Definition: undname.c:390
UNDNAME_NO_MEMBER_TYPE
#define UNDNAME_NO_MEMBER_TYPE
Definition: undname.c:69
n
int n
Definition: abseil-cpp/absl/container/btree_test.cc:1080
setup.idx
idx
Definition: third_party/bloaty/third_party/capstone/bindings/python/setup.py:197
lstrcpynA
char * lstrcpynA(char *out, const char *in, int n)
Definition: undname.c:53
malloc_func_t
void *(* malloc_func_t)(size_t)
Definition: undname.c:50
parsed_symbol::mem_free_ptr
free_func_t mem_free_ptr
Definition: undname.c:115
get_literal_string
static char * get_literal_string(struct parsed_symbol *sym)
Definition: undname.c:558
str_array_init
static void str_array_init(struct array *a)
Definition: undname.c:202
UNDNAME_NO_ALLOCATION_LANGUAGE
#define UNDNAME_NO_ALLOCATION_LANGUAGE
Definition: undname.c:63
get_class_name
static char * get_class_name(struct parsed_symbol *sym)
Definition: undname.c:715
str_array_push
static BOOL str_array_push(struct parsed_symbol *sym, const char *ptr, int len, struct array *a)
Definition: undname.c:212
get_modifier
static BOOL get_modifier(struct parsed_symbol *sym, const char **ret, const char **ptr_modif)
Definition: undname.c:448
FALSE
const BOOL FALSE
Definition: undname.c:47
handle_method
static BOOL handle_method(struct parsed_symbol *sym, BOOL cast_op)
Definition: undname.c:1121
symbol_demangle
static BOOL symbol_demangle(struct parsed_symbol *sym)
Definition: undname.c:1313
UNDNAME_NAME_ONLY
#define UNDNAME_NAME_ONLY
Definition: undname.c:72
demangle_datatype
static BOOL demangle_datatype(struct parsed_symbol *sym, struct datatype_t *ct, struct array *pmt, BOOL in_args)
Definition: undname.c:835
absl::flags_internal
Definition: abseil-cpp/absl/flags/commandlineflag.h:40
array::alloc
unsigned alloc
Definition: undname.c:106
__unDName
char *CDECL __unDName(char *buffer, const char *mangled, int buflen, malloc_func_t memget, free_func_t memfree, unsigned short int flags)
Definition: undname.c:1623
get_class_string
static char * get_class_string(struct parsed_symbol *sym, int start)
Definition: undname.c:683
parsed_symbol::result
char * result
Definition: undname.c:118
ret
UniquePtr< SSL_SESSION > ret
Definition: ssl_x509.cc:1029
CDECL
#define CDECL
Definition: undname.c:45
next
AllocList * next[kMaxLevel]
Definition: abseil-cpp/absl/base/internal/low_level_alloc.cc:100
und_alloc
static void * und_alloc(struct parsed_symbol *sym, unsigned int len)
Definition: undname.c:143
UNDNAME_NO_THISTYPE
#define UNDNAME_NO_THISTYPE
Definition: undname.c:66
xds_manager.num
num
Definition: xds_manager.py:56
datatype_t::left
const char * left
Definition: undname.c:130
get_number
static const char * get_number(struct parsed_symbol *sym)
Definition: undname.c:339
__unDNameEx
char *CDECL __unDNameEx(char *buffer, const char *mangled, int buflen, malloc_func_t memget, free_func_t memfree, void *unknown, unsigned short int flags)
Definition: undname.c:1570
parsed_symbol::mem_alloc_ptr
malloc_func_t mem_alloc_ptr
Definition: undname.c:114
TRACE
#define TRACE(...)
Definition: undname.c:42
flags
uint32_t flags
Definition: retry_filter.cc:632
datatype_t
Definition: undname.c:128
ch
char ch
Definition: bloaty/third_party/googletest/googlemock/test/gmock-matchers_test.cc:3621
len
int len
Definition: abseil-cpp/absl/base/internal/low_level_alloc_test.cc:46
autogen_x86imm.tmp
tmp
Definition: autogen_x86imm.py:12
UNDNAME_NO_MS_KEYWORDS
#define UNDNAME_NO_MS_KEYWORDS
Definition: undname.c:60
access
Definition: bloaty/third_party/zlib/examples/zran.c:75
get_template_name
static char * get_template_name(struct parsed_symbol *sym)
Definition: undname.c:588
UNDNAME_NO_FUNCTION_RETURNS
#define UNDNAME_NO_FUNCTION_RETURNS
Definition: undname.c:61
i
uint64_t i
Definition: abseil-cpp/absl/container/btree_benchmark.cc:230
type_name
static const char * type_name(int type)
Definition: adig.c:889
handle_data
static BOOL handle_data(struct parsed_symbol *sym)
Definition: undname.c:1030


grpc
Author(s):
autogenerated on Fri May 16 2025 03:00:43