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
lstrcpynA(char * out,const char * in,int n)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 */
111 struct 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 */
128 struct datatype_t
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 */
und_alloc(struct parsed_symbol * sym,unsigned int len)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 */
und_free_all(struct parsed_symbol * sym)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 */
str_array_init(struct array * a)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 */
str_array_push(struct parsed_symbol * sym,const char * ptr,int len,struct array * a)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 */
str_array_get_ref(struct array * cref,unsigned idx)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 */
str_printf(struct parsed_symbol * sym,const char * format,...)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
get_number(struct parsed_symbol * sym)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 */
get_args(struct parsed_symbol * sym,struct array * pmt_ref,BOOL z_term,char open_char,char close_char)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 */
get_modifier(struct parsed_symbol * sym,const char ** ret,const char ** ptr_modif)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";
456 if (sym->flags & UNDNAME_NO_LEADING_UNDERSCORES)
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
get_modified_type(struct datatype_t * ct,struct parsed_symbol * sym,struct array * pmt_ref,char modif,BOOL in_args)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 {
483 if (sym->flags & UNDNAME_NO_LEADING_UNDERSCORES)
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 */
get_literal_string(struct parsed_symbol * sym)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 */
get_template_name(struct parsed_symbol * sym)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 */
get_class(struct parsed_symbol * sym)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 */
get_class_string(struct parsed_symbol * sym,int start)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 */
get_class_name(struct parsed_symbol * sym)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 */
get_calling_convention(char ch,const char ** call_conv,const char ** exported,unsigned flags)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
736 if (!(flags & (UNDNAME_NO_MS_KEYWORDS | UNDNAME_NO_ALLOCATION_LANGUAGE)))
737 {
738 if (flags & UNDNAME_NO_LEADING_UNDERSCORES)
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 */
get_simple_type(char c)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 */
get_extended_type(char c)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 */
demangle_datatype(struct parsed_symbol * sym,struct datatype_t * ct,struct array * pmt_ref,BOOL in_args)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,
917 sym->flags & ~UNDNAME_NO_ALLOCATION_LANGUAGE) ||
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 */
handle_data(struct parsed_symbol * sym)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 */
handle_method(struct parsed_symbol * sym,BOOL cast_op)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
1208 if (sym->flags & UNDNAME_NO_ACCESS_SPECIFIERS)
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 */
symbol_demangle(struct parsed_symbol * sym)1313 static BOOL symbol_demangle(struct parsed_symbol* sym)
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':
1415 sym->flags |= UNDNAME_NO_FUNCTION_RETURNS;
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 */
1529 sym->flags |= UNDNAME_NO_FUNCTION_RETURNS;
1530 break;
1531 case 3:
1532 sym->flags &= ~UNDNAME_NO_FUNCTION_RETURNS;
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 */
__unDNameEx(char * buffer,const char * mangled,int buflen,malloc_func_t memget,free_func_t memfree,void * unknown,unsigned short int flags)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)
1586 flags |= UNDNAME_NO_FUNCTION_RETURNS | UNDNAME_NO_ACCESS_SPECIFIERS |
1587 UNDNAME_NO_MEMBER_TYPE | UNDNAME_NO_ALLOCATION_LANGUAGE |
1588 UNDNAME_NO_COMPLEX_TYPE;
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 */
__unDName(char * buffer,const char * mangled,int buflen,malloc_func_t memget,free_func_t memfree,unsigned short int flags)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 }
1629