/* * File msc.c - read VC++ debug information from COFF and eventually * from PDB files. * * Copyright (C) 1996, Eric Youngdale. * Copyright (C) 1999-2000, Ulrich Weigand. * Copyright (C) 2004-2009, Eric Pouech. * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA */ /* * Note - this handles reading debug information for 32 bit applications * that run under Windows-NT for example. I doubt that this would work well * for 16 bit applications, but I don't think it really matters since the * file format is different, and we should never get in here in such cases. * * TODO: * Get 16 bit CV stuff working. * Add symbol size to internal symbol table. */ #include #include #include #include #include #include "windef.h" #include "winbase.h" #include "winternl.h" #include "wine/exception.h" #include "wine/debug.h" #include "dbghelp_private.h" #include "wine/mscvpdb.h" WINE_DEFAULT_DEBUG_CHANNEL(dbghelp_msc); struct pdb_stream_name { const char* name; unsigned index; }; struct pdb_file_info { enum pdb_kind kind; DWORD age; HANDLE hMap; const char* image; struct pdb_stream_name* stream_dict; unsigned fpoext_stream; union { struct { DWORD timestamp; struct PDB_JG_TOC* toc; } jg; struct { GUID guid; struct PDB_DS_TOC* toc; } ds; } u; }; /* FIXME: don't make it static */ #define CV_MAX_MODULES 32 struct pdb_module_info { unsigned used_subfiles; struct pdb_file_info pdb_files[CV_MAX_MODULES]; }; #define loc_cv_local_range (loc_user + 0) /* loc.offset contain the copy of all defrange* Codeview records following S_LOCAL */ struct cv_module_snarf { const struct codeview_type_parse* ipi_ctp; const struct CV_DebugSSubsectionHeader_t* dbgsubsect; unsigned dbgsubsect_size; const PDB_STRING_TABLE* strimage; }; /*======================================================================== * Debug file access helper routines */ static void dump(const void* ptr, unsigned len) { unsigned int i, j; char msg[128]; const char* hexof = "0123456789abcdef"; const BYTE* x = ptr; for (i = 0; i < len; i += 16) { sprintf(msg, "%08x: ", i); memset(msg + 10, ' ', 3 * 16 + 1 + 16); for (j = 0; j < min(16, len - i); j++) { msg[10 + 3 * j + 0] = hexof[x[i + j] >> 4]; msg[10 + 3 * j + 1] = hexof[x[i + j] & 15]; msg[10 + 3 * j + 2] = ' '; msg[10 + 3 * 16 + 1 + j] = (x[i + j] >= 0x20 && x[i + j] < 0x7f) ? x[i + j] : '.'; } msg[10 + 3 * 16] = ' '; msg[10 + 3 * 16 + 1 + 16] = '\0'; FIXME("%s\n", msg); } } /*======================================================================== * Process CodeView type information. */ static struct symt* cv_basic_types[T_MAXPREDEFINEDTYPE]; struct cv_defined_module { BOOL allowed; unsigned int first_type_index; unsigned int last_type_index; struct symt** defined_types; }; /* FIXME: don't make it static */ #define CV_MAX_MODULES 32 static struct cv_defined_module cv_zmodules[CV_MAX_MODULES]; static struct cv_defined_module*cv_current_module; static void codeview_init_basic_types(struct module* module) { unsigned ptrsz = module->cpu->word_size; /* * These are the common builtin types that are used by VC++. */ cv_basic_types[T_NOTYPE] = NULL; cv_basic_types[T_ABS] = NULL; cv_basic_types[T_VOID] = &symt_get_basic(btVoid, 0)->symt; /* void */ cv_basic_types[T_CHAR] = &symt_get_basic(btInt, 1)->symt; /* signed char (and char in C) */ cv_basic_types[T_SHORT] = &symt_get_basic(btInt, 2)->symt; /* short int */ cv_basic_types[T_LONG] = &symt_get_basic(btLong, 4)->symt; /* long int */ cv_basic_types[T_QUAD] = &symt_get_basic(btInt, 8)->symt; /* long long int */ cv_basic_types[T_UCHAR] = &symt_get_basic(btUInt, 1)->symt; /* unsigned char */ cv_basic_types[T_USHORT] = &symt_get_basic(btUInt, 2)->symt; /* unsigned short */ cv_basic_types[T_ULONG] = &symt_get_basic(btULong, 4)->symt; /* unsigned long */ cv_basic_types[T_UQUAD] = &symt_get_basic(btUInt, 8)->symt; /* unsigned long long */ cv_basic_types[T_BOOL08] = &symt_get_basic(btBool, 1)->symt; /* BOOL08 */ cv_basic_types[T_BOOL16] = &symt_get_basic(btBool, 2)->symt; /* BOOL16 */ cv_basic_types[T_BOOL32] = &symt_get_basic(btBool, 4)->symt; /* BOOL32 */ cv_basic_types[T_BOOL64] = &symt_get_basic(btBool, 8)->symt; /* BOOL64 */ cv_basic_types[T_REAL32] = &symt_get_basic(btFloat, 4)->symt; /* float */ cv_basic_types[T_REAL64] = &symt_get_basic(btFloat, 8)->symt; /* double */ cv_basic_types[T_REAL80] = &symt_get_basic(btFloat, 10)->symt; /* long double */ cv_basic_types[T_RCHAR] = &symt_get_basic(btChar, 1)->symt; /* "real" char (char in C++) */ cv_basic_types[T_WCHAR] = &symt_get_basic(btWChar, 2)->symt; /* char8_t */ cv_basic_types[T_CHAR16] = &symt_get_basic(btChar16, 2)->symt; /* char16_t */ cv_basic_types[T_CHAR32] = &symt_get_basic(btChar32, 4)->symt; /* char32_t */ cv_basic_types[T_CHAR8] = &symt_get_basic(btChar8, 1)->symt; /* char8_t */ cv_basic_types[T_INT2] = &symt_get_basic(btInt, 2)->symt; /* INT2 */ cv_basic_types[T_UINT2] = &symt_get_basic(btUInt, 2)->symt; /* UINT2 */ cv_basic_types[T_INT4] = &symt_get_basic(btInt, 4)->symt; /* INT4 */ cv_basic_types[T_UINT4] = &symt_get_basic(btUInt, 4)->symt; /* UINT4 */ cv_basic_types[T_INT8] = &symt_get_basic(btInt, 8)->symt; /* INT8 */ cv_basic_types[T_UINT8] = &symt_get_basic(btUInt, 8)->symt; /* UINT8 */ cv_basic_types[T_HRESULT]= &symt_get_basic(btUInt, 4)->symt; /* HRESULT */ cv_basic_types[T_32PVOID] = &symt_new_pointer(module, cv_basic_types[T_VOID], 4)->symt; cv_basic_types[T_32PCHAR] = &symt_new_pointer(module, cv_basic_types[T_CHAR], 4)->symt; cv_basic_types[T_32PSHORT] = &symt_new_pointer(module, cv_basic_types[T_SHORT], 4)->symt; cv_basic_types[T_32PLONG] = &symt_new_pointer(module, cv_basic_types[T_LONG], 4)->symt; cv_basic_types[T_32PQUAD] = &symt_new_pointer(module, cv_basic_types[T_QUAD], 4)->symt; cv_basic_types[T_32PUCHAR] = &symt_new_pointer(module, cv_basic_types[T_UCHAR], 4)->symt; cv_basic_types[T_32PUSHORT] = &symt_new_pointer(module, cv_basic_types[T_USHORT], 4)->symt; cv_basic_types[T_32PULONG] = &symt_new_pointer(module, cv_basic_types[T_ULONG], 4)->symt; cv_basic_types[T_32PUQUAD] = &symt_new_pointer(module, cv_basic_types[T_UQUAD], 4)->symt; cv_basic_types[T_32PBOOL08] = &symt_new_pointer(module, cv_basic_types[T_BOOL08], 4)->symt; cv_basic_types[T_32PBOOL16] = &symt_new_pointer(module, cv_basic_types[T_BOOL16], 4)->symt; cv_basic_types[T_32PBOOL32] = &symt_new_pointer(module, cv_basic_types[T_BOOL32], 4)->symt; cv_basic_types[T_32PBOOL64] = &symt_new_pointer(module, cv_basic_types[T_BOOL64], 4)->symt; cv_basic_types[T_32PREAL32] = &symt_new_pointer(module, cv_basic_types[T_REAL32], 4)->symt; cv_basic_types[T_32PREAL64] = &symt_new_pointer(module, cv_basic_types[T_REAL64], 4)->symt; cv_basic_types[T_32PREAL80] = &symt_new_pointer(module, cv_basic_types[T_REAL80], 4)->symt; cv_basic_types[T_32PRCHAR] = &symt_new_pointer(module, cv_basic_types[T_RCHAR], 4)->symt; cv_basic_types[T_32PWCHAR] = &symt_new_pointer(module, cv_basic_types[T_WCHAR], 4)->symt; cv_basic_types[T_32PCHAR16] = &symt_new_pointer(module, cv_basic_types[T_CHAR16], 4)->symt; cv_basic_types[T_32PCHAR32] = &symt_new_pointer(module, cv_basic_types[T_CHAR32], 4)->symt; cv_basic_types[T_32PCHAR8] = &symt_new_pointer(module, cv_basic_types[T_CHAR8], 4)->symt; cv_basic_types[T_32PINT2] = &symt_new_pointer(module, cv_basic_types[T_INT2], 4)->symt; cv_basic_types[T_32PUINT2] = &symt_new_pointer(module, cv_basic_types[T_UINT2], 4)->symt; cv_basic_types[T_32PINT4] = &symt_new_pointer(module, cv_basic_types[T_INT4], 4)->symt; cv_basic_types[T_32PUINT4] = &symt_new_pointer(module, cv_basic_types[T_UINT4], 4)->symt; cv_basic_types[T_32PINT8] = &symt_new_pointer(module, cv_basic_types[T_INT8], 4)->symt; cv_basic_types[T_32PUINT8] = &symt_new_pointer(module, cv_basic_types[T_UINT8], 4)->symt; cv_basic_types[T_32PHRESULT]= &symt_new_pointer(module, cv_basic_types[T_HRESULT], 4)->symt; cv_basic_types[T_64PVOID] = &symt_new_pointer(module, cv_basic_types[T_VOID], 8)->symt; cv_basic_types[T_64PCHAR] = &symt_new_pointer(module, cv_basic_types[T_CHAR], 8)->symt; cv_basic_types[T_64PSHORT] = &symt_new_pointer(module, cv_basic_types[T_SHORT], 8)->symt; cv_basic_types[T_64PLONG] = &symt_new_pointer(module, cv_basic_types[T_LONG], 8)->symt; cv_basic_types[T_64PQUAD] = &symt_new_pointer(module, cv_basic_types[T_QUAD], 8)->symt; cv_basic_types[T_64PUCHAR] = &symt_new_pointer(module, cv_basic_types[T_UCHAR], 8)->symt; cv_basic_types[T_64PUSHORT] = &symt_new_pointer(module, cv_basic_types[T_USHORT], 8)->symt; cv_basic_types[T_64PULONG] = &symt_new_pointer(module, cv_basic_types[T_ULONG], 8)->symt; cv_basic_types[T_64PUQUAD] = &symt_new_pointer(module, cv_basic_types[T_UQUAD], 8)->symt; cv_basic_types[T_64PBOOL08] = &symt_new_pointer(module, cv_basic_types[T_BOOL08], 8)->symt; cv_basic_types[T_64PBOOL16] = &symt_new_pointer(module, cv_basic_types[T_BOOL16], 8)->symt; cv_basic_types[T_64PBOOL32] = &symt_new_pointer(module, cv_basic_types[T_BOOL32], 8)->symt; cv_basic_types[T_64PBOOL64] = &symt_new_pointer(module, cv_basic_types[T_BOOL64], 8)->symt; cv_basic_types[T_64PREAL32] = &symt_new_pointer(module, cv_basic_types[T_REAL32], 8)->symt; cv_basic_types[T_64PREAL64] = &symt_new_pointer(module, cv_basic_types[T_REAL64], 8)->symt; cv_basic_types[T_64PREAL80] = &symt_new_pointer(module, cv_basic_types[T_REAL80], 8)->symt; cv_basic_types[T_64PRCHAR] = &symt_new_pointer(module, cv_basic_types[T_RCHAR], 8)->symt; cv_basic_types[T_64PWCHAR] = &symt_new_pointer(module, cv_basic_types[T_WCHAR], 8)->symt; cv_basic_types[T_64PCHAR16] = &symt_new_pointer(module, cv_basic_types[T_CHAR16], 8)->symt; cv_basic_types[T_64PCHAR32] = &symt_new_pointer(module, cv_basic_types[T_CHAR32], 8)->symt; cv_basic_types[T_64PCHAR8] = &symt_new_pointer(module, cv_basic_types[T_CHAR8], 8)->symt; cv_basic_types[T_64PINT2] = &symt_new_pointer(module, cv_basic_types[T_INT2], 8)->symt; cv_basic_types[T_64PUINT2] = &symt_new_pointer(module, cv_basic_types[T_UINT2], 8)->symt; cv_basic_types[T_64PINT4] = &symt_new_pointer(module, cv_basic_types[T_INT4], 8)->symt; cv_basic_types[T_64PUINT4] = &symt_new_pointer(module, cv_basic_types[T_UINT4], 8)->symt; cv_basic_types[T_64PINT8] = &symt_new_pointer(module, cv_basic_types[T_INT8], 8)->symt; cv_basic_types[T_64PUINT8] = &symt_new_pointer(module, cv_basic_types[T_UINT8], 8)->symt; cv_basic_types[T_64PHRESULT]= &symt_new_pointer(module, cv_basic_types[T_HRESULT], 8)->symt; cv_basic_types[T_PVOID] = &symt_new_pointer(module, cv_basic_types[T_VOID], ptrsz)->symt; cv_basic_types[T_PCHAR] = &symt_new_pointer(module, cv_basic_types[T_CHAR], ptrsz)->symt; cv_basic_types[T_PSHORT] = &symt_new_pointer(module, cv_basic_types[T_SHORT], ptrsz)->symt; cv_basic_types[T_PLONG] = &symt_new_pointer(module, cv_basic_types[T_LONG], ptrsz)->symt; cv_basic_types[T_PQUAD] = &symt_new_pointer(module, cv_basic_types[T_QUAD], ptrsz)->symt; cv_basic_types[T_PUCHAR] = &symt_new_pointer(module, cv_basic_types[T_UCHAR], ptrsz)->symt; cv_basic_types[T_PUSHORT] = &symt_new_pointer(module, cv_basic_types[T_USHORT], ptrsz)->symt; cv_basic_types[T_PULONG] = &symt_new_pointer(module, cv_basic_types[T_ULONG], ptrsz)->symt; cv_basic_types[T_PUQUAD] = &symt_new_pointer(module, cv_basic_types[T_UQUAD], ptrsz)->symt; cv_basic_types[T_PBOOL08] = &symt_new_pointer(module, cv_basic_types[T_BOOL08], ptrsz)->symt; cv_basic_types[T_PBOOL16] = &symt_new_pointer(module, cv_basic_types[T_BOOL16], ptrsz)->symt; cv_basic_types[T_PBOOL32] = &symt_new_pointer(module, cv_basic_types[T_BOOL32], ptrsz)->symt; cv_basic_types[T_PBOOL64] = &symt_new_pointer(module, cv_basic_types[T_BOOL64], ptrsz)->symt; cv_basic_types[T_PREAL32] = &symt_new_pointer(module, cv_basic_types[T_REAL32], ptrsz)->symt; cv_basic_types[T_PREAL64] = &symt_new_pointer(module, cv_basic_types[T_REAL64], ptrsz)->symt; cv_basic_types[T_PREAL80] = &symt_new_pointer(module, cv_basic_types[T_REAL80], ptrsz)->symt; cv_basic_types[T_PRCHAR] = &symt_new_pointer(module, cv_basic_types[T_RCHAR], ptrsz)->symt; cv_basic_types[T_PWCHAR] = &symt_new_pointer(module, cv_basic_types[T_WCHAR], ptrsz)->symt; cv_basic_types[T_PCHAR16] = &symt_new_pointer(module, cv_basic_types[T_CHAR16], ptrsz)->symt; cv_basic_types[T_PCHAR32] = &symt_new_pointer(module, cv_basic_types[T_CHAR32], ptrsz)->symt; cv_basic_types[T_PCHAR8] = &symt_new_pointer(module, cv_basic_types[T_CHAR8], ptrsz)->symt; cv_basic_types[T_PINT2] = &symt_new_pointer(module, cv_basic_types[T_INT2], ptrsz)->symt; cv_basic_types[T_PUINT2] = &symt_new_pointer(module, cv_basic_types[T_UINT2], ptrsz)->symt; cv_basic_types[T_PINT4] = &symt_new_pointer(module, cv_basic_types[T_INT4], ptrsz)->symt; cv_basic_types[T_PUINT4] = &symt_new_pointer(module, cv_basic_types[T_UINT4], ptrsz)->symt; cv_basic_types[T_PINT8] = &symt_new_pointer(module, cv_basic_types[T_INT8], ptrsz)->symt; cv_basic_types[T_PUINT8] = &symt_new_pointer(module, cv_basic_types[T_UINT8], ptrsz)->symt; } static int leaf_as_variant(VARIANT* v, const unsigned short int* leaf) { unsigned short int type = *leaf++; int length = 2; if (type < LF_NUMERIC) { V_VT(v) = VT_UINT; V_UINT(v) = type; } else { switch (type) { case LF_CHAR: length += 1; V_VT(v) = VT_I1; V_I1(v) = *(const char*)leaf; break; case LF_SHORT: length += 2; V_VT(v) = VT_I2; V_I2(v) = *(const short*)leaf; break; case LF_USHORT: length += 2; V_VT(v) = VT_UI2; V_UI2(v) = *leaf; break; case LF_LONG: length += 4; V_VT(v) = VT_I4; V_I4(v) = *(const int*)leaf; break; case LF_ULONG: length += 4; V_VT(v) = VT_UI4; V_UI4(v) = *(const unsigned int*)leaf; break; case LF_QUADWORD: length += 8; V_VT(v) = VT_I8; V_I8(v) = *(const long long int*)leaf; break; case LF_UQUADWORD: length += 8; V_VT(v) = VT_UI8; V_UI8(v) = *(const long long unsigned int*)leaf; break; case LF_REAL32: length += 4; V_VT(v) = VT_R4; V_R4(v) = *(const float*)leaf; break; case LF_REAL48: FIXME("Unsupported numeric leaf type %04x\n", type); length += 6; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_REAL64: length += 8; V_VT(v) = VT_R8; V_R8(v) = *(const double*)leaf; break; case LF_REAL80: FIXME("Unsupported numeric leaf type %04x\n", type); length += 10; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_REAL128: FIXME("Unsupported numeric leaf type %04x\n", type); length += 16; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_COMPLEX32: FIXME("Unsupported numeric leaf type %04x\n", type); length += 4; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_COMPLEX64: FIXME("Unsupported numeric leaf type %04x\n", type); length += 8; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_COMPLEX80: FIXME("Unsupported numeric leaf type %04x\n", type); length += 10; break; case LF_COMPLEX128: FIXME("Unsupported numeric leaf type %04x\n", type); length += 16; V_VT(v) = VT_EMPTY; /* FIXME */ break; case LF_VARSTRING: FIXME("Unsupported numeric leaf type %04x\n", type); length += 2 + *leaf; V_VT(v) = VT_EMPTY; /* FIXME */ break; default: FIXME("Unknown numeric leaf type %04x\n", type); V_VT(v) = VT_EMPTY; /* FIXME */ break; } } return length; } static int numeric_leaf(int* value, const unsigned short int* leaf) { unsigned short int type = *leaf++; int length = 2; if (type < LF_NUMERIC) { *value = type; } else { switch (type) { case LF_CHAR: length += 1; *value = *(const char*)leaf; break; case LF_SHORT: length += 2; *value = *(const short*)leaf; break; case LF_USHORT: length += 2; *value = *leaf; break; case LF_LONG: length += 4; *value = *(const int*)leaf; break; case LF_ULONG: length += 4; *value = *(const unsigned int*)leaf; break; case LF_QUADWORD: case LF_UQUADWORD: FIXME("Unsupported numeric leaf type %04x\n", type); length += 8; *value = 0; /* FIXME */ break; case LF_REAL32: FIXME("Unsupported numeric leaf type %04x\n", type); length += 4; *value = 0; /* FIXME */ break; case LF_REAL48: FIXME("Unsupported numeric leaf type %04x\n", type); length += 6; *value = 0; /* FIXME */ break; case LF_REAL64: FIXME("Unsupported numeric leaf type %04x\n", type); length += 8; *value = 0; /* FIXME */ break; case LF_REAL80: FIXME("Unsupported numeric leaf type %04x\n", type); length += 10; *value = 0; /* FIXME */ break; case LF_REAL128: FIXME("Unsupported numeric leaf type %04x\n", type); length += 16; *value = 0; /* FIXME */ break; case LF_COMPLEX32: FIXME("Unsupported numeric leaf type %04x\n", type); length += 4; *value = 0; /* FIXME */ break; case LF_COMPLEX64: FIXME("Unsupported numeric leaf type %04x\n", type); length += 8; *value = 0; /* FIXME */ break; case LF_COMPLEX80: FIXME("Unsupported numeric leaf type %04x\n", type); length += 10; *value = 0; /* FIXME */ break; case LF_COMPLEX128: FIXME("Unsupported numeric leaf type %04x\n", type); length += 16; *value = 0; /* FIXME */ break; case LF_VARSTRING: FIXME("Unsupported numeric leaf type %04x\n", type); length += 2 + *leaf; *value = 0; /* FIXME */ break; default: FIXME("Unknown numeric leaf type %04x\n", type); *value = 0; break; } } return length; } /* convert a pascal string (as stored in debug information) into * a C string (null terminated). */ static const char* terminate_string(const struct p_string* p_name) { static char symname[256]; memcpy(symname, p_name->name, p_name->namelen); symname[p_name->namelen] = '\0'; return (!*symname || strcmp(symname, "__unnamed") == 0) ? NULL : symname; } static struct symt* codeview_get_type(unsigned int typeno, BOOL quiet) { struct symt* symt = NULL; /* * Convert Codeview type numbers into something we can grok internally. * Numbers < T_MAXPREDEFINEDTYPE all fixed builtin types. * Numbers from T_FIRSTDEFINABLETYPE and up are all user defined (structs, etc). */ if (typeno < T_MAXPREDEFINEDTYPE) symt = cv_basic_types[typeno]; else if (typeno >= T_FIRSTDEFINABLETYPE) { unsigned mod_index = typeno >> 24; unsigned mod_typeno = typeno & 0x00FFFFFF; struct cv_defined_module* mod; mod = (mod_index == 0) ? cv_current_module : &cv_zmodules[mod_index]; if (mod_index >= CV_MAX_MODULES || !mod->allowed) FIXME("Module of index %d isn't loaded yet (%x)\n", mod_index, typeno); else { if (mod_typeno >= mod->first_type_index && mod_typeno < mod->last_type_index) symt = mod->defined_types[mod_typeno - mod->first_type_index]; } } if (!quiet && !symt && typeno) FIXME("Returning NULL symt for type-id %x\n", typeno); return symt; } struct hash_link { unsigned id; struct hash_link* next; }; struct codeview_type_parse { struct module* module; PDB_TYPES header; const BYTE* table; const DWORD* offset; /* typeindex => offset in 'table' */ BYTE* hash_stream; /* content of stream header.hash_file */ struct hash_link** hash; /* hash_table (deserialized from PDB hash table) */ struct hash_link* alloc_hash; /* allocated hash_link (id => hash_link) */ }; static inline const void* codeview_jump_to_type(const struct codeview_type_parse* ctp, DWORD idx) { return (idx >= ctp->header.first_index && idx < ctp->header.last_index) ? ctp->table + ctp->offset[idx - ctp->header.first_index] : NULL; } static int codeview_add_type(unsigned int typeno, struct symt* dt) { unsigned idx; if (!cv_current_module) { FIXME("Adding %x to non allowed module\n", typeno); return FALSE; } if ((typeno >> 24) != 0) FIXME("No module index while inserting type-id assumption is wrong %x\n", typeno); if (typeno < cv_current_module->first_type_index || typeno >= cv_current_module->last_type_index) { FIXME("Type number %x out of bounds [%x, %x)\n", typeno, cv_current_module->first_type_index, typeno >= cv_current_module->last_type_index); return FALSE; } idx = typeno - cv_current_module->first_type_index; if (cv_current_module->defined_types[idx]) { if (cv_current_module->defined_types[idx] != dt) FIXME("Overwriting at %x\n", typeno); } cv_current_module->defined_types[idx] = dt; return TRUE; } static void codeview_clear_type_table(void) { int i; for (i = 0; i < CV_MAX_MODULES; i++) { if (cv_zmodules[i].allowed) free(cv_zmodules[i].defined_types); cv_zmodules[i].allowed = FALSE; cv_zmodules[i].defined_types = NULL; cv_zmodules[i].first_type_index = 0; cv_zmodules[i].last_type_index = 0; } cv_current_module = NULL; } static struct symt* codeview_parse_one_type(struct codeview_type_parse* ctp, unsigned curr_type, const union codeview_type* type); static struct symt* codeview_fetch_type(struct codeview_type_parse* ctp, unsigned typeno) { struct symt* symt; const union codeview_type* p; if (!typeno) return NULL; if ((symt = codeview_get_type(typeno, TRUE))) return symt; if ((p = codeview_jump_to_type(ctp, typeno))) symt = codeview_parse_one_type(ctp, typeno, p); if (!symt) FIXME("Couldn't load type %x\n", typeno); return symt; } static UINT32 codeview_compute_hash(const char* ptr, unsigned len) { const char* last = ptr + len; UINT32 ret = 0; while (ptr + sizeof(UINT32) <= last) { ret ^= *(UINT32*)ptr; ptr += sizeof(UINT32); } if (ptr + sizeof(UINT16) <= last) { ret ^= *(UINT16*)ptr; ptr += sizeof(UINT16); } if (ptr + sizeof(BYTE) <= last) ret ^= *(BYTE*)ptr; ret |= 0x20202020; ret ^= (ret >> 11); return ret ^ (ret >> 16); } /* We call 'forwardable' a type which can have a forward declaration, and we need to merge * (when they both exist) the type record of the forward declaration and the type record * of the full definition into a single symt. */ static BOOL codeview_is_forwardable_type(const union codeview_type* type) { switch (type->generic.id) { case LF_CLASS_V1: case LF_CLASS_V2: case LF_CLASS_V3: case LF_ENUM_V1: case LF_ENUM_V2: case LF_ENUM_V3: case LF_STRUCTURE_V1: case LF_STRUCTURE_V2: case LF_STRUCTURE_V3: case LF_UNION_V1: case LF_UNION_V2: case LF_UNION_V3: return TRUE; default: return FALSE; } } static BOOL codeview_type_is_forward(const union codeview_type* cvtype) { cv_property_t property; switch (cvtype->generic.id) { case LF_STRUCTURE_V1: case LF_CLASS_V1: property = cvtype->struct_v1.property; break; case LF_STRUCTURE_V2: case LF_CLASS_V2: property = cvtype->struct_v2.property; break; case LF_STRUCTURE_V3: case LF_CLASS_V3: property = cvtype->struct_v3.property; break; case LF_UNION_V1: property = cvtype->union_v1.property; break; case LF_UNION_V2: property = cvtype->union_v2.property; break; case LF_UNION_V3: property = cvtype->union_v3.property; break; case LF_ENUM_V1: property = cvtype->enumeration_v1.property; break; case LF_ENUM_V2: property = cvtype->enumeration_v2.property; break; case LF_ENUM_V3: property = cvtype->enumeration_v3.property; break; default: return FALSE; } return property.is_forward_defn; } static BOOL codeview_type_extract_name(const union codeview_type* cvtype, const char** name, unsigned* len, const char** decorated_name) { int value, leaf_len; const struct p_string* p_name = NULL; const char* c_name = NULL; BOOL decorated = FALSE; switch (cvtype->generic.id) { case LF_STRUCTURE_V1: case LF_CLASS_V1: leaf_len = numeric_leaf(&value, &cvtype->struct_v1.structlen); p_name = (const struct p_string*)((const unsigned char*)&cvtype->struct_v1.structlen + leaf_len); break; case LF_STRUCTURE_V2: case LF_CLASS_V2: leaf_len = numeric_leaf(&value, &cvtype->struct_v2.structlen); p_name = (const struct p_string*)((const unsigned char*)&cvtype->struct_v2.structlen + leaf_len); break; case LF_STRUCTURE_V3: case LF_CLASS_V3: leaf_len = numeric_leaf(&value, &cvtype->struct_v3.structlen); c_name = (const char*)&cvtype->struct_v3.structlen + leaf_len; decorated = cvtype->struct_v3.property.has_decorated_name; break; case LF_UNION_V1: leaf_len = numeric_leaf(&value, &cvtype->union_v1.un_len); p_name = (const struct p_string*)((const unsigned char*)&cvtype->union_v1.un_len + leaf_len); break; case LF_UNION_V2: leaf_len = numeric_leaf(&value, &cvtype->union_v2.un_len); p_name = (const struct p_string*)((const unsigned char*)&cvtype->union_v2.un_len + leaf_len); break; case LF_UNION_V3: leaf_len = numeric_leaf(&value, &cvtype->union_v3.un_len); c_name = (const char*)&cvtype->union_v3.un_len + leaf_len; decorated = cvtype->union_v3.property.has_decorated_name; break; case LF_ENUM_V1: p_name = &cvtype->enumeration_v1.p_name; break; case LF_ENUM_V2: p_name = &cvtype->enumeration_v2.p_name; break; case LF_ENUM_V3: c_name = cvtype->enumeration_v3.name; decorated = cvtype->union_v3.property.has_decorated_name; break; default: return FALSE; } if (p_name) { *name = p_name->name; *len = p_name->namelen; *decorated_name = NULL; return TRUE; } if (c_name) { *name = c_name; *len = strlen(c_name); *decorated_name = decorated ? (c_name + *len + 1) : NULL; return TRUE; } return FALSE; } static unsigned pdb_read_hash_value(const struct codeview_type_parse* ctp, unsigned idx) { const void* where = ctp->hash_stream + ctp->header.hash_offset + (idx - ctp->header.first_index) * ctp->header.hash_value_size; switch (ctp->header.hash_value_size) { case 2: return *(unsigned short*)where; case 4: return *(unsigned*)where; } return 0; } static BOOL codeview_resolve_forward_type(struct codeview_type_parse* ctp, const union codeview_type* cvref, unsigned reftype, unsigned *impl_type) { const union codeview_type* cvdecl; struct hash_link* hl; const char* nameref; const char* decoratedref; unsigned lenref; unsigned hash; /* Unfortunately, hash of forward defs are computed on the whole type record, not its name * (unlike hash of UDT & enum implementations which is based primarily on the name... sigh) * So compute the hash of the expected implementation. */ if (!codeview_type_extract_name(cvref, &nameref, &lenref, &decoratedref)) return FALSE; hash = codeview_compute_hash(nameref, lenref) % ctp->header.hash_num_buckets; for (hl = ctp->hash[hash]; hl; hl = hl->next) { if (hl->id == reftype) continue; cvdecl = codeview_jump_to_type(ctp, hl->id); if (cvdecl && !codeview_type_is_forward(cvdecl) && cvref->generic.id == cvdecl->generic.id) { const char* namedecl; const char* decorateddecl; unsigned lendecl; if (codeview_type_extract_name(cvdecl, &namedecl, &lendecl, &decorateddecl) && ((decoratedref && decorateddecl && !strcmp(decoratedref, decorateddecl)) || (!decoratedref && !decorateddecl && lenref == lendecl && !memcmp(nameref, namedecl, lenref)))) { TRACE("mapping forward type %.*s (%s) %x into %x\n", lenref, nameref, debugstr_a(decoratedref), reftype, hl->id); *impl_type = hl->id; return TRUE; } } } return FALSE; } static struct symt* codeview_add_type_pointer(struct codeview_type_parse* ctp, unsigned int pointee_type) { struct symt* pointee; pointee = codeview_fetch_type(ctp, pointee_type); if (!pointee) return NULL; return &symt_new_pointer(ctp->module, pointee, ctp->module->cpu->word_size)->symt; } static struct symt* codeview_add_type_array(struct codeview_type_parse* ctp, const char* name, unsigned int elemtype, unsigned int indextype, unsigned int arr_len) { struct symt* elem = codeview_fetch_type(ctp, elemtype); struct symt* index = codeview_fetch_type(ctp, indextype); DWORD64 elem_size; DWORD count = 0; if (symt_get_info(ctp->module, elem, TI_GET_LENGTH, &elem_size) && elem_size) { if (arr_len % (DWORD)elem_size) FIXME("array size should be a multiple of element size %u %I64u\n", arr_len, elem_size); count = arr_len / (unsigned)elem_size; } return &symt_new_array(ctp->module, 0, count, elem, index)->symt; } static BOOL codeview_add_type_enum_field_list(struct codeview_type_parse* ctp, struct symt_enum* symt, unsigned typeno) { const union codeview_reftype* ref_type; const unsigned char* ptr; const unsigned char* last; const union codeview_fieldtype* type; if (!typeno) return TRUE; if (!(ref_type = codeview_jump_to_type(ctp, typeno))) return FALSE; ptr = ref_type->fieldlist.list; last = (const BYTE*)ref_type + ref_type->generic.len + 2; while (ptr < last) { if (*ptr >= 0xf0) /* LF_PAD... */ { ptr += *ptr & 0x0f; continue; } type = (const union codeview_fieldtype*)ptr; switch (type->generic.id) { case LF_ENUMERATE_V1: { int value, vlen = numeric_leaf(&value, &type->enumerate_v1.value); const struct p_string* p_name = (const struct p_string*)((const unsigned char*)&type->enumerate_v1.value + vlen); symt_add_enum_element(ctp->module, symt, terminate_string(p_name), value); ptr += 2 + 2 + vlen + (1 + p_name->namelen); break; } case LF_ENUMERATE_V3: { int value, vlen = numeric_leaf(&value, &type->enumerate_v3.value); const char* name = (const char*)&type->enumerate_v3.value + vlen; symt_add_enum_element(ctp->module, symt, name, value); ptr += 2 + 2 + vlen + (1 + strlen(name)); break; } case LF_INDEX_V1: if (!codeview_add_type_enum_field_list(ctp, symt, type->index_v1.ref)) return FALSE; ptr += 2 + 2; break; case LF_INDEX_V2: if (!codeview_add_type_enum_field_list(ctp, symt, type->index_v2.ref)) return FALSE; ptr += 2 + 2 + 4; break; default: FIXME("Unsupported type %04x in ENUM field list\n", type->generic.id); return FALSE; } } return TRUE; } static void codeview_add_udt_element(struct codeview_type_parse* ctp, struct symt_udt* symt, const char* name, int value, unsigned type) { struct symt* subtype; const union codeview_reftype*cv_type; if ((cv_type = codeview_jump_to_type(ctp, type))) { switch (cv_type->generic.id) { case LF_BITFIELD_V1: symt_add_udt_element(ctp->module, symt, name, codeview_fetch_type(ctp, cv_type->bitfield_v1.type), value, cv_type->bitfield_v1.bitoff, cv_type->bitfield_v1.nbits); return; case LF_BITFIELD_V2: symt_add_udt_element(ctp->module, symt, name, codeview_fetch_type(ctp, cv_type->bitfield_v2.type), value, cv_type->bitfield_v2.bitoff, cv_type->bitfield_v2.nbits); return; } } subtype = codeview_fetch_type(ctp, type); if (subtype) { DWORD64 elem_size = 0; symt_get_info(ctp->module, subtype, TI_GET_LENGTH, &elem_size); symt_add_udt_element(ctp->module, symt, name, subtype, value, 0, 0); } } static int codeview_add_type_struct_field_list(struct codeview_type_parse* ctp, struct symt_udt* symt, unsigned fieldlistno) { const unsigned char* ptr; const unsigned char* last; int value, leaf_len; const struct p_string* p_name; const char* c_name; const union codeview_reftype*type_ref; const union codeview_fieldtype* type; if (!fieldlistno) return TRUE; type_ref = codeview_jump_to_type(ctp, fieldlistno); ptr = type_ref->fieldlist.list; last = (const BYTE*)type_ref + type_ref->generic.len + 2; while (ptr < last) { if (*ptr >= 0xf0) /* LF_PAD... */ { ptr += *ptr & 0x0f; continue; } type = (const union codeview_fieldtype*)ptr; switch (type->generic.id) { case LF_BCLASS_V1: leaf_len = numeric_leaf(&value, &type->bclass_v1.offset); /* FIXME: ignored for now */ ptr += 2 + 2 + 2 + leaf_len; break; case LF_BCLASS_V2: leaf_len = numeric_leaf(&value, &type->bclass_v2.offset); /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + leaf_len; break; case LF_VBCLASS_V1: case LF_IVBCLASS_V1: { const unsigned short int* p_vboff; int vpoff, vplen; leaf_len = numeric_leaf(&value, &type->vbclass_v1.vbpoff); p_vboff = (const unsigned short int*)((const char*)&type->vbclass_v1.vbpoff + leaf_len); vplen = numeric_leaf(&vpoff, p_vboff); /* FIXME: ignored for now */ ptr += 2 + 2 + 2 + 2 + leaf_len + vplen; } break; case LF_VBCLASS_V2: case LF_IVBCLASS_V2: { const unsigned short int* p_vboff; int vpoff, vplen; leaf_len = numeric_leaf(&value, &type->vbclass_v2.vbpoff); p_vboff = (const unsigned short int*)((const char*)&type->vbclass_v2.vbpoff + leaf_len); vplen = numeric_leaf(&vpoff, p_vboff); /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + 4 + leaf_len + vplen; } break; case LF_MEMBER_V1: leaf_len = numeric_leaf(&value, &type->member_v1.offset); p_name = (const struct p_string*)((const char*)&type->member_v1.offset + leaf_len); codeview_add_udt_element(ctp, symt, terminate_string(p_name), value, type->member_v1.type); ptr += 2 + 2 + 2 + leaf_len + (1 + p_name->namelen); break; case LF_MEMBER_V2: leaf_len = numeric_leaf(&value, &type->member_v2.offset); p_name = (const struct p_string*)((const unsigned char*)&type->member_v2.offset + leaf_len); codeview_add_udt_element(ctp, symt, terminate_string(p_name), value, type->member_v2.type); ptr += 2 + 2 + 4 + leaf_len + (1 + p_name->namelen); break; case LF_MEMBER_V3: leaf_len = numeric_leaf(&value, &type->member_v3.offset); c_name = (const char*)&type->member_v3.offset + leaf_len; codeview_add_udt_element(ctp, symt, c_name, value, type->member_v3.type); ptr += 2 + 2 + 4 + leaf_len + (strlen(c_name) + 1); break; case LF_STMEMBER_V1: /* FIXME: ignored for now */ ptr += 2 + 2 + 2 + (1 + type->stmember_v1.p_name.namelen); break; case LF_STMEMBER_V2: /* FIXME: ignored for now */ ptr += 2 + 4 + 2 + (1 + type->stmember_v2.p_name.namelen); break; case LF_STMEMBER_V3: /* FIXME: ignored for now */ ptr += 2 + 4 + 2 + (strlen(type->stmember_v3.name) + 1); break; case LF_METHOD_V1: /* FIXME: ignored for now */ ptr += 2 + 2 + 2 + (1 + type->method_v1.p_name.namelen); break; case LF_METHOD_V2: /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + (1 + type->method_v2.p_name.namelen); break; case LF_METHOD_V3: /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + (strlen(type->method_v3.name) + 1); break; case LF_NESTTYPE_V1: /* FIXME: ignored for now */ ptr += 2 + 2 + (1 + type->nesttype_v1.p_name.namelen); break; case LF_NESTTYPE_V2: /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + (1 + type->nesttype_v2.p_name.namelen); break; case LF_NESTTYPE_V3: /* FIXME: ignored for now */ ptr += 2 + 2 + 4 + (strlen(type->nesttype_v3.name) + 1); break; case LF_VFUNCTAB_V1: /* FIXME: ignored for now */ ptr += 2 + 2; break; case LF_VFUNCTAB_V2: /* FIXME: ignored for now */ ptr += 2 + 2 + 4; break; case LF_ONEMETHOD_V1: /* FIXME: ignored for now */ switch ((type->onemethod_v1.attribute >> 2) & 7) { case 4: case 6: /* (pure) introducing virtual method */ ptr += 2 + 2 + 2 + 4 + (1 + type->onemethod_virt_v1.p_name.namelen); break; default: ptr += 2 + 2 + 2 + (1 + type->onemethod_v1.p_name.namelen); break; } break; case LF_ONEMETHOD_V2: /* FIXME: ignored for now */ switch ((type->onemethod_v2.attribute >> 2) & 7) { case 4: case 6: /* (pure) introducing virtual method */ ptr += 2 + 2 + 4 + 4 + (1 + type->onemethod_virt_v2.p_name.namelen); break; default: ptr += 2 + 2 + 4 + (1 + type->onemethod_v2.p_name.namelen); break; } break; case LF_ONEMETHOD_V3: /* FIXME: ignored for now */ switch ((type->onemethod_v3.attribute >> 2) & 7) { case 4: case 6: /* (pure) introducing virtual method */ ptr += 2 + 2 + 4 + 4 + (strlen(type->onemethod_virt_v3.name) + 1); break; default: ptr += 2 + 2 + 4 + (strlen(type->onemethod_v3.name) + 1); break; } break; case LF_INDEX_V1: if (!codeview_add_type_struct_field_list(ctp, symt, type->index_v1.ref)) return FALSE; ptr += 2 + 2; break; case LF_INDEX_V2: if (!codeview_add_type_struct_field_list(ctp, symt, type->index_v2.ref)) return FALSE; ptr += 2 + 2 + 4; break; default: FIXME("Unsupported type %04x in STRUCT field list\n", type->generic.id); return FALSE; } } return TRUE; } static struct symt* codeview_new_func_signature(struct codeview_type_parse* ctp, enum CV_call_e call_conv) { struct symt_function_signature* sym; sym = symt_new_function_signature(ctp->module, NULL, call_conv); return &sym->symt; } static void codeview_add_func_signature_args(struct codeview_type_parse* ctp, struct symt_function_signature* sym, unsigned ret_type, unsigned args_list) { const union codeview_reftype* reftype; sym->rettype = codeview_fetch_type(ctp, ret_type); if (args_list && (reftype = codeview_jump_to_type(ctp, args_list))) { unsigned int i; switch (reftype->generic.id) { case LF_ARGLIST_V1: for (i = 0; i < reftype->arglist_v1.num; i++) symt_add_function_signature_parameter(ctp->module, sym, codeview_fetch_type(ctp, reftype->arglist_v1.args[i])); break; case LF_ARGLIST_V2: for (i = 0; i < reftype->arglist_v2.num; i++) symt_add_function_signature_parameter(ctp->module, sym, codeview_fetch_type(ctp, reftype->arglist_v2.args[i])); break; default: FIXME("Unexpected leaf %x for signature's pmt\n", reftype->generic.id); } } } static struct symt* codeview_parse_one_type(struct codeview_type_parse* ctp, unsigned curr_type, const union codeview_type* type) { struct symt* symt = NULL; int value, leaf_len; const struct p_string* p_name; const char* c_name; switch (type->generic.id) { case LF_MODIFIER_V1: /* FIXME: we don't handle modifiers, * but read previous type on the curr_type */ WARN("Modifier on %x: %s%s%s%s\n", type->modifier_v1.type, type->modifier_v1.attribute & 0x01 ? "const " : "", type->modifier_v1.attribute & 0x02 ? "volatile " : "", type->modifier_v1.attribute & 0x04 ? "unaligned " : "", type->modifier_v1.attribute & ~0x07 ? "unknown " : ""); symt = codeview_fetch_type(ctp, type->modifier_v1.type); break; case LF_MODIFIER_V2: /* FIXME: we don't handle modifiers, but readd previous type on the curr_type */ WARN("Modifier on %x: %s%s%s%s\n", type->modifier_v2.type, type->modifier_v2.attribute & 0x01 ? "const " : "", type->modifier_v2.attribute & 0x02 ? "volatile " : "", type->modifier_v2.attribute & 0x04 ? "unaligned " : "", type->modifier_v2.attribute & ~0x07 ? "unknown " : ""); symt = codeview_fetch_type(ctp, type->modifier_v2.type); break; case LF_POINTER_V1: symt = codeview_add_type_pointer(ctp, type->pointer_v1.datatype); break; case LF_POINTER_V2: symt = codeview_add_type_pointer(ctp, type->pointer_v2.datatype); break; case LF_ARRAY_V1: leaf_len = numeric_leaf(&value, &type->array_v1.arrlen); p_name = (const struct p_string*)((const unsigned char*)&type->array_v1.arrlen + leaf_len); symt = codeview_add_type_array(ctp, terminate_string(p_name), type->array_v1.elemtype, type->array_v1.idxtype, value); break; case LF_ARRAY_V2: leaf_len = numeric_leaf(&value, &type->array_v2.arrlen); p_name = (const struct p_string*)((const unsigned char*)&type->array_v2.arrlen + leaf_len); symt = codeview_add_type_array(ctp, terminate_string(p_name), type->array_v2.elemtype, type->array_v2.idxtype, value); break; case LF_ARRAY_V3: leaf_len = numeric_leaf(&value, &type->array_v3.arrlen); c_name = (const char*)&type->array_v3.arrlen + leaf_len; symt = codeview_add_type_array(ctp, c_name, type->array_v3.elemtype, type->array_v3.idxtype, value); break; case LF_STRUCTURE_V1: case LF_CLASS_V1: if (!type->struct_v1.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->struct_v1.fieldlist); break; case LF_STRUCTURE_V2: case LF_CLASS_V2: if (!type->struct_v2.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->struct_v2.fieldlist); break; case LF_STRUCTURE_V3: case LF_CLASS_V3: if (!type->struct_v3.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->struct_v3.fieldlist); break; case LF_UNION_V1: if (!type->union_v1.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->union_v1.fieldlist); break; case LF_UNION_V2: if (!type->union_v2.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->union_v2.fieldlist); break; case LF_UNION_V3: if (!type->union_v3.property.is_forward_defn) codeview_add_type_struct_field_list(ctp, (struct symt_udt*)codeview_get_type(curr_type, TRUE), type->union_v3.fieldlist); break; case LF_ENUM_V1: { struct symt_enum* senum = (struct symt_enum*)codeview_get_type(curr_type, TRUE); senum->base_type = codeview_fetch_type(ctp, type->enumeration_v1.type); codeview_add_type_enum_field_list(ctp, senum, type->enumeration_v1.fieldlist); } break; case LF_ENUM_V2: { struct symt_enum* senum = (struct symt_enum*)codeview_get_type(curr_type, TRUE); senum->base_type = codeview_fetch_type(ctp, type->enumeration_v2.type); codeview_add_type_enum_field_list(ctp, senum, type->enumeration_v2.fieldlist); } break; case LF_ENUM_V3: { struct symt_enum* senum = (struct symt_enum*)codeview_get_type(curr_type, TRUE); senum->base_type = codeview_fetch_type(ctp, type->enumeration_v3.type); codeview_add_type_enum_field_list(ctp, senum, type->enumeration_v3.fieldlist); } break; case LF_PROCEDURE_V1: symt = codeview_new_func_signature(ctp, type->procedure_v1.callconv); codeview_add_func_signature_args(ctp, (struct symt_function_signature*)symt, type->procedure_v1.rvtype, type->procedure_v1.arglist); break; case LF_PROCEDURE_V2: symt = codeview_new_func_signature(ctp,type->procedure_v2.callconv); codeview_add_func_signature_args(ctp, (struct symt_function_signature*)symt, type->procedure_v2.rvtype, type->procedure_v2.arglist); break; case LF_MFUNCTION_V1: /* FIXME: for C++, this is plain wrong, but as we don't use arg types * nor class information, this would just do for now */ symt = codeview_new_func_signature(ctp, type->mfunction_v1.callconv); codeview_add_func_signature_args(ctp, (struct symt_function_signature*)symt, type->mfunction_v1.rvtype, type->mfunction_v1.arglist); break; case LF_MFUNCTION_V2: /* FIXME: for C++, this is plain wrong, but as we don't use arg types * nor class information, this would just do for now */ symt = codeview_new_func_signature(ctp, type->mfunction_v2.callconv); codeview_add_func_signature_args(ctp, (struct symt_function_signature*)symt, type->mfunction_v2.rvtype, type->mfunction_v2.arglist); break; case LF_VTSHAPE_V1: /* this is an ugly hack... FIXME when we have C++ support */ { char buf[128]; snprintf(buf, sizeof(buf), "__internal_vt_shape_%x\n", curr_type); symt = &symt_new_udt(ctp->module, buf, 0, UdtStruct)->symt; } break; default: FIXME("Unsupported type-id leaf %x\n", type->generic.id); dump(type, 2 + type->generic.len); return NULL; } return symt && codeview_add_type(curr_type, symt) ? symt : NULL; } static struct symt* codeview_load_forwardable_type(struct codeview_type_parse* ctp, const union codeview_type* type) { struct symt* symt; int value, leaf_len; const struct p_string* p_name; const char* c_name; switch (type->generic.id) { case LF_STRUCTURE_V1: case LF_CLASS_V1: leaf_len = numeric_leaf(&value, &type->struct_v1.structlen); p_name = (const struct p_string*)((const unsigned char*)&type->struct_v1.structlen + leaf_len); symt = &symt_new_udt(ctp->module, terminate_string(p_name), value, type->generic.id == LF_CLASS_V1 ? UdtClass : UdtStruct)->symt; break; case LF_STRUCTURE_V2: case LF_CLASS_V2: leaf_len = numeric_leaf(&value, &type->struct_v2.structlen); p_name = (const struct p_string*)((const unsigned char*)&type->struct_v2.structlen + leaf_len); symt = &symt_new_udt(ctp->module, terminate_string(p_name), value, type->generic.id == LF_CLASS_V2 ? UdtClass : UdtStruct)->symt; break; case LF_STRUCTURE_V3: case LF_CLASS_V3: leaf_len = numeric_leaf(&value, &type->struct_v3.structlen); c_name = (const char*)&type->struct_v3.structlen + leaf_len; symt = &symt_new_udt(ctp->module, c_name, value, type->generic.id == LF_CLASS_V3 ? UdtClass : UdtStruct)->symt; break; case LF_UNION_V1: leaf_len = numeric_leaf(&value, &type->union_v1.un_len); p_name = (const struct p_string*)((const unsigned char*)&type->union_v1.un_len + leaf_len); symt = &symt_new_udt(ctp->module, terminate_string(p_name), value, UdtUnion)->symt; break; case LF_UNION_V2: leaf_len = numeric_leaf(&value, &type->union_v2.un_len); p_name = (const struct p_string*)((const unsigned char*)&type->union_v2.un_len + leaf_len); symt = &symt_new_udt(ctp->module, terminate_string(p_name), value, UdtUnion)->symt; break; case LF_UNION_V3: leaf_len = numeric_leaf(&value, &type->union_v3.un_len); c_name = (const char*)&type->union_v3.un_len + leaf_len; symt = &symt_new_udt(ctp->module, c_name, value, UdtUnion)->symt; break; case LF_ENUM_V1: symt = &symt_new_enum(ctp->module, terminate_string(&type->enumeration_v1.p_name), NULL)->symt; break; case LF_ENUM_V2: symt = &symt_new_enum(ctp->module, terminate_string(&type->enumeration_v2.p_name), NULL)->symt; break; case LF_ENUM_V3: symt = &symt_new_enum(ctp->module, type->enumeration_v3.name, NULL)->symt; break; default: symt = NULL; } return symt; } static inline BOOL codeview_is_top_level_type(const union codeview_type* type) { /* type records we're interested in are the ones referenced by symbols * The known ranges are (X mark the ones we want): * X 0000-0016 for V1 types * 0200-020c for V1 types referenced by other types * 0400-040f for V1 types (complex lists & sets) * X 1000-100f for V2 types * 1200-120c for V2 types referenced by other types * 1400-140f for V1 types (complex lists & sets) * X 1500-150d for V3 types * 8000-8010 for numeric leafes */ return !(type->generic.id & 0x8600) || (type->generic.id & 0x0100); } static BOOL codeview_parse_type_table(struct codeview_type_parse* ctp) { unsigned int i, curr_type; const union codeview_type* type; cv_current_module->first_type_index = ctp->header.first_index; cv_current_module->last_type_index = ctp->header.last_index; cv_current_module->defined_types = calloc(ctp->header.last_index - ctp->header.first_index, sizeof(*cv_current_module->defined_types)); /* pass I: + load implementation of forwardable types, but without their content * + merge forward declarations with their implementations (when the later exists) * + do it in the order generated from PDB hash table to preserve that order * (several versions coming from different compilations can exist in the PDB file, * and using PDB order ensures that we use the relevant one. * (needed for forward resolution and type lookup by name) * (dbghelp hash table inserts new elements at the end of bucket's list) * Note: for a given type, we must handle: * - only an implementation type record * - only a forward type record (eg using struct foo* without struct foo being defined) * - a forward type record and on an implementation type record: this is the most common, but * depending on hash values, we cannot tell which on will show up first */ for (i = 0; i < ctp->header.hash_num_buckets; i++) { struct hash_link* hl; for (hl = ctp->hash[i]; hl; hl = hl->next) { struct symt* symt; type = codeview_jump_to_type(ctp, hl->id); if (!codeview_is_top_level_type(type)) continue; if (codeview_type_is_forward(type)) { unsigned impl_type; /* make the forward declaration point to the implementation (if any) */ if (codeview_resolve_forward_type(ctp, type, hl->id, &impl_type)) { /* impl already loaded? */ if (!(symt = codeview_get_type(impl_type, TRUE))) { /* no load it */ if ((symt = codeview_load_forwardable_type(ctp, codeview_jump_to_type(ctp, impl_type)))) codeview_add_type(impl_type, symt); else FIXME("forward def of %x => %x, unable to load impl\n", hl->id, impl_type); } } else /* forward type definition without implementation, create empty type */ symt = codeview_load_forwardable_type(ctp, type); } else { /* if not already loaded (from previous forward declaration), load it */ if (!(symt = codeview_get_type(hl->id, TRUE))) symt = codeview_load_forwardable_type(ctp, type); } codeview_add_type(hl->id, symt); } } /* pass II: + non forwardable types: load them, but since they can be indirectly * loaded (from another type), but don't load them twice * + forwardable types: load their content */ for (curr_type = ctp->header.first_index; curr_type < ctp->header.last_index; curr_type++) { type = codeview_jump_to_type(ctp, curr_type); if (codeview_is_top_level_type(type) && (!codeview_get_type(curr_type, TRUE) || codeview_is_forwardable_type(type))) codeview_parse_one_type(ctp, curr_type, type); } return TRUE; } /*======================================================================== * Process CodeView line number information. */ static ULONG_PTR codeview_get_address(const struct msc_debug_info* msc_dbg, unsigned seg, unsigned offset); static void codeview_snarf_linetab(const struct msc_debug_info* msc_dbg, const BYTE* linetab, int size, BOOL pascal_str) { const BYTE* ptr = linetab; int nfile, nseg; int i, j; unsigned int k; const unsigned int* filetab; const unsigned int* lt_ptr; const unsigned short* linenos; const struct startend* start; unsigned source; ULONG_PTR addr, func_addr0; struct symt_function* func; const struct codeview_linetab_block* ltb; nfile = *(const short*)linetab; filetab = (const unsigned int*)(linetab + 2 * sizeof(short)); for (i = 0; i < nfile; i++) { ptr = linetab + filetab[i]; nseg = *(const short*)ptr; lt_ptr = (const unsigned int*)(ptr + 2 * sizeof(short)); start = (const struct startend*)(lt_ptr + nseg); /* * Now snarf the filename for all of the segments for this file. */ if (pascal_str) source = source_new(msc_dbg->module, NULL, terminate_string((const struct p_string*)(start + nseg))); else source = source_new(msc_dbg->module, NULL, (const char*)(start + nseg)); for (j = 0; j < nseg; j++) { ltb = (const struct codeview_linetab_block*)(linetab + *lt_ptr++); linenos = (const unsigned short*)<b->offsets[ltb->num_lines]; func_addr0 = codeview_get_address(msc_dbg, ltb->seg, start[j].start); if (!func_addr0) continue; for (func = NULL, k = 0; k < ltb->num_lines; k++) { /* now locate function (if any) */ addr = func_addr0 + ltb->offsets[k] - start[j].start; /* unfortunately, we can have several functions in the same block, if there's no * gap between them... find the new function if needed */ if (!func || addr >= func->ranges[0].high) { func = (struct symt_function*)symt_find_symbol_at(msc_dbg->module, addr); /* FIXME: at least labels support line numbers */ if (!symt_check_tag(&func->symt, SymTagFunction) && !symt_check_tag(&func->symt, SymTagInlineSite)) { WARN("--not a func at %04x:%08x %Ix tag=%d\n", ltb->seg, ltb->offsets[k], addr, func ? func->symt.tag : -1); func = NULL; break; } } symt_add_func_line(msc_dbg->module, func, source, linenos[k], addr); } } } } static const char* pdb_get_string_table_entry(const PDB_STRING_TABLE* table, unsigned offset); static void codeview_snarf_linetab2(const struct msc_debug_info* msc_dbg, const struct cv_module_snarf* cvmod) { unsigned i; const void* hdr_last = (const char*)cvmod->dbgsubsect + cvmod->dbgsubsect_size; const struct CV_DebugSSubsectionHeader_t* hdr; const struct CV_DebugSSubsectionHeader_t* hdr_next; const struct CV_DebugSSubsectionHeader_t* hdr_files = NULL; const struct CV_DebugSLinesHeader_t* lines_hdr; const struct CV_DebugSLinesFileBlockHeader_t* files_hdr; const struct CV_Line_t* lines; const struct CV_Checksum_t* chksms; unsigned source; struct symt_function* func; /* locate DEBUG_S_FILECHKSMS (if any) */ for (hdr = cvmod->dbgsubsect; CV_IS_INSIDE(hdr, hdr_last); hdr = CV_RECORD_GAP(hdr, hdr->cbLen)) { if (hdr->type == DEBUG_S_FILECHKSMS) { hdr_files = hdr; break; } } if (!hdr_files) { TRACE("No DEBUG_S_FILECHKSMS found\n"); return; } for (hdr = cvmod->dbgsubsect; CV_IS_INSIDE(hdr, hdr_last); hdr = hdr_next) { hdr_next = CV_RECORD_GAP(hdr, hdr->cbLen); if (!(hdr->type & DEBUG_S_IGNORE)) { ULONG_PTR lineblk_base; /* FIXME: should also check that whole lines_blk fits in linetab + size */ switch (hdr->type) { case DEBUG_S_LINES: lines_hdr = CV_RECORD_AFTER(hdr); files_hdr = CV_RECORD_AFTER(lines_hdr); /* Skip blocks that are too small - Intel C Compiler generates these. */ if (!CV_IS_INSIDE(files_hdr, hdr_next)) break; TRACE("block from %04x:%08x #%x\n", lines_hdr->segCon, lines_hdr->offCon, lines_hdr->cbCon); chksms = CV_RECORD_GAP(hdr_files, files_hdr->offFile); if (!CV_IS_INSIDE(chksms, CV_RECORD_GAP(hdr_files, hdr_files->cbLen))) { WARN("Corrupt PDB file: offset in CHKSMS subsection is invalid\n"); break; } source = source_new(msc_dbg->module, NULL, pdb_get_string_table_entry(cvmod->strimage, chksms->strOffset)); lineblk_base = codeview_get_address(msc_dbg, lines_hdr->segCon, lines_hdr->offCon); lines = CV_RECORD_AFTER(files_hdr); for (i = 0; i < files_hdr->nLines; i++) { func = (struct symt_function*)symt_find_symbol_at(msc_dbg->module, lineblk_base + lines[i].offset); /* FIXME: at least labels support line numbers */ if (!symt_check_tag(&func->symt, SymTagFunction) && !symt_check_tag(&func->symt, SymTagInlineSite)) { WARN("--not a func at %04x:%08x %Ix tag=%d\n", lines_hdr->segCon, lines_hdr->offCon + lines[i].offset, lineblk_base + lines[i].offset, func ? func->symt.tag : -1); continue; } symt_add_func_line(msc_dbg->module, func, source, lines[i].linenumStart, lineblk_base + lines[i].offset); } break; case DEBUG_S_FILECHKSMS: /* skip */ break; default: break; } } hdr = hdr_next; } } /*======================================================================== * Process CodeView symbol information. */ static unsigned int codeview_map_offset(const struct msc_debug_info* msc_dbg, unsigned int offset) { int nomap = msc_dbg->nomap; const OMAP* omapp = msc_dbg->omapp; int i; if (!nomap || !omapp) return offset; /* FIXME: use binary search */ for (i = 0; i < nomap - 1; i++) if (omapp[i].rva <= offset && omapp[i+1].rva > offset) return !omapp[i].rvaTo ? 0 : omapp[i].rvaTo + (offset - omapp[i].rva); return 0; } static ULONG_PTR codeview_get_address(const struct msc_debug_info* msc_dbg, unsigned seg, unsigned offset) { int nsect = msc_dbg->nsect; const IMAGE_SECTION_HEADER* sectp = msc_dbg->sectp; if (!seg || seg > nsect) return 0; return msc_dbg->module->module.BaseOfImage + codeview_map_offset(msc_dbg, sectp[seg-1].VirtualAddress + offset); } static BOOL func_has_local(struct symt_function* func, const char* name) { int i; for (i = 0; i < func->vchildren.num_elts; ++i) { struct symt* p = *(struct symt**)vector_at(&func->vchildren, i); if (symt_check_tag(p, SymTagData) && !strcmp(((struct symt_data*)p)->hash_elt.name, name)) return TRUE; } return FALSE; } static const union codeview_symbol* get_next_sym(const union codeview_symbol* sym) { return (const union codeview_symbol*)((const char*)sym + sym->generic.len + 2); } static inline void codeview_add_variable(const struct msc_debug_info* msc_dbg, struct symt_compiland* compiland, struct symt_function* func, struct symt_block* block, const char* name, unsigned segment, unsigned offset, unsigned symtype, BOOL is_local, BOOL in_tls, BOOL dontcheck) { if (name && *name) { struct location loc; loc.kind = in_tls ? loc_tlsrel : loc_absolute; loc.reg = 0; loc.offset = in_tls ? offset : codeview_get_address(msc_dbg, segment, offset); if (func) { if (!is_local || in_tls) WARN("Unsupported construct\n"); symt_add_func_local(msc_dbg->module, func, DataIsStaticLocal, &loc, block, codeview_get_type(symtype, FALSE), name); return; } if (!dontcheck && !in_tls) { /* Check that we don't add twice the same variable */ struct hash_table_iter hti; void* ptr; struct symt_ht* sym; hash_table_iter_init(&msc_dbg->module->ht_symbols, &hti, name); while ((ptr = hash_table_iter_up(&hti))) { sym = CONTAINING_RECORD(ptr, struct symt_ht, hash_elt); if (symt_check_tag(&sym->symt, SymTagData) && !strcmp(sym->hash_elt.name, name)) { struct symt_data* symdata = (struct symt_data*)&sym->symt; if (symdata->kind == (is_local ? DataIsFileStatic : DataIsGlobal) && symdata->u.var.kind == loc.kind && symdata->u.var.offset == loc.offset && symdata->container == &compiland->symt) { /* We don't compare types yet... Unfortunately, they are not * always the same typeid... it'd require full type equivalence * (eg: we've seen 'int* foo' <> 'int[4] foo') */ return; } } } } if (is_local ^ (compiland != NULL)) FIXME("Unsupported construct\n"); symt_new_global_variable(msc_dbg->module, compiland, name, is_local, loc, 0, codeview_get_type(symtype, FALSE)); } } struct cv_local_info { unsigned short kind; /* the S_DEFRANGE* */ unsigned short ngaps; /* number of gaps */ unsigned short reg; unsigned short rangelen; /* after start */ short offset; DWORD_PTR start; struct cv_addr_gap gaps[0]; }; static const struct cv_addr_gap* codeview_get_gaps(const union codeview_symbol* symrange) { const struct cv_addr_gap* gap; switch (symrange->generic.id) { case S_DEFRANGE: gap = symrange->defrange_v3.gaps; break; case S_DEFRANGE_SUBFIELD: gap = symrange->defrange_subfield_v3.gaps; break; case S_DEFRANGE_REGISTER: gap = symrange->defrange_register_v3.gaps; break; case S_DEFRANGE_FRAMEPOINTER_REL: gap = symrange->defrange_frameptrrel_v3.gaps; break; case S_DEFRANGE_SUBFIELD_REGISTER: gap = symrange->defrange_subfield_register_v3.gaps; break; case S_DEFRANGE_REGISTER_REL: gap = symrange->defrange_registerrel_v3.gaps; break; /* no gaps for that one */ case S_DEFRANGE_FRAMEPOINTER_REL_FULL_SCOPE: default: return NULL; } return gap != (const struct cv_addr_gap*)get_next_sym(symrange) ? gap : NULL; } static void codeview_xform_range(const struct msc_debug_info* msc_dbg, struct cv_local_info* locinfo, const struct cv_addr_range* adrange) { locinfo->start = codeview_get_address(msc_dbg, adrange->isectStart, adrange->offStart); locinfo->rangelen = adrange->cbRange; } static unsigned codeview_defrange_length(const union codeview_symbol* sym) { const union codeview_symbol* first_symrange = get_next_sym(sym); const union codeview_symbol* symrange; for (symrange = first_symrange; symrange->generic.id >= S_DEFRANGE && symrange->generic.id <= S_DEFRANGE_REGISTER_REL; symrange = get_next_sym(symrange)) {} return (const char*)symrange - (const char*)first_symrange; } static unsigned codeview_transform_defrange(const struct msc_debug_info* msc_dbg, struct symt_function* curr_func, const union codeview_symbol* sym, struct location* loc) { const union codeview_symbol* first_symrange = get_next_sym(sym); const union codeview_symbol* symrange; const struct cv_addr_gap* gap; unsigned len, alloc = sizeof(DWORD); /* for terminating kind = 0 */ unsigned char* ptr; /* we need to transform the cv_addr_range into cv_local_info */ for (symrange = first_symrange; symrange->generic.id >= S_DEFRANGE && symrange->generic.id <= S_DEFRANGE_REGISTER_REL; symrange = get_next_sym(symrange)) { gap = codeview_get_gaps(symrange); alloc += sizeof(struct cv_local_info) + (gap ? (const char*)get_next_sym(symrange) - (const char*)gap : 0); } /* total length of all S_DEFRANGE* records (in bytes) following S_LOCAL */ len = (const char*)symrange - (const char*)first_symrange; ptr = pool_alloc(&msc_dbg->module->pool, alloc); if (ptr) { struct cv_local_info* locinfo = (struct cv_local_info*)ptr; loc->kind = loc_cv_local_range; loc->offset = (DWORD_PTR)ptr; /* transform the cv_addr_range into cv_local_info */ for (symrange = first_symrange; symrange->generic.id >= S_DEFRANGE && symrange->generic.id <= S_DEFRANGE_REGISTER_REL; symrange = get_next_sym(symrange)) { locinfo->kind = symrange->generic.id; switch (symrange->generic.id) { case S_DEFRANGE: codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_v3.range); /* FIXME: transformation unsupported; let loc_compute bark if actually needed */ break; case S_DEFRANGE_SUBFIELD: codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_subfield_v3.range); /* FIXME: transformation unsupported; let loc_compute bark if actually needed */ break; case S_DEFRANGE_REGISTER: locinfo->reg = symrange->defrange_register_v3.reg; codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_register_v3.range); break; case S_DEFRANGE_FRAMEPOINTER_REL: locinfo->offset = symrange->defrange_frameptrrel_v3.offFramePointer; codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_frameptrrel_v3.range); break; case S_DEFRANGE_SUBFIELD_REGISTER: locinfo->reg = symrange->defrange_subfield_register_v3.reg; locinfo->offset = symrange->defrange_subfield_register_v3.offParent; codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_subfield_register_v3.range); break; case S_DEFRANGE_FRAMEPOINTER_REL_FULL_SCOPE: locinfo->offset = symrange->defrange_frameptr_relfullscope_v3.offFramePointer; locinfo->start = curr_func->ranges[0].low; locinfo->rangelen = addr_range_size(&curr_func->ranges[0]); break; case S_DEFRANGE_REGISTER_REL: locinfo->reg = symrange->defrange_registerrel_v3.baseReg; locinfo->offset = symrange->defrange_registerrel_v3.offBasePointer; codeview_xform_range(msc_dbg, locinfo, &symrange->defrange_registerrel_v3.range); break; default: assert(0); } gap = codeview_get_gaps(symrange); if (gap) { unsigned gaplen = (const char*)get_next_sym(symrange) - (const char*)gap; locinfo->ngaps = gaplen / sizeof(*gap); memcpy(locinfo->gaps, gap, gaplen); locinfo = (struct cv_local_info*)((char*)(locinfo + 1) + gaplen); } else { locinfo->ngaps = 0; locinfo++; } } *(DWORD*)locinfo = 0; /* store terminating kind == 0 */ } else { loc->kind = loc_error; loc->reg = loc_err_internal; } return len; } static unsigned codeview_binannot_uncompress(const unsigned char** pptr) { unsigned res = (unsigned)(-1); const unsigned char* ptr = *pptr; if ((*ptr & 0x80) == 0x00) res = (unsigned)(*ptr++); else if ((*ptr & 0xC0) == 0x80) { res = (unsigned)((*ptr++ & 0x3f) << 8); res |= *ptr++; } else if ((*ptr & 0xE0) == 0xC0) { res = (*ptr++ & 0x1f) << 24; res |= *ptr++ << 16; res |= *ptr++ << 8; res |= *ptr++; } else res = (unsigned)(-1); *pptr = ptr; return res; } struct cv_binannot { const unsigned char* annot; /* current pointer */ const unsigned char* last_annot; /* end of binary annotation stream (first byte after) */ unsigned opcode; /* last decoded opcode */ unsigned arg1, arg2; }; static BOOL codeview_advance_binannot(struct cv_binannot* cvba) { if (cvba->annot >= cvba->last_annot) return FALSE; cvba->opcode = codeview_binannot_uncompress(&cvba->annot); if (cvba->opcode <= BA_OP_Invalid || cvba->opcode > BA_OP_ChangeColumnEnd) return FALSE; if (cvba->annot >= cvba->last_annot) return FALSE; cvba->arg1 = codeview_binannot_uncompress(&cvba->annot); if (cvba->opcode == BA_OP_ChangeCodeOffsetAndLineOffset) { cvba->arg2 = cvba->arg1 >> 4; cvba->arg1 &= 0x0F; } else if (cvba->opcode == BA_OP_ChangeCodeLengthAndCodeOffset) { if (cvba->annot >= cvba->last_annot) return FALSE; cvba->arg2 = codeview_binannot_uncompress(&cvba->annot); } else cvba->arg2 = 0; return TRUE; } static inline int binannot_getsigned(unsigned i) { return (i & 1) ? -(int)(i >> 1) : (int)(i >> 1); } static BOOL cv_dbgsubsect_find_inlinee(const struct msc_debug_info* msc_dbg, unsigned inlineeid, const struct cv_module_snarf* cvmod, const struct CV_DebugSSubsectionHeader_t* hdr_files, unsigned* srcfile, unsigned* srcline) { const struct CV_DebugSSubsectionHeader_t* hdr; const struct CV_DebugSSubsectionHeader_t* next_hdr; const struct CV_InlineeSourceLine_t* inlsrc; const struct CV_InlineeSourceLineEx_t* inlsrcex; const struct CV_Checksum_t* chksms; for (hdr = cvmod->dbgsubsect; CV_IS_INSIDE(hdr, cvmod->dbgsubsect + cvmod->dbgsubsect_size); hdr = next_hdr) { next_hdr = CV_RECORD_GAP(hdr, hdr->cbLen); if (hdr->type != DEBUG_S_INLINEELINES) continue; /* subsection starts with a DWORD signature */ switch (*(DWORD*)CV_RECORD_AFTER(hdr)) { case CV_INLINEE_SOURCE_LINE_SIGNATURE: inlsrc = CV_RECORD_GAP(hdr, sizeof(DWORD)); while (CV_IS_INSIDE(inlsrc, next_hdr)) { if (inlsrc->inlinee == inlineeid) { chksms = CV_RECORD_GAP(hdr_files, inlsrc->fileId); if (!CV_IS_INSIDE(chksms, CV_RECORD_GAP(hdr_files, hdr_files->cbLen))) return FALSE; *srcfile = source_new(msc_dbg->module, NULL, pdb_get_string_table_entry(cvmod->strimage, chksms->strOffset)); *srcline = inlsrc->sourceLineNum; return TRUE; } ++inlsrc; } break; case CV_INLINEE_SOURCE_LINE_SIGNATURE_EX: inlsrcex = CV_RECORD_GAP(hdr, sizeof(DWORD)); while (CV_IS_INSIDE(inlsrcex, next_hdr)) { if (inlsrcex->inlinee == inlineeid) { chksms = CV_RECORD_GAP(hdr_files, inlsrcex->fileId); if (!CV_IS_INSIDE(chksms, CV_RECORD_GAP(hdr_files, hdr_files->cbLen))) return FALSE; *srcfile = source_new(msc_dbg->module, NULL, pdb_get_string_table_entry(cvmod->strimage, chksms->strOffset)); *srcline = inlsrcex->sourceLineNum; return TRUE; } inlsrcex = CV_RECORD_GAP(inlsrcex, inlsrcex->countOfExtraFiles * sizeof(inlsrcex->extraFileId[0])); } break; default: FIXME("Unknown signature %lx in INLINEELINES subsection\n", *(DWORD*)CV_RECORD_AFTER(hdr)); break; } } return FALSE; } static inline void inline_site_update_last_range(struct symt_function* inlined, unsigned index, ULONG_PTR hi) { if (index && index <= inlined->num_ranges) { struct addr_range* range = &inlined->ranges[index - 1]; /* only change range if it has no span (code start without code end) */ if (range->low == range->high) range->high = hi; } } static unsigned inline_site_get_num_ranges(const unsigned char* annot, const unsigned char* last_annot) { struct cv_binannot cvba; unsigned num_ranges = 0; cvba.annot = annot; cvba.last_annot = last_annot; while (codeview_advance_binannot(&cvba)) { switch (cvba.opcode) { case BA_OP_CodeOffset: case BA_OP_ChangeCodeLength: case BA_OP_ChangeFile: case BA_OP_ChangeLineOffset: break; case BA_OP_ChangeCodeOffset: case BA_OP_ChangeCodeOffsetAndLineOffset: case BA_OP_ChangeCodeLengthAndCodeOffset: num_ranges++; break; default: WARN("Unsupported op %d\n", cvba.opcode); break; } } return num_ranges; } static struct symt_function* codeview_create_inline_site(const struct msc_debug_info* msc_dbg, const struct cv_module_snarf* cvmod, struct symt_function* top_func, struct symt* container, cv_itemid_t inlinee, const unsigned char* annot, const unsigned char* last_annot) { const struct CV_DebugSSubsectionHeader_t* hdr_files = NULL; const union codeview_type* cvt; struct symt_function* inlined; struct cv_binannot cvba; BOOL srcok; unsigned num_ranges; unsigned offset, index, line, srcfile; const struct CV_Checksum_t* chksms; if (!cvmod->ipi_ctp || !(cvt = codeview_jump_to_type(cvmod->ipi_ctp, inlinee))) { FIXME("Couldn't find type %x in IPI stream\n", inlinee); return NULL; } num_ranges = inline_site_get_num_ranges(annot, last_annot); if (!num_ranges) return NULL; switch (cvt->generic.id) { case LF_FUNC_ID: inlined = symt_new_inlinesite(msc_dbg->module, top_func, container, cvt->func_id_v3.name, codeview_get_type(cvt->func_id_v3.type, FALSE), num_ranges); break; case LF_MFUNC_ID: /* FIXME we just declare a function, not a method */ inlined = symt_new_inlinesite(msc_dbg->module, top_func, container, cvt->mfunc_id_v3.name, codeview_get_type(cvt->mfunc_id_v3.type, FALSE), num_ranges); break; default: FIXME("unsupported inlinee kind %x\n", cvt->generic.id); return NULL; } for (hdr_files = cvmod->dbgsubsect; CV_IS_INSIDE(hdr_files, cvmod->dbgsubsect + cvmod->dbgsubsect_size); hdr_files = CV_RECORD_GAP(hdr_files, hdr_files->cbLen)) { if (hdr_files->type == DEBUG_S_FILECHKSMS) break; } if (!hdr_files) return FALSE; srcok = cv_dbgsubsect_find_inlinee(msc_dbg, inlinee, cvmod, hdr_files, &srcfile, &line); if (!srcok) srcfile = line = 0; /* rescan all annotations and store ranges & line information */ offset = 0; index = 0; cvba.annot = annot; cvba.last_annot = last_annot; while (codeview_advance_binannot(&cvba)) { switch (cvba.opcode) { case BA_OP_CodeOffset: offset = cvba.arg1; break; case BA_OP_ChangeCodeOffset: offset += cvba.arg1; inline_site_update_last_range(inlined, index, top_func->ranges[0].low + offset); if (srcok) symt_add_func_line(msc_dbg->module, inlined, srcfile, line, top_func->ranges[0].low + offset); inlined->ranges[index ].low = top_func->ranges[0].low + offset; inlined->ranges[index++].high = top_func->ranges[0].low + offset; break; case BA_OP_ChangeCodeLength: /* this op isn't widely used by MSVC, but clang uses it a lot... */ offset += cvba.arg1; inline_site_update_last_range(inlined, index, top_func->ranges[0].low + offset); break; case BA_OP_ChangeFile: chksms = CV_RECORD_GAP(hdr_files, cvba.arg1); if (CV_IS_INSIDE(chksms, CV_RECORD_GAP(hdr_files, hdr_files->cbLen))) srcfile = source_new(msc_dbg->module, NULL, pdb_get_string_table_entry(cvmod->strimage, chksms->strOffset)); break; case BA_OP_ChangeLineOffset: line += binannot_getsigned(cvba.arg1); break; case BA_OP_ChangeCodeOffsetAndLineOffset: line += binannot_getsigned(cvba.arg2); offset += cvba.arg1; inline_site_update_last_range(inlined, index, top_func->ranges[0].low + offset); if (srcok) symt_add_func_line(msc_dbg->module, inlined, srcfile, line, top_func->ranges[0].low + offset); inlined->ranges[index ].low = top_func->ranges[0].low + offset; inlined->ranges[index++].high = top_func->ranges[0].low + offset; break; case BA_OP_ChangeCodeLengthAndCodeOffset: offset += cvba.arg2; inline_site_update_last_range(inlined, index, top_func->ranges[0].low + offset); if (srcok) symt_add_func_line(msc_dbg->module, inlined, srcfile, line, top_func->ranges[0].low + offset); inlined->ranges[index ].low = top_func->ranges[0].low + offset; inlined->ranges[index++].high = top_func->ranges[0].low + offset + cvba.arg1; break; default: WARN("Unsupported op %d\n", cvba.opcode); break; } } if (index != num_ranges) /* sanity check */ FIXME("Internal logic error\n"); if (inlined->num_ranges) { struct addr_range* range = &inlined->ranges[inlined->num_ranges - 1]; if (range->low == range->high) WARN("pending empty range at end of %s inside %s\n", inlined->hash_elt.name, top_func->hash_elt.name); } return inlined; } static struct symt_compiland* codeview_new_compiland(const struct msc_debug_info* msc_dbg, const char* objname) { unsigned int src_idx = source_new(msc_dbg->module, NULL, objname); unsigned int i; /* In some cases MSVC generates several compiland entries with same pathname in PDB file. * (for example: for an import library, one compiland entry per imported function is generated). * But native dbghelp (in this case) merges in a single compiland instance. */ for (i = 0; i < msc_dbg->module->top->vchildren.num_elts; i++) { struct symt_compiland** p = vector_at(&msc_dbg->module->top->vchildren, i); if (symt_check_tag(&(*p)->symt, SymTagCompiland) && (*p)->source == src_idx) return *p; } return symt_new_compiland(msc_dbg->module, src_idx); } static BOOL codeview_snarf(const struct msc_debug_info* msc_dbg, const BYTE* root, unsigned offset, unsigned size, const struct cv_module_snarf* cvmod, const char* objname) { struct symt_function* top_func = NULL; struct symt_function* curr_func = NULL; int i, length; struct symt_block* block = NULL; struct symt* symt; struct symt_compiland* compiland = NULL; struct location loc; /* overwrite compiland name from outer context (if any) */ if (objname) compiland = codeview_new_compiland(msc_dbg, objname); /* * Loop over the different types of records and whenever we * find something we are interested in, record it and move on. */ for (i = offset; i < size; i += length) { const union codeview_symbol* sym = (const union codeview_symbol*)(root + i); length = sym->generic.len + 2; if (i + length > size) break; if (!sym->generic.id || length < 4) break; if (length & 3) FIXME("unpadded len %u\n", length); switch (sym->generic.id) { /* * Global and local data symbols. We don't associate these * with any given source file. */ case S_GDATA32_16t: case S_LDATA32_16t: codeview_add_variable(msc_dbg, compiland, curr_func, block, terminate_string(&sym->data_v1.p_name), sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype, sym->generic.id == S_LDATA32_16t, FALSE, TRUE); break; case S_GDATA32_ST: case S_LDATA32_ST: codeview_add_variable(msc_dbg, compiland, curr_func, block, terminate_string(&sym->data_v2.p_name), sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype, sym->generic.id == S_LDATA32_ST, FALSE, TRUE); break; case S_GDATA32: case S_LDATA32: codeview_add_variable(msc_dbg, compiland, curr_func, block, sym->data_v3.name, sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype, sym->generic.id == S_LDATA32, FALSE, TRUE); break; /* variables with thread storage */ case S_GTHREAD32_16t: case S_LTHREAD32_16t: codeview_add_variable(msc_dbg, compiland, curr_func, block, terminate_string(&sym->thread_v1.p_name), sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype, sym->generic.id == S_LTHREAD32_16t, TRUE, TRUE); break; case S_GTHREAD32_ST: case S_LTHREAD32_ST: codeview_add_variable(msc_dbg, compiland, curr_func, block, terminate_string(&sym->thread_v2.p_name), sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype, sym->generic.id == S_LTHREAD32_ST, TRUE, TRUE); break; case S_GTHREAD32: case S_LTHREAD32: codeview_add_variable(msc_dbg, compiland, curr_func, block, sym->thread_v3.name, sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype, sym->generic.id == S_LTHREAD32, TRUE, TRUE); break; /* Public symbols */ case S_PUB32_16t: case S_PUB32_ST: case S_PUB32: case S_PROCREF: case S_LPROCREF: /* will be handled later on in codeview_snarf_public */ break; /* * Sort of like a global function, but it just points * to a thunk, which is a stupid name for what amounts to * a PLT slot in the normal jargon that everyone else uses. */ case S_THUNK32_ST: symt_new_thunk(msc_dbg->module, compiland, terminate_string(&sym->thunk_v1.p_name), sym->thunk_v1.thtype, codeview_get_address(msc_dbg, sym->thunk_v1.segment, sym->thunk_v1.offset), sym->thunk_v1.thunk_len); break; case S_THUNK32: symt_new_thunk(msc_dbg->module, compiland, sym->thunk_v3.name, sym->thunk_v3.thtype, codeview_get_address(msc_dbg, sym->thunk_v3.segment, sym->thunk_v3.offset), sym->thunk_v3.thunk_len); break; /* * Global and static functions. */ case S_GPROC32_16t: case S_LPROC32_16t: if (top_func) FIXME("nested function\n"); top_func = symt_new_function(msc_dbg->module, compiland, terminate_string(&sym->proc_v1.p_name), codeview_get_address(msc_dbg, sym->proc_v1.segment, sym->proc_v1.offset), sym->proc_v1.proc_len, codeview_get_type(sym->proc_v1.proctype, FALSE)); curr_func = top_func; loc.kind = loc_absolute; loc.offset = sym->proc_v1.debug_start; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL); loc.offset = sym->proc_v1.debug_end; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL); break; case S_GPROC32_ST: case S_LPROC32_ST: if (top_func) FIXME("nested function\n"); top_func = symt_new_function(msc_dbg->module, compiland, terminate_string(&sym->proc_v2.p_name), codeview_get_address(msc_dbg, sym->proc_v2.segment, sym->proc_v2.offset), sym->proc_v2.proc_len, codeview_get_type(sym->proc_v2.proctype, FALSE)); curr_func = top_func; loc.kind = loc_absolute; loc.offset = sym->proc_v2.debug_start; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL); loc.offset = sym->proc_v2.debug_end; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL); break; case S_GPROC32: case S_LPROC32: if (top_func) FIXME("nested function\n"); top_func = symt_new_function(msc_dbg->module, compiland, sym->proc_v3.name, codeview_get_address(msc_dbg, sym->proc_v3.segment, sym->proc_v3.offset), sym->proc_v3.proc_len, codeview_get_type(sym->proc_v3.proctype, FALSE)); curr_func = top_func; loc.kind = loc_absolute; loc.offset = sym->proc_v3.debug_start; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL); loc.offset = sym->proc_v3.debug_end; symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL); break; /* * Function parameters and stack variables. */ case S_BPREL32_16t: loc.kind = loc_regrel; /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */ loc.reg = CV_REG_EBP; loc.offset = sym->stack_v1.offset; symt_add_func_local(msc_dbg->module, curr_func, sym->stack_v1.offset > 0 ? DataIsParam : DataIsLocal, &loc, block, codeview_get_type(sym->stack_v1.symtype, FALSE), terminate_string(&sym->stack_v1.p_name)); break; case S_BPREL32_ST: loc.kind = loc_regrel; /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */ loc.reg = CV_REG_EBP; loc.offset = sym->stack_v2.offset; symt_add_func_local(msc_dbg->module, curr_func, sym->stack_v2.offset > 0 ? DataIsParam : DataIsLocal, &loc, block, codeview_get_type(sym->stack_v2.symtype, FALSE), terminate_string(&sym->stack_v2.p_name)); break; case S_BPREL32: /* S_BPREL32 can be present after S_LOCAL; prefer S_LOCAL when present */ if (func_has_local(curr_func, sym->stack_v3.name)) break; loc.kind = loc_regrel; /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */ loc.reg = CV_REG_EBP; loc.offset = sym->stack_v3.offset; symt_add_func_local(msc_dbg->module, curr_func, sym->stack_v3.offset > 0 ? DataIsParam : DataIsLocal, &loc, block, codeview_get_type(sym->stack_v3.symtype, FALSE), sym->stack_v3.name); break; case S_REGREL32: /* S_REGREL32 can be present after S_LOCAL; prefer S_LOCAL when present */ if (func_has_local(curr_func, sym->regrel_v3.name)) break; loc.kind = loc_regrel; loc.reg = sym->regrel_v3.reg; loc.offset = sym->regrel_v3.offset; symt_add_func_local(msc_dbg->module, curr_func, /* FIXME this is wrong !!! */ sym->regrel_v3.offset > 0 ? DataIsParam : DataIsLocal, &loc, block, codeview_get_type(sym->regrel_v3.symtype, FALSE), sym->regrel_v3.name); break; case S_REGISTER_16t: loc.kind = loc_register; loc.reg = sym->register_v1.reg; loc.offset = 0; symt_add_func_local(msc_dbg->module, curr_func, DataIsLocal, &loc, block, codeview_get_type(sym->register_v1.type, FALSE), terminate_string(&sym->register_v1.p_name)); break; case S_REGISTER_ST: loc.kind = loc_register; loc.reg = sym->register_v2.reg; loc.offset = 0; symt_add_func_local(msc_dbg->module, curr_func, DataIsLocal, &loc, block, codeview_get_type(sym->register_v2.type, FALSE), terminate_string(&sym->register_v2.p_name)); break; case S_REGISTER: /* S_REGISTER can be present after S_LOCAL; prefer S_LOCAL when present */ if (func_has_local(curr_func, sym->register_v3.name)) break; loc.kind = loc_register; loc.reg = sym->register_v3.reg; loc.offset = 0; symt_add_func_local(msc_dbg->module, curr_func, DataIsLocal, &loc, block, codeview_get_type(sym->register_v3.type, FALSE), sym->register_v3.name); break; case S_BLOCK32_ST: block = symt_open_func_block(msc_dbg->module, curr_func, block, 1); block->ranges[0].low = codeview_get_address(msc_dbg, sym->block_v1.segment, sym->block_v1.offset); block->ranges[0].high = block->ranges[0].low + sym->block_v1.length; break; case S_BLOCK32: block = symt_open_func_block(msc_dbg->module, curr_func, block, 1); block->ranges[0].low = codeview_get_address(msc_dbg, sym->block_v3.segment, sym->block_v3.offset); block->ranges[0].high = block->ranges[0].low + sym->block_v3.length; break; case S_END: if (block) { block = symt_close_func_block(msc_dbg->module, curr_func, block); } else if (top_func) { if (curr_func != top_func) FIXME("shouldn't close a top function with an opened inlined function\n"); top_func = curr_func = NULL; } break; case S_COMPILE: TRACE("S-Compile-V1 machine:%x language:%x %s\n", sym->compile_v1.machine, sym->compile_v1.flags.language, terminate_string(&sym->compile_v1.p_name)); break; case S_COMPILE2_ST: TRACE("S-Compile-V2 machine:%x language:%x %s\n", sym->compile2_v2.machine, sym->compile2_v2.flags.iLanguage, terminate_string(&sym->compile2_v2.p_name)); break; case S_COMPILE2: TRACE("S-Compile-V3 machine:%x language:%x %s\n", sym->compile2_v3.machine, sym->compile2_v3.flags.iLanguage, sym->compile2_v3.name); break; case S_COMPILE3: TRACE("S-Compile3-V3 machine:%x language:%x %s\n", sym->compile3_v3.machine, sym->compile3_v3.flags.iLanguage, sym->compile3_v3.name); break; case S_ENVBLOCK: break; case S_OBJNAME: TRACE("S-ObjName-V3 %s\n", sym->objname_v3.name); if (!compiland) compiland = codeview_new_compiland(msc_dbg, sym->objname_v3.name); break; case S_OBJNAME_ST: TRACE("S-ObjName-V1 %s\n", terminate_string(&sym->objname_v1.p_name)); if (!compiland) compiland = codeview_new_compiland(msc_dbg, terminate_string(&sym->objname_v1.p_name)); break; case S_LABEL32_ST: if (curr_func) { loc.kind = loc_absolute; loc.offset = codeview_get_address(msc_dbg, sym->label_v1.segment, sym->label_v1.offset) - curr_func->ranges[0].low; symt_add_function_point(msc_dbg->module, curr_func, SymTagLabel, &loc, terminate_string(&sym->label_v1.p_name)); } else symt_new_label(msc_dbg->module, compiland, terminate_string(&sym->label_v1.p_name), codeview_get_address(msc_dbg, sym->label_v1.segment, sym->label_v1.offset)); break; case S_LABEL32: if (curr_func) { loc.kind = loc_absolute; loc.offset = codeview_get_address(msc_dbg, sym->label_v3.segment, sym->label_v3.offset) - curr_func->ranges[0].low; symt_add_function_point(msc_dbg->module, curr_func, SymTagLabel, &loc, sym->label_v3.name); } else symt_new_label(msc_dbg->module, compiland, sym->label_v3.name, codeview_get_address(msc_dbg, sym->label_v3.segment, sym->label_v3.offset)); break; case S_CONSTANT_16t: { int vlen; const struct p_string* name; struct symt* se; VARIANT v; vlen = leaf_as_variant(&v, &sym->constant_v1.cvalue); name = (const struct p_string*)((const char*)&sym->constant_v1.cvalue + vlen); se = codeview_get_type(sym->constant_v1.type, FALSE); TRACE("S-Constant-V1 %u %s %x\n", V_INT(&v), terminate_string(name), sym->constant_v1.type); symt_new_constant(msc_dbg->module, compiland, terminate_string(name), se, &v); } break; case S_CONSTANT_ST: { int vlen; const struct p_string* name; struct symt* se; VARIANT v; vlen = leaf_as_variant(&v, &sym->constant_v2.cvalue); name = (const struct p_string*)((const char*)&sym->constant_v2.cvalue + vlen); se = codeview_get_type(sym->constant_v2.type, FALSE); TRACE("S-Constant-V2 %u %s %x\n", V_INT(&v), terminate_string(name), sym->constant_v2.type); symt_new_constant(msc_dbg->module, compiland, terminate_string(name), se, &v); } break; case S_CONSTANT: { int vlen; const char* name; struct symt* se; VARIANT v; vlen = leaf_as_variant(&v, &sym->constant_v3.cvalue); name = (const char*)&sym->constant_v3.cvalue + vlen; se = codeview_get_type(sym->constant_v3.type, FALSE); TRACE("S-Constant-V3 %u %s %x\n", V_INT(&v), name, sym->constant_v3.type); /* FIXME: we should add this as a constant value */ symt_new_constant(msc_dbg->module, compiland, name, se, &v); } break; case S_UDT_16t: if (sym->udt_v1.type) { if ((symt = codeview_get_type(sym->udt_v1.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, terminate_string(&sym->udt_v1.p_name)); else FIXME("S-Udt %s: couldn't find type 0x%x\n", terminate_string(&sym->udt_v1.p_name), sym->udt_v1.type); } break; case S_UDT_ST: if (sym->udt_v2.type) { if ((symt = codeview_get_type(sym->udt_v2.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, terminate_string(&sym->udt_v2.p_name)); else FIXME("S-Udt %s: couldn't find type 0x%x\n", terminate_string(&sym->udt_v2.p_name), sym->udt_v2.type); } break; case S_UDT: if (sym->udt_v3.type) { if ((symt = codeview_get_type(sym->udt_v3.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, sym->udt_v3.name); else FIXME("S-Udt %s: couldn't find type 0x%x\n", sym->udt_v3.name, sym->udt_v3.type); } break; case S_LOCAL: /* FIXME: don't store global/static variables accessed through registers... we don't support that * in locals... anyway, global data record should be present as well (so the variable will be available * through the global definition, but potentially not updated) */ if (!sym->local_v3.varflags.enreg_global && !sym->local_v3.varflags.enreg_static) { length += codeview_transform_defrange(msc_dbg, curr_func, sym, &loc); symt_add_func_local(msc_dbg->module, curr_func, sym->local_v3.varflags.is_param ? DataIsParam : DataIsLocal, &loc, block, codeview_get_type(sym->local_v3.symtype, FALSE), sym->local_v3.name); } else length += codeview_defrange_length(sym); break; case S_INLINESITE: { struct symt_function* inlined = codeview_create_inline_site(msc_dbg, cvmod, top_func, block ? &block->symt : &curr_func->symt, sym->inline_site_v3.inlinee, sym->inline_site_v3.binaryAnnotations, (const unsigned char*)sym + length); if (inlined) { curr_func = inlined; block = NULL; } else { /* skip all records until paired S_INLINESITE_END */ sym = (const union codeview_symbol*)(root + sym->inline_site_v3.pEnd); if (sym->generic.id != S_INLINESITE_END) FIXME("complete wreckage\n"); length = sym->inline_site_v3.pEnd - i + sym->generic.len; } } break; case S_INLINESITE2: { struct symt_function* inlined = codeview_create_inline_site(msc_dbg, cvmod, top_func, block ? &block->symt : &curr_func->symt, sym->inline_site2_v3.inlinee, sym->inline_site2_v3.binaryAnnotations, (const unsigned char*)sym + length); if (inlined) { curr_func = inlined; block = NULL; } else { /* skip all records until paired S_INLINESITE_END */ sym = (const union codeview_symbol*)(root + sym->inline_site2_v3.pEnd); if (sym->generic.id != S_INLINESITE_END) FIXME("complete wreckage\n"); length = sym->inline_site_v3.pEnd - i + sym->generic.len; } } break; case S_INLINESITE_END: block = symt_check_tag(curr_func->container, SymTagBlock) ? (struct symt_block*)curr_func->container : NULL; curr_func = (struct symt_function*)symt_get_upper_inlined(curr_func); break; /* * These are special, in that they are always followed by an * additional length-prefixed string which is *not* included * into the symbol length count. We need to skip it. */ case S_PROCREF_ST: case S_DATAREF_ST: case S_LPROCREF_ST: { const char* name; name = (const char*)sym + length; length += (*name + 1 + 3) & ~3; break; } case S_SSEARCH: TRACE("Start search: seg=0x%x at offset 0x%08x\n", sym->ssearch_v1.segment, sym->ssearch_v1.offset); break; case S_ALIGN: TRACE("S-Align V1\n"); break; case S_HEAPALLOCSITE: TRACE("S-heap site V3: offset=0x%08x at sect_idx 0x%04x, inst_len 0x%08x, index 0x%08x\n", sym->heap_alloc_site_v3.offset, sym->heap_alloc_site_v3.sect_idx, sym->heap_alloc_site_v3.inst_len, sym->heap_alloc_site_v3.index); break; case S_SEPCODE: if (!top_func) { ULONG_PTR parent_addr = codeview_get_address(msc_dbg, sym->sepcode_v3.sectParent, sym->sepcode_v3.offParent); struct symt_ht* parent = symt_find_symbol_at(msc_dbg->module, parent_addr); if (symt_check_tag(&parent->symt, SymTagFunction)) { struct symt_function* pfunc = (struct symt_function*)parent; top_func = symt_new_function(msc_dbg->module, compiland, pfunc->hash_elt.name, codeview_get_address(msc_dbg, sym->sepcode_v3.sect, sym->sepcode_v3.off), sym->sepcode_v3.length, pfunc->type); curr_func = top_func; } else WARN("Couldn't find function referenced by S_SEPCODE at %04x:%08x\n", sym->sepcode_v3.sectParent, sym->sepcode_v3.offParent); } else FIXME("S_SEPCODE inside top-level function %s\n", top_func->hash_elt.name); break; /* the symbols we can safely ignore for now */ case S_TRAMPOLINE: case S_FRAMEPROC: case S_FRAMECOOKIE: case S_SECTION: case S_COFFGROUP: case S_EXPORT: case S_CALLSITEINFO: /* even if S_LOCAL groks all the S_DEFRANGE* records following itself, * those kinds of records can also be present after a S_FILESTATIC record * so silence them until (at least) S_FILESTATIC is supported */ case S_DEFRANGE_REGISTER: case S_DEFRANGE_FRAMEPOINTER_REL: case S_DEFRANGE_SUBFIELD_REGISTER: case S_DEFRANGE_FRAMEPOINTER_REL_FULL_SCOPE: case S_DEFRANGE_REGISTER_REL: case S_BUILDINFO: case S_FILESTATIC: case S_CALLEES: case S_CALLERS: case S_UNAMESPACE: case S_INLINEES: case S_POGODATA: TRACE("Unsupported symbol id %x\n", sym->generic.id); break; default: FIXME("Unsupported symbol id %x\n", sym->generic.id); dump(sym, 2 + sym->generic.len); break; } } if (cvmod) codeview_snarf_linetab2(msc_dbg, cvmod); return TRUE; } static BOOL codeview_is_inside(const struct cv_local_info* locinfo, const struct symt_function* func, DWORD_PTR ip) { unsigned i; /* ip must be in local_info range, but not in any of its gaps */ if (ip < locinfo->start || ip >= locinfo->start + locinfo->rangelen) return FALSE; for (i = 0; i < locinfo->ngaps; ++i) if (func->ranges[0].low + locinfo->gaps[i].gapStartOffset <= ip && ip < func->ranges[0].low + locinfo->gaps[i].gapStartOffset + locinfo->gaps[i].cbRange) return FALSE; return TRUE; } static void pdb_location_compute(struct process* pcs, const struct module_format* modfmt, const struct symt_function* func, struct location* loc) { const struct cv_local_info* locinfo; switch (loc->kind) { case loc_cv_local_range: for (locinfo = (const struct cv_local_info*)loc->offset; locinfo->kind != 0; locinfo = (const struct cv_local_info*)((const char*)(locinfo + 1) + locinfo->ngaps * sizeof(locinfo->gaps[0]))) { if (!codeview_is_inside(locinfo, func, pcs->localscope_pc)) continue; switch (locinfo->kind) { case S_DEFRANGE: case S_DEFRANGE_SUBFIELD: default: FIXME("Unsupported defrange %d\n", locinfo->kind); loc->kind = loc_error; loc->reg = loc_err_internal; return; case S_DEFRANGE_SUBFIELD_REGISTER: FIXME("sub-field part not handled\n"); /* fall through */ case S_DEFRANGE_REGISTER: loc->kind = loc_register; loc->reg = locinfo->reg; return; case S_DEFRANGE_REGISTER_REL: loc->kind = loc_regrel; loc->reg = locinfo->reg; loc->offset = locinfo->offset; return; case S_DEFRANGE_FRAMEPOINTER_REL: case S_DEFRANGE_FRAMEPOINTER_REL_FULL_SCOPE: loc->kind = loc_regrel; loc->reg = modfmt->module->cpu->frame_regno; loc->offset = locinfo->offset; return; } } break; default: break; } loc->kind = loc_error; loc->reg = loc_err_internal; } static void* pdb_read_stream(const struct pdb_file_info* pdb_file, DWORD stream_nr); static unsigned pdb_get_stream_size(const struct pdb_file_info* pdb_file, DWORD stream_nr); static BOOL codeview_snarf_sym_hashtable(const struct msc_debug_info* msc_dbg, const BYTE* symroot, DWORD symsize, const BYTE* hashroot, DWORD hashsize, BOOL (*feed)(const struct msc_debug_info* msc_dbg, const union codeview_symbol*)) { const DBI_HASH_HEADER* hash_hdr = (const DBI_HASH_HEADER*)hashroot; unsigned num_hash_records, i; const DBI_HASH_RECORD* hr; if (hashsize < sizeof(DBI_HASH_HEADER) || hash_hdr->signature != 0xFFFFFFFF || hash_hdr->version != 0xeffe0000 + 19990810 || (hash_hdr->hash_records_size % sizeof(DBI_HASH_RECORD)) != 0 || sizeof(DBI_HASH_HEADER) + hash_hdr->hash_records_size + DBI_BITMAP_HASH_SIZE > hashsize || (hashsize - (sizeof(DBI_HASH_HEADER) + hash_hdr->hash_records_size + DBI_BITMAP_HASH_SIZE)) % sizeof(unsigned)) { FIXME("Incorrect hash structure\n"); return FALSE; } hr = (DBI_HASH_RECORD*)(hash_hdr + 1); num_hash_records = hash_hdr->hash_records_size / sizeof(DBI_HASH_RECORD); /* Only iterate over the records listed in the hash table. * We assume that records present in stream, but not listed in hash table, are * invalid (and thus not loaded). */ for (i = 0; i < num_hash_records; i++) { if (hr[i].offset && hr[i].offset < symsize) { const union codeview_symbol* sym = (const union codeview_symbol*)(symroot + hr[i].offset - 1); (*feed)(msc_dbg, sym); } } return TRUE; } static BOOL pdb_global_feed_types(const struct msc_debug_info* msc_dbg, const union codeview_symbol* sym) { struct symt* symt; switch (sym->generic.id) { case S_UDT_16t: if (sym->udt_v1.type) { if ((symt = codeview_get_type(sym->udt_v1.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, terminate_string(&sym->udt_v1.p_name)); else FIXME("S-Udt %s: couldn't find type 0x%x\n", terminate_string(&sym->udt_v1.p_name), sym->udt_v1.type); } break; case S_UDT_ST: if (sym->udt_v2.type) { if ((symt = codeview_get_type(sym->udt_v2.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, terminate_string(&sym->udt_v2.p_name)); else FIXME("S-Udt %s: couldn't find type 0x%x\n", terminate_string(&sym->udt_v2.p_name), sym->udt_v2.type); } break; case S_UDT: if (sym->udt_v3.type) { if ((symt = codeview_get_type(sym->udt_v3.type, FALSE))) symt_new_typedef(msc_dbg->module, symt, sym->udt_v3.name); else FIXME("S-Udt %s: couldn't find type 0x%x\n", sym->udt_v3.name, sym->udt_v3.type); } break; default: return FALSE; } return TRUE; } static BOOL pdb_global_feed_variables(const struct msc_debug_info* msc_dbg, const union codeview_symbol* sym) { /* The only interest here is to add global variables that haven't been seen * in module (=compilation unit) stream. * So we don't care about 'local' symbols since we cannot tell their compiland. */ switch (sym->generic.id) { case S_GDATA32_16t: codeview_add_variable(msc_dbg, NULL, NULL, NULL, terminate_string(&sym->data_v1.p_name), sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype, FALSE, FALSE, FALSE); break; case S_GDATA32_ST: codeview_add_variable(msc_dbg, NULL, NULL, NULL, terminate_string(&sym->data_v2.p_name), sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype, FALSE, FALSE, FALSE); break; case S_GDATA32: codeview_add_variable(msc_dbg, NULL, NULL, NULL, sym->data_v3.name, sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype, FALSE, FALSE, FALSE); break; /* variables with thread storage */ case S_GTHREAD32_16t: codeview_add_variable(msc_dbg, NULL, NULL, NULL, terminate_string(&sym->thread_v1.p_name), sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype, FALSE, TRUE, FALSE); break; case S_GTHREAD32_ST: codeview_add_variable(msc_dbg, NULL, NULL, NULL, terminate_string(&sym->thread_v2.p_name), sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype, FALSE, TRUE, FALSE); break; case S_GTHREAD32: codeview_add_variable(msc_dbg, NULL, NULL, NULL, sym->thread_v3.name, sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype, FALSE, TRUE, FALSE); break; default: return FALSE; } return TRUE; } static BOOL pdb_global_feed_public(const struct msc_debug_info* msc_dbg, const union codeview_symbol* sym) { switch (sym->generic.id) { case S_PUB32_16t: symt_new_public(msc_dbg->module, NULL, terminate_string(&sym->public_v1.p_name), sym->public_v1.pubsymflags == SYMTYPE_FUNCTION, codeview_get_address(msc_dbg, sym->public_v1.segment, sym->public_v1.offset), 1); break; case S_PUB32_ST: symt_new_public(msc_dbg->module, NULL, terminate_string(&sym->public_v2.p_name), sym->public_v2.pubsymflags == SYMTYPE_FUNCTION, codeview_get_address(msc_dbg, sym->public_v2.segment, sym->public_v2.offset), 1); break; case S_PUB32: symt_new_public(msc_dbg->module, NULL, sym->public_v3.name, sym->public_v3.pubsymflags == SYMTYPE_FUNCTION, codeview_get_address(msc_dbg, sym->public_v3.segment, sym->public_v3.offset), 1); break; default: return FALSE; } return TRUE; } /*======================================================================== * Process PDB file. */ static void* pdb_jg_read(const struct PDB_JG_HEADER* pdb, const WORD* block_list, int size) { int i, num_blocks; BYTE* buffer; if (!size) return NULL; num_blocks = (size + pdb->block_size - 1) / pdb->block_size; buffer = HeapAlloc(GetProcessHeap(), 0, num_blocks * pdb->block_size); if (!buffer) return NULL; for (i = 0; i < num_blocks; i++) memcpy(buffer + i * pdb->block_size, (const char*)pdb + block_list[i] * pdb->block_size, pdb->block_size); return buffer; } static void* pdb_ds_read(const struct PDB_DS_HEADER* pdb, const UINT *block_list, int size) { int i, num_blocks; BYTE* buffer; if (!size) return NULL; num_blocks = (size + pdb->block_size - 1) / pdb->block_size; buffer = HeapAlloc(GetProcessHeap(), 0, num_blocks * pdb->block_size); if (!buffer) return NULL; for (i = 0; i < num_blocks; i++) memcpy(buffer + i * pdb->block_size, (const char*)pdb + block_list[i] * pdb->block_size, pdb->block_size); return buffer; } static void* pdb_read_jg_stream(const struct PDB_JG_HEADER* pdb, const struct PDB_JG_TOC* toc, DWORD stream_nr) { const WORD* block_list; DWORD i; if (!toc || stream_nr >= toc->num_streams) return NULL; block_list = (const WORD*) &toc->streams[toc->num_streams]; for (i = 0; i < stream_nr; i++) block_list += (toc->streams[i].size + pdb->block_size - 1) / pdb->block_size; return pdb_jg_read(pdb, block_list, toc->streams[stream_nr].size); } static void* pdb_read_ds_stream(const struct PDB_DS_HEADER* pdb, const struct PDB_DS_TOC* toc, DWORD stream_nr) { const UINT *block_list; DWORD i; if (!toc || stream_nr >= toc->num_streams) return NULL; if (toc->stream_size[stream_nr] == 0 || toc->stream_size[stream_nr] == 0xFFFFFFFF) return NULL; block_list = &toc->stream_size[toc->num_streams]; for (i = 0; i < stream_nr; i++) block_list += (toc->stream_size[i] + pdb->block_size - 1) / pdb->block_size; return pdb_ds_read(pdb, block_list, toc->stream_size[stream_nr]); } static void* pdb_read_stream(const struct pdb_file_info* pdb_file, DWORD stream_nr) { switch (pdb_file->kind) { case PDB_JG: return pdb_read_jg_stream((const struct PDB_JG_HEADER*)pdb_file->image, pdb_file->u.jg.toc, stream_nr); case PDB_DS: return pdb_read_ds_stream((const struct PDB_DS_HEADER*)pdb_file->image, pdb_file->u.ds.toc, stream_nr); } return NULL; } static unsigned pdb_get_stream_size(const struct pdb_file_info* pdb_file, DWORD stream_nr) { switch (pdb_file->kind) { case PDB_JG: return pdb_file->u.jg.toc->streams[stream_nr].size; case PDB_DS: return pdb_file->u.ds.toc->stream_size[stream_nr]; } return 0; } static void pdb_free(void* buffer) { HeapFree(GetProcessHeap(), 0, buffer); } static void pdb_free_file(struct pdb_file_info* pdb_file) { switch (pdb_file->kind) { case PDB_JG: pdb_free(pdb_file->u.jg.toc); pdb_file->u.jg.toc = NULL; break; case PDB_DS: pdb_free(pdb_file->u.ds.toc); pdb_file->u.ds.toc = NULL; break; } HeapFree(GetProcessHeap(), 0, pdb_file->stream_dict); } static BOOL pdb_load_stream_name_table(struct pdb_file_info* pdb_file, const char* str, unsigned cb) { DWORD* pdw; DWORD* ok_bits; DWORD count, numok; unsigned i, j; char* cpstr; pdw = (DWORD*)(str + cb); numok = *pdw++; count = *pdw++; pdb_file->stream_dict = HeapAlloc(GetProcessHeap(), 0, (numok + 1) * sizeof(struct pdb_stream_name) + cb); if (!pdb_file->stream_dict) return FALSE; cpstr = (char*)(pdb_file->stream_dict + numok + 1); memcpy(cpstr, str, cb); /* bitfield: first dword is len (in dword), then data */ ok_bits = pdw; pdw += *ok_bits++ + 1; pdw += *pdw + 1; /* skip deleted vector */ for (i = j = 0; i < count; i++) { if (ok_bits[i / 32] & (1 << (i % 32))) { if (j >= numok) break; pdb_file->stream_dict[j].name = &cpstr[*pdw++]; pdb_file->stream_dict[j].index = *pdw++; j++; } } /* add sentinel */ pdb_file->stream_dict[numok].name = NULL; pdb_file->fpoext_stream = -1; return TRUE; } static unsigned pdb_get_stream_by_name(const struct pdb_file_info* pdb_file, const char* name) { struct pdb_stream_name* psn; for (psn = pdb_file->stream_dict; psn && psn->name; psn++) { if (!strcmp(psn->name, name)) return psn->index; } return -1; } static PDB_STRING_TABLE* pdb_read_strings(const struct pdb_file_info* pdb_file) { unsigned idx; PDB_STRING_TABLE *ret; idx = pdb_get_stream_by_name(pdb_file, "/names"); if (idx != -1) { ret = pdb_read_stream( pdb_file, idx ); if (ret && ret->magic == 0xeffeeffe && sizeof(*ret) + ret->length <= pdb_get_stream_size(pdb_file, idx)) return ret; pdb_free( ret ); } WARN("string table not found\n"); return NULL; } static const char* pdb_get_string_table_entry(const PDB_STRING_TABLE* table, unsigned offset) { return (!table || offset >= table->length) ? NULL : (const char*)(table + 1) + offset; } static void pdb_module_remove(struct process* pcsn, struct module_format* modfmt) { unsigned i; for (i = 0; i < modfmt->u.pdb_info->used_subfiles; i++) { pdb_free_file(&modfmt->u.pdb_info->pdb_files[i]); if (modfmt->u.pdb_info->pdb_files[i].image) UnmapViewOfFile(modfmt->u.pdb_info->pdb_files[i].image); if (modfmt->u.pdb_info->pdb_files[i].hMap) CloseHandle(modfmt->u.pdb_info->pdb_files[i].hMap); } HeapFree(GetProcessHeap(), 0, modfmt); } static BOOL pdb_convert_types_header(PDB_TYPES* types, const BYTE* image) { if (!image) return FALSE; if (*(const DWORD*)image < 19960000) /* FIXME: correct version? */ { /* Old version of the types record header */ const PDB_TYPES_OLD* old = (const PDB_TYPES_OLD*)image; memset(types, 0, sizeof(PDB_TYPES)); types->version = old->version; types->type_offset = sizeof(PDB_TYPES_OLD); types->type_size = old->type_size; types->first_index = old->first_index; types->last_index = old->last_index; types->hash_stream = old->hash_stream; } else { /* New version of the types record header */ *types = *(const PDB_TYPES*)image; } return TRUE; } static void pdb_convert_symbols_header(PDB_SYMBOLS* symbols, int* header_size, const BYTE* image) { memset(symbols, 0, sizeof(PDB_SYMBOLS)); if (!image) return; if (*(const DWORD*)image != 0xffffffff) { /* Old version of the symbols record header */ const PDB_SYMBOLS_OLD* old = (const PDB_SYMBOLS_OLD*)image; symbols->version = 0; symbols->module_size = old->module_size; symbols->sectcontrib_size = old->sectcontrib_size; symbols->segmap_size = old->segmap_size; symbols->srcmodule_size = old->srcmodule_size; symbols->pdbimport_size = 0; symbols->global_hash_stream = old->global_hash_stream; symbols->public_stream = old->public_stream; symbols->gsym_stream = old->gsym_stream; *header_size = sizeof(PDB_SYMBOLS_OLD); } else { /* New version of the symbols record header */ *symbols = *(const PDB_SYMBOLS*)image; *header_size = sizeof(PDB_SYMBOLS); } } static void pdb_convert_symbol_file(const PDB_SYMBOLS* symbols, PDB_SYMBOL_FILE_EX* sfile, unsigned* size, const void* image) { if (symbols->version < 19970000) { const PDB_SYMBOL_FILE *sym_file = image; memset(sfile, 0, sizeof(*sfile)); sfile->stream = sym_file->stream; sfile->range.index = sym_file->range.index; sfile->symbol_size = sym_file->symbol_size; sfile->lineno_size = sym_file->lineno_size; sfile->lineno2_size = sym_file->lineno2_size; *size = sizeof(PDB_SYMBOL_FILE) - 1; } else { memcpy(sfile, image, sizeof(PDB_SYMBOL_FILE_EX)); *size = sizeof(PDB_SYMBOL_FILE_EX) - 1; } } static HANDLE map_pdb_file(const struct process* pcs, const struct pdb_lookup* lookup, struct module* module) { HANDLE hFile, hMap = NULL; WCHAR dbg_file_path[MAX_PATH]; BOOL ret = FALSE; switch (lookup->kind) { case PDB_JG: ret = path_find_symbol_file(pcs, module, lookup->filename, TRUE, NULL, lookup->timestamp, lookup->age, dbg_file_path, &module->module.PdbUnmatched); break; case PDB_DS: ret = path_find_symbol_file(pcs, module, lookup->filename, TRUE, &lookup->guid, 0, lookup->age, dbg_file_path, &module->module.PdbUnmatched); break; } if (!ret) { WARN("\tCouldn't find %s\n", lookup->filename); return NULL; } if ((hFile = CreateFileW(dbg_file_path, GENERIC_READ, FILE_SHARE_READ, NULL, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL)) != INVALID_HANDLE_VALUE) { hMap = CreateFileMappingW(hFile, NULL, PAGE_READONLY, 0, 0, NULL); CloseHandle(hFile); } return hMap; } static void pdb_dispose_type_parse(struct codeview_type_parse* ctp) { pdb_free(ctp->hash_stream); free((DWORD*)ctp->offset); free((DWORD*)ctp->hash); free((DWORD*)ctp->alloc_hash); } static BOOL pdb_bitfield_is_bit_set(const unsigned* dw, unsigned len, unsigned i) { if (i >= len * sizeof(unsigned) * 8) return FALSE; return (dw[i >> 5] & (1u << (i & 31u))) != 0; } static BOOL pdb_init_type_parse(const struct msc_debug_info* msc_dbg, const struct pdb_file_info* pdb_file, struct codeview_type_parse* ctp, BYTE* image) { const BYTE* ptr; DWORD* offset; int i; ctp->hash_stream = NULL; ctp->offset = NULL; ctp->hash = NULL; ctp->alloc_hash = NULL; if (!pdb_convert_types_header(&ctp->header, image)) return FALSE; /* Check for unknown versions */ switch (ctp->header.version) { case 19950410: /* VC 4.0 */ case 19951122: case 19961031: /* VC 5.0 / 6.0 */ case 19990903: /* VC 7.0 */ case 20040203: /* VC 8.0 */ break; default: ERR("-Unknown type info version %d\n", ctp->header.version); return FALSE; } if (ctp->header.hash_value_size != 2 && ctp->header.hash_value_size != 4) { ERR("-Unsupported hash of size %u\n", ctp->header.hash_value_size); return FALSE; } ctp->hash_stream = pdb_read_stream(pdb_file, ctp->header.hash_stream); /* FIXME always present? if not reconstruct ?*/ if (!ctp->hash_stream) { ERR("-Missing hash table in PDB file\n"); return FALSE; } ctp->module = msc_dbg->module; /* Reconstruct the types offset table * Note: the hash stream of the PDB_TYPES only contains a partial table * (not all the indexes are present, so it requires first a binary search in partial table, * followed by a linear search...) */ offset = malloc(sizeof(DWORD) * (ctp->header.last_index - ctp->header.first_index)); if (!offset) goto oom; ctp->table = ptr = image + ctp->header.type_offset; for (i = ctp->header.first_index; i < ctp->header.last_index; i++) { offset[i - ctp->header.first_index] = ptr - ctp->table; ptr += ((const union codeview_type*)ptr)->generic.len + 2; } ctp->offset = offset; ctp->hash = calloc(ctp->header.hash_num_buckets, sizeof(struct hash_link*)); if (!ctp->hash) goto oom; ctp->alloc_hash = calloc(ctp->header.last_index - ctp->header.first_index, sizeof(struct hash_link)); if (!ctp->alloc_hash) goto oom; for (i = ctp->header.first_index; i < ctp->header.last_index; i++) { unsigned hash_i = pdb_read_hash_value(ctp, i); ctp->alloc_hash[i - ctp->header.first_index].id = i; ctp->alloc_hash[i - ctp->header.first_index].next = ctp->hash[hash_i]; ctp->hash[hash_i] = &ctp->alloc_hash[i - ctp->header.first_index]; } /* parse the remap table * => move listed type_id at first position of their hash buckets so that we force remap to them */ if (ctp->header.type_remap_size) { const unsigned* remap = (const unsigned*)((const BYTE*)ctp->hash_stream + ctp->header.type_remap_offset); unsigned i, capa, count_present; const unsigned* present_bitset; remap++; /* no need of num */ capa = *remap++; count_present = *remap++; present_bitset = remap; remap += count_present; remap += *remap + 1; /* skip deleted bit set */ for (i = 0; i < capa; ++i) { if (pdb_bitfield_is_bit_set(present_bitset, count_present, i)) { unsigned hash_i; struct hash_link** phl; /* remap[0] is an offset for a string in /string stream, followed by type_id to force */ hash_i = pdb_read_hash_value(ctp, remap[1]); for (phl = &ctp->hash[hash_i]; *phl; phl = &(*phl)->next) if ((*phl)->id == remap[1]) { struct hash_link* hl = *phl; /* move hl node at first position of its hash bucket */ *phl = hl->next; hl->next = ctp->hash[hash_i]; ctp->hash[hash_i] = hl; break; } remap += 2; } } } return TRUE; oom: pdb_dispose_type_parse(ctp); return FALSE; } static void pdb_process_types(const struct msc_debug_info* msc_dbg, const struct pdb_file_info* pdb_file) { struct codeview_type_parse ctp; BYTE* types_image = pdb_read_stream(pdb_file, 2); if (types_image) { if (pdb_init_type_parse(msc_dbg, pdb_file, &ctp, types_image)) { /* Read type table */ codeview_parse_type_table(&ctp); pdb_dispose_type_parse(&ctp); } pdb_free(types_image); } } static const char PDB_JG_IDENT[] = "Microsoft C/C++ program database 2.00\r\n\032JG\0"; static const char PDB_DS_IDENT[] = "Microsoft C/C++ MSF 7.00\r\n\032DS\0"; /****************************************************************** * pdb_init * * Tries to load a pdb file * 'matched' is filled with the number of correct matches for this file: * - age counts for one * - timestamp or guid depending on kind counts for one * a wrong kind of file returns FALSE (FIXME ?) */ static BOOL pdb_init(const struct pdb_lookup* pdb_lookup, struct pdb_file_info* pdb_file, const char* image, unsigned* matched) { BOOL ret = TRUE; /* check the file header, and if ok, load the TOC */ TRACE("PDB(%s): %.40s\n", pdb_lookup->filename, debugstr_an(image, 40)); *matched = 0; if (!memcmp(image, PDB_JG_IDENT, sizeof(PDB_JG_IDENT))) { const struct PDB_JG_HEADER* pdb = (const struct PDB_JG_HEADER*)image; struct PDB_JG_ROOT* root; pdb_file->u.jg.toc = pdb_jg_read(pdb, pdb->toc_block, pdb->toc.size); root = pdb_read_jg_stream(pdb, pdb_file->u.jg.toc, 1); if (!root) { ERR("-Unable to get root from .PDB in %s\n", pdb_lookup->filename); return FALSE; } switch (root->Version) { case 19950623: /* VC 4.0 */ case 19950814: case 19960307: /* VC 5.0 */ case 19970604: /* VC 6.0 */ break; default: ERR("-Unknown root block version %d\n", root->Version); } if (pdb_lookup->kind != PDB_JG) { WARN("Found %s, but wrong PDB kind\n", pdb_lookup->filename); pdb_free(root); return FALSE; } pdb_file->kind = PDB_JG; pdb_file->u.jg.timestamp = root->TimeDateStamp; pdb_file->age = root->Age; if (root->TimeDateStamp == pdb_lookup->timestamp) (*matched)++; else WARN("Found %s, but wrong signature: %08x %08x\n", pdb_lookup->filename, root->TimeDateStamp, pdb_lookup->timestamp); if (root->Age == pdb_lookup->age) (*matched)++; else WARN("Found %s, but wrong age: %08x %08x\n", pdb_lookup->filename, root->Age, pdb_lookup->age); TRACE("found JG for %s: age=%x timestamp=%x\n", pdb_lookup->filename, root->Age, root->TimeDateStamp); ret = pdb_load_stream_name_table(pdb_file, &root->names[0], root->cbNames); pdb_free(root); } else if (!memcmp(image, PDB_DS_IDENT, sizeof(PDB_DS_IDENT))) { const struct PDB_DS_HEADER* pdb = (const struct PDB_DS_HEADER*)image; struct PDB_DS_ROOT* root; pdb_file->u.ds.toc = pdb_ds_read(pdb, (const UINT*)((const char*)pdb + pdb->toc_block * pdb->block_size), pdb->toc_size); root = pdb_read_ds_stream(pdb, pdb_file->u.ds.toc, 1); if (!root) { ERR("-Unable to get root from .PDB in %s\n", pdb_lookup->filename); return FALSE; } switch (root->Version) { case 20000404: break; default: ERR("-Unknown root block version %u\n", root->Version); } pdb_file->kind = PDB_DS; pdb_file->u.ds.guid = root->guid; pdb_file->age = root->Age; if (!memcmp(&root->guid, &pdb_lookup->guid, sizeof(GUID))) (*matched)++; else WARN("Found %s, but wrong GUID: %s %s\n", pdb_lookup->filename, debugstr_guid(&root->guid), debugstr_guid(&pdb_lookup->guid)); if (root->Age == pdb_lookup->age) (*matched)++; else WARN("Found %s, but wrong age: %08x %08x\n", pdb_lookup->filename, root->Age, pdb_lookup->age); TRACE("found DS for %s: age=%x guid=%s\n", pdb_lookup->filename, root->Age, debugstr_guid(&root->guid)); ret = pdb_load_stream_name_table(pdb_file, &root->names[0], root->cbNames); pdb_free(root); } if (0) /* some tool to dump the internal files from a PDB file */ { int i, num_streams; switch (pdb_file->kind) { case PDB_JG: num_streams = pdb_file->u.jg.toc->num_streams; break; case PDB_DS: num_streams = pdb_file->u.ds.toc->num_streams; break; } for (i = 1; i < num_streams; i++) { unsigned char* x = pdb_read_stream(pdb_file, i); FIXME("********************** [%u]: size=%08x\n", i, pdb_get_stream_size(pdb_file, i)); dump(x, pdb_get_stream_size(pdb_file, i)); pdb_free(x); } } return ret; } static BOOL pdb_process_internal(const struct process* pcs, const struct msc_debug_info* msc_dbg, const struct pdb_lookup* pdb_lookup, struct pdb_module_info* pdb_module_info, unsigned module_index); DWORD pdb_get_file_indexinfo(void* image, DWORD size, SYMSRV_INDEX_INFOW* info) { /* check the file header, and if ok, load the TOC */ TRACE("PDB: %.40s\n", debugstr_an(image, 40)); if (!memcmp(image, PDB_JG_IDENT, sizeof(PDB_JG_IDENT))) { const struct PDB_JG_HEADER* pdb = (const struct PDB_JG_HEADER*)image; struct PDB_JG_TOC* jg_toc; struct PDB_JG_ROOT* root; DWORD ec = ERROR_SUCCESS; jg_toc = pdb_jg_read(pdb, pdb->toc_block, pdb->toc.size); root = pdb_read_jg_stream(pdb, jg_toc, 1); if (!root) { ERR("-Unable to get root from .PDB\n"); pdb_free(jg_toc); return ERROR_FILE_CORRUPT; } switch (root->Version) { case 19950623: /* VC 4.0 */ case 19950814: case 19960307: /* VC 5.0 */ case 19970604: /* VC 6.0 */ break; default: ERR("-Unknown root block version %d\n", root->Version); ec = ERROR_FILE_CORRUPT; } if (ec == ERROR_SUCCESS) { info->dbgfile[0] = '\0'; memset(&info->guid, 0, sizeof(GUID)); info->guid.Data1 = root->TimeDateStamp; info->pdbfile[0] = '\0'; info->age = root->Age; info->sig = root->TimeDateStamp; info->size = 0; info->stripped = FALSE; info->timestamp = 0; } pdb_free(jg_toc); pdb_free(root); return ec; } if (!memcmp(image, PDB_DS_IDENT, sizeof(PDB_DS_IDENT))) { const struct PDB_DS_HEADER* pdb = (const struct PDB_DS_HEADER*)image; struct PDB_DS_TOC* ds_toc; struct PDB_DS_ROOT* root; DWORD ec = ERROR_SUCCESS; ds_toc = pdb_ds_read(pdb, (const UINT*)((const char*)pdb + pdb->toc_block * pdb->block_size), pdb->toc_size); root = pdb_read_ds_stream(pdb, ds_toc, 1); if (!root) { pdb_free(ds_toc); return ERROR_FILE_CORRUPT; } switch (root->Version) { case 20000404: break; default: ERR("-Unknown root block version %u\n", root->Version); ec = ERROR_FILE_CORRUPT; } /* The age field is present twice (in PDB_ROOT and in PDB_SYMBOLS ), * It's the one in PDB_SYMBOLS which is reported. */ if (ec == ERROR_SUCCESS) { PDB_SYMBOLS* symbols = pdb_read_ds_stream(pdb, ds_toc, 3); if (symbols && symbols->version == 19990903) { info->age = symbols->age; } else { if (symbols) ERR("-Unknown symbol info version %u %08x\n", symbols->version, symbols->version); ec = ERROR_FILE_CORRUPT; } pdb_free(symbols); } if (ec == ERROR_SUCCESS) { info->dbgfile[0] = '\0'; info->guid = root->guid; info->pdbfile[0] = '\0'; info->sig = 0; info->size = 0; info->stripped = FALSE; info->timestamp = 0; } pdb_free(ds_toc); pdb_free(root); return ec; } return ERROR_BAD_FORMAT; } static void pdb_process_symbol_imports(const struct process* pcs, const struct msc_debug_info* msc_dbg, const PDB_SYMBOLS* symbols, const void* symbols_image, const char* image, const struct pdb_lookup* pdb_lookup, struct pdb_module_info* pdb_module_info, unsigned module_index) { if (module_index == -1 && symbols && symbols->pdbimport_size) { const PDB_SYMBOL_IMPORT*imp; const void* first; const void* last; const char* ptr; int i = 0; struct pdb_file_info sf0 = pdb_module_info->pdb_files[0]; imp = (const PDB_SYMBOL_IMPORT*)((const char*)symbols_image + sizeof(PDB_SYMBOLS) + symbols->module_size + symbols->sectcontrib_size + symbols->segmap_size + symbols->srcmodule_size); first = imp; last = (const char*)imp + symbols->pdbimport_size; while (imp < (const PDB_SYMBOL_IMPORT*)last) { ptr = (const char*)imp + sizeof(*imp) + strlen(imp->filename); if (i >= CV_MAX_MODULES) FIXME("Out of bounds!!!\n"); if (!stricmp(pdb_lookup->filename, imp->filename)) { if (module_index != -1) FIXME("Twice the entry\n"); else module_index = i; pdb_module_info->pdb_files[i] = sf0; } else { struct pdb_lookup imp_pdb_lookup; /* FIXME: this is an import of a JG PDB file * how's a DS PDB handled ? */ imp_pdb_lookup.filename = imp->filename; imp_pdb_lookup.kind = PDB_JG; imp_pdb_lookup.timestamp = imp->TimeDateStamp; imp_pdb_lookup.age = imp->Age; TRACE("got for %s: age=%u ts=%x\n", imp->filename, imp->Age, imp->TimeDateStamp); pdb_process_internal(pcs, msc_dbg, &imp_pdb_lookup, pdb_module_info, i); } i++; imp = (const PDB_SYMBOL_IMPORT*)((const char*)first + ((ptr - (const char*)first + strlen(ptr) + 1 + 3) & ~3)); } pdb_module_info->used_subfiles = i; } if (module_index == -1) { module_index = 0; pdb_module_info->used_subfiles = 1; } cv_current_module = &cv_zmodules[module_index]; if (cv_current_module->allowed) FIXME("Already allowed??\n"); cv_current_module->allowed = TRUE; } static BOOL pdb_process_internal(const struct process* pcs, const struct msc_debug_info* msc_dbg, const struct pdb_lookup* pdb_lookup, struct pdb_module_info* pdb_module_info, unsigned module_index) { HANDLE hMap = NULL; char* image = NULL; BYTE* symbols_image = NULL; PDB_STRING_TABLE* files_image = NULL; unsigned matched; struct pdb_file_info* pdb_file; TRACE("Processing PDB file %s\n", pdb_lookup->filename); pdb_file = &pdb_module_info->pdb_files[module_index == -1 ? 0 : module_index]; /* Open and map() .PDB file */ if ((hMap = map_pdb_file(pcs, pdb_lookup, msc_dbg->module)) == NULL || ((image = MapViewOfFile(hMap, FILE_MAP_READ, 0, 0, 0)) == NULL)) { WARN("Unable to open .PDB file: %s\n", pdb_lookup->filename); CloseHandle(hMap); return FALSE; } if (!pdb_init(pdb_lookup, pdb_file, image, &matched) || matched != 2) { CloseHandle(hMap); UnmapViewOfFile(image); return FALSE; } pdb_file->hMap = hMap; pdb_file->image = image; symbols_image = pdb_read_stream(pdb_file, 3); if (symbols_image) { PDB_SYMBOLS symbols; BYTE* globalimage; BYTE* modimage; BYTE* ipi_image; struct codeview_type_parse ipi_ctp; BYTE* file; int header_size = 0; unsigned num_sub_streams; const unsigned short* sub_streams; BOOL ipi_ok; pdb_convert_symbols_header(&symbols, &header_size, symbols_image); switch (symbols.version) { case 0: /* VC 4.0 */ case 19960307: /* VC 5.0 */ case 19970606: /* VC 6.0 */ case 19990903: break; default: ERR("-Unknown symbol info version %u %08x\n", symbols.version, symbols.version); } num_sub_streams = symbols.stream_index_size / sizeof(sub_streams[0]); sub_streams = (const unsigned short*)((const char*)symbols_image + sizeof(PDB_SYMBOLS) + symbols.module_size + symbols.sectcontrib_size + symbols.segmap_size + symbols.srcmodule_size + symbols.pdbimport_size + symbols.unknown2_size); if (PDB_SIDX_FPO < num_sub_streams) pdb_file->fpoext_stream = sub_streams[PDB_SIDX_FPO]; files_image = pdb_read_strings(pdb_file); pdb_process_symbol_imports(pcs, msc_dbg, &symbols, symbols_image, image, pdb_lookup, pdb_module_info, module_index); pdb_process_types(msc_dbg, pdb_file); ipi_image = pdb_read_stream(pdb_file, 4); ipi_ok = pdb_init_type_parse(msc_dbg, pdb_file, &ipi_ctp, ipi_image); /* Read global types first, so that lookup by name in module (=compilation unit) * streams' loading can succeed them. */ globalimage = pdb_read_stream(pdb_file, symbols.gsym_stream); if (globalimage) { const BYTE* data; unsigned global_size = pdb_get_stream_size(pdb_file, symbols.gsym_stream); data = pdb_read_stream(pdb_file, symbols.global_hash_stream); if (data) { codeview_snarf_sym_hashtable(msc_dbg, globalimage, global_size, data, pdb_get_stream_size(pdb_file, symbols.global_hash_stream), pdb_global_feed_types); pdb_free((void*)data); } } /* Read per-module symbols' tables */ file = symbols_image + header_size; while (file - symbols_image < header_size + symbols.module_size) { PDB_SYMBOL_FILE_EX sfile; const char* file_name; unsigned size; HeapValidate(GetProcessHeap(), 0, NULL); pdb_convert_symbol_file(&symbols, &sfile, &size, file); modimage = pdb_read_stream(pdb_file, sfile.stream); file_name = (const char*)file + size; if (modimage) { struct cv_module_snarf cvmod = {ipi_ok ? &ipi_ctp : NULL, (const void*)(modimage + sfile.symbol_size), sfile.lineno2_size, files_image}; codeview_snarf(msc_dbg, modimage, sizeof(DWORD), sfile.symbol_size, &cvmod, file_name); if (sfile.lineno_size && sfile.lineno2_size) FIXME("Both line info present... only supporting second\n"); else if (sfile.lineno_size) codeview_snarf_linetab(msc_dbg, modimage + sfile.symbol_size, sfile.lineno_size, pdb_file->kind == PDB_JG); pdb_free(modimage); } file_name += strlen(file_name) + 1; /* now at lib_name */ file = (BYTE*)((DWORD_PTR)(file_name + strlen(file_name) + 1 + 3) & ~3); } /* Load the global variables and constants (if not yet loaded) and public information */ if (globalimage) { const BYTE* data; unsigned global_size = pdb_get_stream_size(pdb_file, symbols.gsym_stream); data = pdb_read_stream(pdb_file, symbols.global_hash_stream); if (data) { codeview_snarf_sym_hashtable(msc_dbg, globalimage, global_size, data, pdb_get_stream_size(pdb_file, symbols.global_hash_stream), pdb_global_feed_variables); pdb_free((void*)data); } if (!(dbghelp_options & SYMOPT_NO_PUBLICS) && (data = pdb_read_stream(pdb_file, symbols.public_stream))) { const DBI_PUBLIC_HEADER* pubhdr = (const DBI_PUBLIC_HEADER*)data; codeview_snarf_sym_hashtable(msc_dbg, globalimage, pdb_get_stream_size(pdb_file, symbols.gsym_stream), (const BYTE*)(pubhdr + 1), pubhdr->hash_size, pdb_global_feed_public); pdb_free((void*)data); } pdb_free(globalimage); } HeapFree(GetProcessHeap(), 0, (DWORD*)ipi_ctp.offset); pdb_free(ipi_image); } else pdb_process_symbol_imports(pcs, msc_dbg, NULL, NULL, image, pdb_lookup, pdb_module_info, module_index); pdb_free(symbols_image); pdb_free(files_image); return TRUE; } static BOOL pdb_process_file(const struct process* pcs, const struct msc_debug_info* msc_dbg, struct pdb_lookup* pdb_lookup) { BOOL ret; struct module_format* modfmt; struct pdb_module_info* pdb_module_info; modfmt = HeapAlloc(GetProcessHeap(), 0, sizeof(struct module_format) + sizeof(struct pdb_module_info)); if (!modfmt) return FALSE; pdb_module_info = (void*)(modfmt + 1); msc_dbg->module->format_info[DFI_PDB] = modfmt; modfmt->module = msc_dbg->module; modfmt->remove = pdb_module_remove; modfmt->loc_compute = pdb_location_compute; modfmt->u.pdb_info = pdb_module_info; memset(cv_zmodules, 0, sizeof(cv_zmodules)); codeview_init_basic_types(msc_dbg->module); ret = pdb_process_internal(pcs, msc_dbg, pdb_lookup, msc_dbg->module->format_info[DFI_PDB]->u.pdb_info, -1); codeview_clear_type_table(); if (ret) { struct pdb_module_info* pdb_info = msc_dbg->module->format_info[DFI_PDB]->u.pdb_info; msc_dbg->module->module.SymType = SymPdb; if (pdb_info->pdb_files[0].kind == PDB_JG) msc_dbg->module->module.PdbSig = pdb_info->pdb_files[0].u.jg.timestamp; else msc_dbg->module->module.PdbSig70 = pdb_info->pdb_files[0].u.ds.guid; msc_dbg->module->module.PdbAge = pdb_info->pdb_files[0].age; MultiByteToWideChar(CP_ACP, 0, pdb_lookup->filename, -1, msc_dbg->module->module.LoadedPdbName, ARRAY_SIZE(msc_dbg->module->module.LoadedPdbName)); /* FIXME: we could have a finer grain here */ msc_dbg->module->module.LineNumbers = TRUE; msc_dbg->module->module.GlobalSymbols = TRUE; msc_dbg->module->module.TypeInfo = TRUE; msc_dbg->module->module.SourceIndexed = TRUE; msc_dbg->module->module.Publics = TRUE; } else { msc_dbg->module->format_info[DFI_PDB] = NULL; HeapFree(GetProcessHeap(), 0, modfmt); } return ret; } BOOL pdb_fetch_file_info(const struct pdb_lookup* pdb_lookup, unsigned* matched) { HANDLE hFile, hMap = NULL; char* image = NULL; BOOL ret; struct pdb_file_info pdb_file; if ((hFile = CreateFileA(pdb_lookup->filename, GENERIC_READ, FILE_SHARE_READ, NULL, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL)) == INVALID_HANDLE_VALUE || ((hMap = CreateFileMappingW(hFile, NULL, PAGE_READONLY, 0, 0, NULL)) == NULL) || ((image = MapViewOfFile(hMap, FILE_MAP_READ, 0, 0, 0)) == NULL)) { WARN("Unable to open .PDB file: %s\n", pdb_lookup->filename); ret = FALSE; } else { ret = pdb_init(pdb_lookup, &pdb_file, image, matched); pdb_free_file(&pdb_file); } if (image) UnmapViewOfFile(image); if (hMap) CloseHandle(hMap); if (hFile != INVALID_HANDLE_VALUE) CloseHandle(hFile); return ret; } /*======================================================================== * FPO unwinding code */ /* Stack unwinding is based on postfixed operations. * Let's define our Postfix EValuator */ #define PEV_MAX_LEN 32 struct pevaluator { struct cpu_stack_walk* csw; struct pool pool; struct vector stack; unsigned stk_index; struct hash_table values; char error[64]; }; struct zvalue { DWORD_PTR value; struct hash_table_elt elt; }; #define PEV_ERROR(pev, msg) snprintf((pev)->error, sizeof((pev)->error), "%s", (msg)) #define PEV_ERROR1(pev, msg, pmt) snprintf((pev)->error, sizeof((pev)->error), (msg), (pmt)) #if 0 static void pev_dump_stack(struct pevaluator* pev) { unsigned i; FIXME("stack #%d\n", pev->stk_index); for (i = 0; i < pev->stk_index; i++) { FIXME("\t%d) %s\n", i, *(char**)vector_at(&pev->stack, i)); } } #endif /* get the value out of an operand (variable or literal) */ static BOOL pev_get_val(struct pevaluator* pev, const char* str, DWORD_PTR* val) { char* n; struct hash_table_iter hti; void* ptr; switch (str[0]) { case '$': case '.': hash_table_iter_init(&pev->values, &hti, str); while ((ptr = hash_table_iter_up(&hti))) { if (!strcmp(CONTAINING_RECORD(ptr, struct zvalue, elt)->elt.name, str)) { *val = CONTAINING_RECORD(ptr, struct zvalue, elt)->value; return TRUE; } } return PEV_ERROR1(pev, "get_zvalue: no value found (%s)", str); default: *val = strtol(str, &n, 10); if (n == str || *n != '\0') return PEV_ERROR1(pev, "get_val: not a literal (%s)", str); return TRUE; } } /* push an operand onto the stack */ static BOOL pev_push(struct pevaluator* pev, const char* elt) { char** at; if (pev->stk_index < vector_length(&pev->stack)) at = vector_at(&pev->stack, pev->stk_index); else at = vector_add(&pev->stack, &pev->pool); if (!at) return PEV_ERROR(pev, "push: out of memory"); *at = pool_strdup(&pev->pool, elt); pev->stk_index++; return TRUE; } /* pop an operand from the stack */ static BOOL pev_pop(struct pevaluator* pev, char* elt) { char** at = vector_at(&pev->stack, --pev->stk_index); if (!at) return PEV_ERROR(pev, "pop: stack empty"); strcpy(elt, *at); return TRUE; } /* pop an operand from the stack, and gets its value */ static BOOL pev_pop_val(struct pevaluator* pev, DWORD_PTR* val) { char p[PEV_MAX_LEN]; return pev_pop(pev, p) && pev_get_val(pev, p, val); } /* set var 'name' a new value (creates the var if it doesn't exist) */ static BOOL pev_set_value(struct pevaluator* pev, const char* name, DWORD_PTR val) { struct hash_table_iter hti; void* ptr; hash_table_iter_init(&pev->values, &hti, name); while ((ptr = hash_table_iter_up(&hti))) { if (!strcmp(CONTAINING_RECORD(ptr, struct zvalue, elt)->elt.name, name)) { CONTAINING_RECORD(ptr, struct zvalue, elt)->value = val; break; } } if (!ptr) { struct zvalue* zv = pool_alloc(&pev->pool, sizeof(*zv)); if (!zv) return PEV_ERROR(pev, "set_value: out of memory"); zv->value = val; zv->elt.name = pool_strdup(&pev->pool, name); hash_table_add(&pev->values, &zv->elt); } return TRUE; } /* execute a binary operand from the two top most values on the stack. * puts result on top of the stack */ static BOOL pev_binop(struct pevaluator* pev, char op) { char res[PEV_MAX_LEN]; DWORD_PTR v1, v2, c; if (!pev_pop_val(pev, &v1) || !pev_pop_val(pev, &v2)) return FALSE; switch (op) { case '+': c = v1 + v2; break; case '-': c = v1 - v2; break; case '*': c = v1 * v2; break; case '/': c = v1 / v2; break; case '%': c = v1 % v2; break; default: return PEV_ERROR1(pev, "binop: unknown op (%c)", op); } snprintf(res, sizeof(res), "%Id", c); pev_push(pev, res); return TRUE; } /* pops top most operand, dereference it, on pushes the result on top of the stack */ static BOOL pev_deref(struct pevaluator* pev) { char res[PEV_MAX_LEN]; DWORD_PTR v1, v2 = 0; if (!pev_pop_val(pev, &v1)) return FALSE; if (!sw_read_mem(pev->csw, v1, &v2, pev->csw->cpu->word_size)) return PEV_ERROR1(pev, "deref: cannot read mem at %Ix\n", v1); snprintf(res, sizeof(res), "%Id", v2); pev_push(pev, res); return TRUE; } /* assign value to variable (from two top most operands) */ static BOOL pev_assign(struct pevaluator* pev) { char p2[PEV_MAX_LEN]; DWORD_PTR v1; if (!pev_pop_val(pev, &v1) || !pev_pop(pev, p2)) return FALSE; if (p2[0] != '$') return PEV_ERROR1(pev, "assign: %s isn't a variable", p2); pev_set_value(pev, p2, v1); return TRUE; } /* initializes the postfix evaluator */ static void pev_init(struct pevaluator* pev, struct cpu_stack_walk* csw, PDB_FPO_DATA* fpoext, struct pdb_cmd_pair* cpair) { pev->csw = csw; pool_init(&pev->pool, 512); vector_init(&pev->stack, sizeof(char*), 8); pev->stk_index = 0; hash_table_init(&pev->pool, &pev->values, 8); pev->error[0] = '\0'; for (; cpair->name; cpair++) pev_set_value(pev, cpair->name, *cpair->pvalue); pev_set_value(pev, ".raSearchStart", fpoext->start); pev_set_value(pev, ".cbLocals", fpoext->locals_size); pev_set_value(pev, ".cbParams", fpoext->params_size); pev_set_value(pev, ".cbSavedRegs", fpoext->savedregs_size); } static BOOL pev_free(struct pevaluator* pev, struct pdb_cmd_pair* cpair) { DWORD_PTR val; if (cpair) for (; cpair->name; cpair++) { if (pev_get_val(pev, cpair->name, &val)) *cpair->pvalue = val; } pool_destroy(&pev->pool); return TRUE; } static BOOL pdb_parse_cmd_string(struct cpu_stack_walk* csw, PDB_FPO_DATA* fpoext, const char* cmd, struct pdb_cmd_pair* cpair) { char token[PEV_MAX_LEN]; char* ptok = token; const char* ptr; BOOL over = FALSE; struct pevaluator pev; if (!cmd) return FALSE; pev_init(&pev, csw, fpoext, cpair); for (ptr = cmd; !over; ptr++) { if (*ptr == ' ' || (over = *ptr == '\0')) { *ptok = '\0'; if (!strcmp(token, "+") || !strcmp(token, "-") || !strcmp(token, "*") || !strcmp(token, "/") || !strcmp(token, "%")) { if (!pev_binop(&pev, token[0])) goto done; } else if (!strcmp(token, "^")) { if (!pev_deref(&pev)) goto done; } else if (!strcmp(token, "=")) { if (!pev_assign(&pev)) goto done; } else { if (!pev_push(&pev, token)) goto done; } ptok = token; } else { if (ptok - token >= PEV_MAX_LEN - 1) { PEV_ERROR1(&pev, "parse: token too long (%s)", ptr - (ptok - token)); goto done; } *ptok++ = *ptr; } } pev_free(&pev, cpair); return TRUE; done: FIXME("Couldn't evaluate %s => %s\n", wine_dbgstr_a(cmd), pev.error); pev_free(&pev, NULL); return FALSE; } BOOL pdb_virtual_unwind(struct cpu_stack_walk *csw, DWORD_PTR ip, union ctx *context, struct pdb_cmd_pair *cpair) { struct module_pair pair; struct pdb_module_info* pdb_info; PDB_FPO_DATA* fpoext; unsigned i, size; PDB_STRING_TABLE* strbase; BOOL ret = TRUE; if (!module_init_pair(&pair, csw->hProcess, ip)) return FALSE; if (!pair.effective->format_info[DFI_PDB]) return FALSE; pdb_info = pair.effective->format_info[DFI_PDB]->u.pdb_info; TRACE("searching %Ix => %Ix\n", ip, ip - (DWORD_PTR)pair.effective->module.BaseOfImage); ip -= (DWORD_PTR)pair.effective->module.BaseOfImage; strbase = pdb_read_strings(&pdb_info->pdb_files[0]); if (!strbase) return FALSE; fpoext = pdb_read_stream(&pdb_info->pdb_files[0], pdb_info->pdb_files[0].fpoext_stream); size = pdb_get_stream_size(&pdb_info->pdb_files[0], pdb_info->pdb_files[0].fpoext_stream); if (fpoext && (size % sizeof(*fpoext)) == 0) { size /= sizeof(*fpoext); for (i = 0; i < size; i++) { if (fpoext[i].start <= ip && ip < fpoext[i].start + fpoext[i].func_size) { TRACE("\t%08x %08x %8x %8x %4x %4x %4x %08x %s\n", fpoext[i].start, fpoext[i].func_size, fpoext[i].locals_size, fpoext[i].params_size, fpoext[i].maxstack_size, fpoext[i].prolog_size, fpoext[i].savedregs_size, fpoext[i].flags, wine_dbgstr_a(pdb_get_string_table_entry(strbase, fpoext[i].str_offset))); ret = pdb_parse_cmd_string(csw, &fpoext[i], pdb_get_string_table_entry(strbase, fpoext[i].str_offset), cpair); break; } } } else ret = FALSE; pdb_free(fpoext); pdb_free(strbase); return ret; } /*======================================================================== * Process CodeView debug information. */ #define MAKESIG(a,b,c,d) ((a) | ((b) << 8) | ((c) << 16) | ((d) << 24)) #define CODEVIEW_NB09_SIG MAKESIG('N','B','0','9') #define CODEVIEW_NB10_SIG MAKESIG('N','B','1','0') #define CODEVIEW_NB11_SIG MAKESIG('N','B','1','1') #define CODEVIEW_RSDS_SIG MAKESIG('R','S','D','S') static BOOL codeview_process_info(const struct process* pcs, const struct msc_debug_info* msc_dbg) { const DWORD* signature = (const DWORD*)msc_dbg->root; BOOL ret = FALSE; struct pdb_lookup pdb_lookup; TRACE("Processing signature %.4s\n", (const char*)signature); switch (*signature) { case CODEVIEW_NB09_SIG: case CODEVIEW_NB11_SIG: { const OMFSignature* cv = (const OMFSignature*)msc_dbg->root; const OMFDirHeader* hdr = (const OMFDirHeader*)(msc_dbg->root + cv->filepos); const OMFDirEntry* ent; const OMFDirEntry* prev; const OMFDirEntry* next; unsigned int i; codeview_init_basic_types(msc_dbg->module); for (i = 0; i < hdr->cDir; i++) { ent = (const OMFDirEntry*)((const BYTE*)hdr + hdr->cbDirHeader + i * hdr->cbDirEntry); if (ent->SubSection == sstGlobalTypes) { const OMFGlobalTypes* types; struct codeview_type_parse ctp; types = (const OMFGlobalTypes*)(msc_dbg->root + ent->lfo); ctp.module = msc_dbg->module; ctp.offset = (const DWORD*)(types + 1); memset(&ctp.header, 0, sizeof(ctp.header)); ctp.header.first_index = T_FIRSTDEFINABLETYPE; ctp.header.last_index = ctp.header.first_index + types->cTypes; ctp.table = (const BYTE*)(ctp.offset + types->cTypes); cv_current_module = &cv_zmodules[0]; if (cv_current_module->allowed) FIXME("Already allowed??\n"); cv_current_module->allowed = TRUE; codeview_parse_type_table(&ctp); break; } } ent = (const OMFDirEntry*)((const BYTE*)hdr + hdr->cbDirHeader); for (i = 0; i < hdr->cDir; i++, ent = next) { next = (i == hdr->cDir-1) ? NULL : (const OMFDirEntry*)((const BYTE*)ent + hdr->cbDirEntry); prev = (i == 0) ? NULL : (const OMFDirEntry*)((const BYTE*)ent - hdr->cbDirEntry); if (ent->SubSection == sstAlignSym) { codeview_snarf(msc_dbg, msc_dbg->root + ent->lfo, sizeof(DWORD), ent->cb, NULL, NULL); /* * Check the next and previous entry. If either is a * sstSrcModule, it contains the line number info for * this file. * * FIXME: This is not a general solution! */ if (next && next->iMod == ent->iMod && next->SubSection == sstSrcModule) codeview_snarf_linetab(msc_dbg, msc_dbg->root + next->lfo, next->cb, TRUE); if (prev && prev->iMod == ent->iMod && prev->SubSection == sstSrcModule) codeview_snarf_linetab(msc_dbg, msc_dbg->root + prev->lfo, prev->cb, TRUE); } } msc_dbg->module->module.SymType = SymCv; /* FIXME: we could have a finer grain here */ msc_dbg->module->module.LineNumbers = TRUE; msc_dbg->module->module.GlobalSymbols = TRUE; msc_dbg->module->module.TypeInfo = TRUE; msc_dbg->module->module.SourceIndexed = TRUE; msc_dbg->module->module.Publics = TRUE; codeview_clear_type_table(); ret = TRUE; break; } case CODEVIEW_NB10_SIG: { const CODEVIEW_PDB_DATA* pdb = (const CODEVIEW_PDB_DATA*)msc_dbg->root; pdb_lookup.filename = pdb->name; pdb_lookup.kind = PDB_JG; pdb_lookup.timestamp = pdb->timestamp; pdb_lookup.age = pdb->age; ret = pdb_process_file(pcs, msc_dbg, &pdb_lookup); break; } case CODEVIEW_RSDS_SIG: { const OMFSignatureRSDS* rsds = (const OMFSignatureRSDS*)msc_dbg->root; TRACE("Got RSDS type of PDB file: guid=%s age=%08x name=%s\n", wine_dbgstr_guid(&rsds->guid), rsds->age, rsds->name); pdb_lookup.filename = rsds->name; pdb_lookup.kind = PDB_DS; pdb_lookup.guid = rsds->guid; pdb_lookup.age = rsds->age; ret = pdb_process_file(pcs, msc_dbg, &pdb_lookup); break; } default: ERR("Unknown CODEVIEW signature %08lx in module %s\n", *signature, debugstr_w(msc_dbg->module->modulename)); break; } if (ret) { msc_dbg->module->module.CVSig = *signature; memcpy(msc_dbg->module->module.CVData, msc_dbg->root, sizeof(msc_dbg->module->module.CVData)); } return ret; } /*======================================================================== * Process debug directory. */ BOOL pe_load_debug_directory(const struct process* pcs, struct module* module, const BYTE* mapping, const IMAGE_SECTION_HEADER* sectp, DWORD nsect, const IMAGE_DEBUG_DIRECTORY* dbg, int nDbg) { BOOL ret; int i; struct msc_debug_info msc_dbg; msc_dbg.module = module; msc_dbg.nsect = nsect; msc_dbg.sectp = sectp; msc_dbg.nomap = 0; msc_dbg.omapp = NULL; __TRY { ret = FALSE; /* First, watch out for OMAP data */ for (i = 0; i < nDbg; i++) { if (dbg[i].Type == IMAGE_DEBUG_TYPE_OMAP_FROM_SRC) { msc_dbg.nomap = dbg[i].SizeOfData / sizeof(OMAP); msc_dbg.omapp = (const OMAP*)(mapping + dbg[i].PointerToRawData); break; } } /* Now, try to parse CodeView debug info */ for (i = 0; i < nDbg; i++) { if (dbg[i].Type == IMAGE_DEBUG_TYPE_CODEVIEW) { msc_dbg.root = mapping + dbg[i].PointerToRawData; if ((ret = codeview_process_info(pcs, &msc_dbg))) goto done; } } /* If not found, try to parse COFF debug info */ for (i = 0; i < nDbg; i++) { if (dbg[i].Type == IMAGE_DEBUG_TYPE_COFF) { msc_dbg.root = mapping + dbg[i].PointerToRawData; if ((ret = coff_process_info(&msc_dbg))) goto done; } } done: /* FIXME: this should be supported... this is the debug information for * functions compiled without a frame pointer (FPO = frame pointer omission) * the associated data helps finding out the relevant information */ for (i = 0; i < nDbg; i++) if (dbg[i].Type == IMAGE_DEBUG_TYPE_FPO) FIXME("This guy has FPO information\n"); #if 0 #define FRAME_FPO 0 #define FRAME_TRAP 1 #define FRAME_TSS 2 typedef struct _FPO_DATA { DWORD ulOffStart; /* offset 1st byte of function code */ DWORD cbProcSize; /* # bytes in function */ DWORD cdwLocals; /* # bytes in locals/4 */ WORD cdwParams; /* # bytes in params/4 */ WORD cbProlog : 8; /* # bytes in prolog */ WORD cbRegs : 3; /* # regs saved */ WORD fHasSEH : 1; /* TRUE if SEH in func */ WORD fUseBP : 1; /* TRUE if EBP has been allocated */ WORD reserved : 1; /* reserved for future use */ WORD cbFrame : 2; /* frame type */ } FPO_DATA; #endif } __EXCEPT_PAGE_FAULT { ERR("Got a page fault while loading symbols\n"); ret = FALSE; } __ENDTRY return ret; } DWORD msc_get_file_indexinfo(void* image, const IMAGE_DEBUG_DIRECTORY* debug_dir, DWORD num_dir, SYMSRV_INDEX_INFOW* info) { DWORD i; unsigned num_misc_records = 0; info->age = 0; memset(&info->guid, 0, sizeof(info->guid)); info->sig = 0; info->dbgfile[0] = L'\0'; info->pdbfile[0] = L'\0'; for (i = 0; i < num_dir; i++) { if (debug_dir[i].Type == IMAGE_DEBUG_TYPE_CODEVIEW) { const CODEVIEW_PDB_DATA* data = (const CODEVIEW_PDB_DATA*)((char*)image + debug_dir[i].PointerToRawData); const OMFSignatureRSDS* rsds_data = (const OMFSignatureRSDS*)data; if (!memcmp(data->Signature, "NB10", 4)) { info->age = data->age; info->sig = data->timestamp; MultiByteToWideChar(CP_ACP, 0, data->name, -1, info->pdbfile, ARRAY_SIZE(info->pdbfile)); } if (!memcmp(rsds_data->Signature, "RSDS", 4)) { info->age = rsds_data->age; info->guid = rsds_data->guid; MultiByteToWideChar(CP_ACP, 0, rsds_data->name, -1, info->pdbfile, ARRAY_SIZE(info->pdbfile)); } } else if (debug_dir[i].Type == IMAGE_DEBUG_TYPE_MISC && info->stripped) { const IMAGE_DEBUG_MISC* misc = (const IMAGE_DEBUG_MISC*) ((const char*)image + debug_dir[i].PointerToRawData); if (misc->Unicode) wcscpy(info->dbgfile, (WCHAR*)misc->Data); else MultiByteToWideChar(CP_ACP, 0, (const char*)misc->Data, -1, info->dbgfile, ARRAY_SIZE(info->dbgfile)); num_misc_records++; } } return info->stripped && !num_misc_records ? ERROR_BAD_EXE_FORMAT : ERROR_SUCCESS; } DWORD dbg_get_file_indexinfo(void* image, DWORD size, SYMSRV_INDEX_INFOW* info) { const IMAGE_SEPARATE_DEBUG_HEADER *header; DWORD num_directories; if (size < sizeof(*header)) return ERROR_BAD_EXE_FORMAT; header = image; if (header->Signature != 0x4944 /* DI */ || size < sizeof(*header) + header->NumberOfSections * sizeof(IMAGE_SECTION_HEADER) + header->ExportedNamesSize + header->DebugDirectorySize) return ERROR_BAD_EXE_FORMAT; /* header is followed by: * - header->NumberOfSections of IMAGE_SECTION_HEADER * - header->ExportedNameSize * - then num_directories of IMAGE_DEBUG_DIRECTORY */ num_directories = header->DebugDirectorySize / sizeof(IMAGE_DEBUG_DIRECTORY); if (!num_directories) return ERROR_BAD_EXE_FORMAT; info->age = 0; memset(&info->guid, 0, sizeof(info->guid)); info->sig = 0; info->dbgfile[0] = L'\0'; info->pdbfile[0] = L'\0'; info->size = header->SizeOfImage; /* seems to use header's timestamp, not debug_directory one */ info->timestamp = header->TimeDateStamp; info->stripped = FALSE; /* FIXME */ return ERROR_SUCCESS; }