wine/dlls/dbghelp/msc.c
2011-10-11 19:44:33 +02:00

3419 lines
126 KiB
C

/*
* 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.
*/
#define NONAMELESSUNION
#include "config.h"
#include "wine/port.h"
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#ifdef HAVE_UNISTD_H
# include <unistd.h>
#endif
#include <stdarg.h>
#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);
#define MAX_PATHNAME_LEN 1024
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];
};
/*========================================================================
* 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.
*/
#define MAX_BUILTIN_TYPES 0x06FF
#define FIRST_DEFINABLE_TYPE 0x1000
static struct symt* cv_basic_types[MAX_BUILTIN_TYPES];
struct cv_defined_module
{
BOOL allowed;
unsigned int num_defined_types;
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)
{
/*
* 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_new_basic(module, btVoid, "void", 0)->symt;
cv_basic_types[T_CHAR] = &symt_new_basic(module, btChar, "char", 1)->symt;
cv_basic_types[T_SHORT] = &symt_new_basic(module, btInt, "short int", 2)->symt;
cv_basic_types[T_LONG] = &symt_new_basic(module, btInt, "long int", 4)->symt;
cv_basic_types[T_QUAD] = &symt_new_basic(module, btInt, "long long int", 8)->symt;
cv_basic_types[T_UCHAR] = &symt_new_basic(module, btUInt, "unsigned char", 1)->symt;
cv_basic_types[T_USHORT] = &symt_new_basic(module, btUInt, "unsigned short", 2)->symt;
cv_basic_types[T_ULONG] = &symt_new_basic(module, btUInt, "unsigned long", 4)->symt;
cv_basic_types[T_UQUAD] = &symt_new_basic(module, btUInt, "unsigned long long", 8)->symt;
cv_basic_types[T_BOOL08] = &symt_new_basic(module, btBool, "BOOL08", 1)->symt;
cv_basic_types[T_BOOL16] = &symt_new_basic(module, btBool, "BOOL16", 2)->symt;
cv_basic_types[T_BOOL32] = &symt_new_basic(module, btBool, "BOOL32", 4)->symt;
cv_basic_types[T_BOOL64] = &symt_new_basic(module, btBool, "BOOL64", 8)->symt;
cv_basic_types[T_REAL32] = &symt_new_basic(module, btFloat, "float", 4)->symt;
cv_basic_types[T_REAL64] = &symt_new_basic(module, btFloat, "double", 8)->symt;
cv_basic_types[T_REAL80] = &symt_new_basic(module, btFloat, "long double", 10)->symt;
cv_basic_types[T_RCHAR] = &symt_new_basic(module, btInt, "signed char", 1)->symt;
cv_basic_types[T_WCHAR] = &symt_new_basic(module, btWChar, "wchar_t", 2)->symt;
cv_basic_types[T_INT2] = &symt_new_basic(module, btInt, "INT2", 2)->symt;
cv_basic_types[T_UINT2] = &symt_new_basic(module, btUInt, "UINT2", 2)->symt;
cv_basic_types[T_INT4] = &symt_new_basic(module, btInt, "INT4", 4)->symt;
cv_basic_types[T_UINT4] = &symt_new_basic(module, btUInt, "UINT4", 4)->symt;
cv_basic_types[T_INT8] = &symt_new_basic(module, btInt, "INT8", 8)->symt;
cv_basic_types[T_UINT8] = &symt_new_basic(module, btUInt, "UINT8", 8)->symt;
cv_basic_types[T_HRESULT]= &symt_new_basic(module, btUInt, "HRESULT", 4)->symt;
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_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_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;
}
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->n1.n2.vt = VT_UINT;
v->n1.n2.n3.uintVal = type;
}
else
{
switch (type)
{
case LF_CHAR:
length += 1;
v->n1.n2.vt = VT_I1;
v->n1.n2.n3.cVal = *(const char*)leaf;
break;
case LF_SHORT:
length += 2;
v->n1.n2.vt = VT_I2;
v->n1.n2.n3.iVal = *(const short*)leaf;
break;
case LF_USHORT:
length += 2;
v->n1.n2.vt = VT_UI2;
v->n1.n2.n3.uiVal = *leaf;
break;
case LF_LONG:
length += 4;
v->n1.n2.vt = VT_I4;
v->n1.n2.n3.lVal = *(const int*)leaf;
break;
case LF_ULONG:
length += 4;
v->n1.n2.vt = VT_UI4;
v->n1.n2.n3.uiVal = *(const unsigned int*)leaf;
break;
case LF_QUADWORD:
length += 8;
v->n1.n2.vt = VT_I8;
v->n1.n2.n3.llVal = *(const long long int*)leaf;
break;
case LF_UQUADWORD:
length += 8;
v->n1.n2.vt = VT_UI8;
v->n1.n2.n3.ullVal = *(const long long unsigned int*)leaf;
break;
case LF_REAL32:
length += 4;
v->n1.n2.vt = VT_R4;
v->n1.n2.n3.fltVal = *(const float*)leaf;
break;
case LF_REAL48:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 6;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_REAL64:
length += 8;
v->n1.n2.vt = VT_R8;
v->n1.n2.n3.fltVal = *(const double*)leaf;
break;
case LF_REAL80:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 10;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_REAL128:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 16;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_COMPLEX32:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 4;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_COMPLEX64:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 8;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_COMPLEX80:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 10;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_COMPLEX128:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 16;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
case LF_VARSTRING:
FIXME("Unsupported numeric leaf type %04x\n", type);
length += 2 + *leaf;
v->n1.n2.vt = VT_EMPTY; /* FIXME */
break;
default:
FIXME("Unknown numeric leaf type %04x\n", type);
v->n1.n2.vt = 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 < FIRST_DEFINABLE_TYPE are all fixed builtin types.
* Numbers from FIRST_DEFINABLE_TYPE and up are all user defined (structs, etc).
*/
if (typeno < FIRST_DEFINABLE_TYPE)
{
if (typeno < MAX_BUILTIN_TYPES)
symt = cv_basic_types[typeno];
}
else
{
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 - FIRST_DEFINABLE_TYPE < mod->num_defined_types)
symt = mod->defined_types[mod_typeno - FIRST_DEFINABLE_TYPE];
}
}
if (!quiet && !symt && typeno) FIXME("Returning NULL symt for type-id %x\n", typeno);
return symt;
}
struct codeview_type_parse
{
struct module* module;
const BYTE* table;
const DWORD* offset;
DWORD num;
};
static inline const void* codeview_jump_to_type(const struct codeview_type_parse* ctp, DWORD idx)
{
if (idx < FIRST_DEFINABLE_TYPE) return NULL;
idx -= FIRST_DEFINABLE_TYPE;
return (idx >= ctp->num) ? NULL : (ctp->table + ctp->offset[idx]);
}
static int codeview_add_type(unsigned int typeno, struct symt* dt)
{
if (typeno < FIRST_DEFINABLE_TYPE)
FIXME("What the heck\n");
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 - FIRST_DEFINABLE_TYPE >= cv_current_module->num_defined_types)
{
if (cv_current_module->defined_types)
{
cv_current_module->num_defined_types = max( cv_current_module->num_defined_types * 2,
typeno - FIRST_DEFINABLE_TYPE + 1 );
cv_current_module->defined_types = HeapReAlloc(GetProcessHeap(),
HEAP_ZERO_MEMORY, cv_current_module->defined_types,
cv_current_module->num_defined_types * sizeof(struct symt*));
}
else
{
cv_current_module->num_defined_types = max( 256, typeno - FIRST_DEFINABLE_TYPE + 1 );
cv_current_module->defined_types = HeapAlloc(GetProcessHeap(),
HEAP_ZERO_MEMORY,
cv_current_module->num_defined_types * sizeof(struct symt*));
}
if (cv_current_module->defined_types == NULL) return FALSE;
}
if (cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE])
{
if (cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE] != dt)
FIXME("Overwriting at %x\n", typeno);
}
cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE] = 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)
HeapFree(GetProcessHeap(), 0, cv_zmodules[i].defined_types);
cv_zmodules[i].allowed = FALSE;
cv_zmodules[i].defined_types = NULL;
cv_zmodules[i].num_defined_types = 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, BOOL details);
static void* codeview_cast_symt(struct symt* symt, enum SymTagEnum tag)
{
if (symt->tag != tag)
{
FIXME("Bad tag. Expected %d, but got %d\n", tag, symt->tag);
return NULL;
}
return symt;
}
static struct symt* codeview_fetch_type(struct codeview_type_parse* ctp,
unsigned typeno, BOOL details)
{
struct symt* symt;
const union codeview_type* p;
if (!typeno) return NULL;
if ((symt = codeview_get_type(typeno, TRUE))) return symt;
/* forward declaration */
if (!(p = codeview_jump_to_type(ctp, typeno)))
{
FIXME("Cannot locate type %x\n", typeno);
return NULL;
}
symt = codeview_parse_one_type(ctp, typeno, p, details);
if (!symt) FIXME("Couldn't load forward type %x\n", typeno);
return symt;
}
static struct symt* codeview_add_type_pointer(struct codeview_type_parse* ctp,
struct symt* existing,
unsigned int pointee_type)
{
struct symt* pointee;
if (existing)
{
existing = codeview_cast_symt(existing, SymTagPointerType);
return existing;
}
pointee = codeview_fetch_type(ctp, pointee_type, FALSE);
return &symt_new_pointer(ctp->module, pointee, sizeof(void *))->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, FALSE);
struct symt* index = codeview_fetch_type(ctp, indextype, FALSE);
return &symt_new_array(ctp->module, 0, -arr_len, elem, index)->symt;
}
static int codeview_add_type_enum_field_list(struct module* module,
struct symt_enum* symt,
const union codeview_reftype* ref_type)
{
const unsigned char* ptr = ref_type->fieldlist.list;
const unsigned char* last = (const BYTE*)ref_type + ref_type->generic.len + 2;
const union codeview_fieldtype* type;
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(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(module, symt, name, value);
ptr += 2 + 2 + vlen + (1 + strlen(name));
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, FALSE),
(value << 3) + 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, FALSE),
(value << 3) + cv_type->bitfield_v2.bitoff,
cv_type->bitfield_v2.nbits);
return;
}
}
subtype = codeview_fetch_type(ctp, type, FALSE);
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 << 3, (DWORD)elem_size << 3);
}
}
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;
default:
FIXME("Unsupported type %04x in STRUCT field list\n", type->generic.id);
return FALSE;
}
}
return TRUE;
}
static struct symt* codeview_add_type_enum(struct codeview_type_parse* ctp,
struct symt* existing,
const char* name,
unsigned fieldlistno,
unsigned basetype)
{
struct symt_enum* symt;
if (existing)
{
if (!(symt = codeview_cast_symt(existing, SymTagEnum))) return NULL;
/* should also check that all fields are the same */
}
else
{
symt = symt_new_enum(ctp->module, name,
codeview_fetch_type(ctp, basetype, FALSE));
if (fieldlistno)
{
const union codeview_reftype* fieldlist;
fieldlist = codeview_jump_to_type(ctp, fieldlistno);
codeview_add_type_enum_field_list(ctp->module, symt, fieldlist);
}
}
return &symt->symt;
}
static struct symt* codeview_add_type_struct(struct codeview_type_parse* ctp,
struct symt* existing,
const char* name, int structlen,
enum UdtKind kind, unsigned property)
{
struct symt_udt* symt;
/* if we don't have an existing type, try to find one with same name
* FIXME: what to do when several types in different CUs have same name ?
*/
if (!existing)
{
void* ptr;
struct symt_ht* type;
struct hash_table_iter hti;
hash_table_iter_init(&ctp->module->ht_types, &hti, name);
while ((ptr = hash_table_iter_up(&hti)))
{
type = GET_ENTRY(ptr, struct symt_ht, hash_elt);
if (type->symt.tag == SymTagUDT &&
type->hash_elt.name && !strcmp(type->hash_elt.name, name))
{
existing = &type->symt;
break;
}
}
}
if (existing)
{
if (!(symt = codeview_cast_symt(existing, SymTagUDT))) return NULL;
/* should also check that all fields are the same */
if (!(property & 0x80)) /* 0x80 = forward declaration */
{
if (!symt->size) /* likely prior forward declaration, set UDT size */
symt_set_udt_size(ctp->module, symt, structlen);
else /* different UDT with same name, create a new type */
existing = NULL;
}
}
if (!existing) symt = symt_new_udt(ctp->module, name, structlen, kind);
return &symt->symt;
}
static struct symt* codeview_new_func_signature(struct codeview_type_parse* ctp,
struct symt* existing,
enum CV_call_e call_conv)
{
struct symt_function_signature* sym;
if (existing)
{
sym = codeview_cast_symt(existing, SymTagFunctionType);
if (!sym) return NULL;
}
else
{
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, FALSE);
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], FALSE));
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], FALSE));
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, BOOL details)
{
struct symt* symt;
int value, leaf_len;
const struct p_string* p_name;
const char* c_name;
struct symt* existing;
existing = codeview_get_type(curr_type, TRUE);
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, details);
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, details);
break;
case LF_POINTER_V1:
symt = codeview_add_type_pointer(ctp, existing, type->pointer_v1.datatype);
break;
case LF_POINTER_V2:
symt = codeview_add_type_pointer(ctp, existing, type->pointer_v2.datatype);
break;
case LF_ARRAY_V1:
if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
else
{
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:
if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
else
{
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:
if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
else
{
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:
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 = codeview_add_type_struct(ctp, existing, terminate_string(p_name), value,
type->generic.id == LF_CLASS_V1 ? UdtClass : UdtStruct,
type->struct_v1.property);
if (details)
{
codeview_add_type(curr_type, symt);
if (!(type->struct_v1.property & 0x80)) /* 0x80 = forward declaration */
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->struct_v1.fieldlist);
}
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 = codeview_add_type_struct(ctp, existing, terminate_string(p_name), value,
type->generic.id == LF_CLASS_V2 ? UdtClass : UdtStruct,
type->struct_v2.property);
if (details)
{
codeview_add_type(curr_type, symt);
if (!(type->struct_v2.property & 0x80)) /* 0x80 = forward declaration */
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->struct_v2.fieldlist);
}
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 = codeview_add_type_struct(ctp, existing, c_name, value,
type->generic.id == LF_CLASS_V3 ? UdtClass : UdtStruct,
type->struct_v3.property);
if (details)
{
codeview_add_type(curr_type, symt);
if (!(type->struct_v3.property & 0x80)) /* 0x80 = forward declaration */
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->struct_v3.fieldlist);
}
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 = codeview_add_type_struct(ctp, existing, terminate_string(p_name),
value, UdtUnion, type->union_v1.property);
if (details)
{
codeview_add_type(curr_type, symt);
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->union_v1.fieldlist);
}
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 = codeview_add_type_struct(ctp, existing, terminate_string(p_name),
value, UdtUnion, type->union_v2.property);
if (details)
{
codeview_add_type(curr_type, symt);
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->union_v2.fieldlist);
}
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 = codeview_add_type_struct(ctp, existing, c_name,
value, UdtUnion, type->union_v3.property);
if (details)
{
codeview_add_type(curr_type, symt);
codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
type->union_v3.fieldlist);
}
break;
case LF_ENUM_V1:
symt = codeview_add_type_enum(ctp, existing,
terminate_string(&type->enumeration_v1.p_name),
type->enumeration_v1.fieldlist,
type->enumeration_v1.type);
break;
case LF_ENUM_V2:
symt = codeview_add_type_enum(ctp, existing,
terminate_string(&type->enumeration_v2.p_name),
type->enumeration_v2.fieldlist,
type->enumeration_v2.type);
break;
case LF_ENUM_V3:
symt = codeview_add_type_enum(ctp, existing, type->enumeration_v3.name,
type->enumeration_v3.fieldlist,
type->enumeration_v3.type);
break;
case LF_PROCEDURE_V1:
symt = codeview_new_func_signature(ctp, existing, type->procedure_v1.call);
if (details)
{
codeview_add_type(curr_type, symt);
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, existing,type->procedure_v2.call);
if (details)
{
codeview_add_type(curr_type, symt);
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, existing, type->mfunction_v1.call);
if (details)
{
codeview_add_type(curr_type, symt);
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, existing, type->mfunction_v2.call);
if (details)
{
codeview_add_type(curr_type, symt);
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 */
if (!(symt = existing))
{
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 FALSE;
}
return codeview_add_type(curr_type, symt) ? symt : NULL;
}
static int codeview_parse_type_table(struct codeview_type_parse* ctp)
{
unsigned int curr_type = FIRST_DEFINABLE_TYPE;
const union codeview_type* type;
for (curr_type = FIRST_DEFINABLE_TYPE; curr_type < FIRST_DEFINABLE_TYPE + ctp->num; curr_type++)
{
type = codeview_jump_to_type(ctp, curr_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
*/
if (!(type->generic.id & 0x8600) || (type->generic.id & 0x0100))
codeview_parse_one_type(ctp, curr_type, type, TRUE);
}
return TRUE;
}
/*========================================================================
* Process CodeView line number information.
*/
static unsigned long 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, k;
const unsigned int* filetab;
const unsigned int* lt_ptr;
const unsigned short* linenos;
const struct startend* start;
unsigned source;
unsigned long 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*)&ltb->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->address + func->size)
{
func = (struct symt_function*)symt_find_nearest(msc_dbg->module, addr);
/* FIXME: at least labels support line numbers */
if (!func || func->symt.tag != SymTagFunction)
{
WARN("--not a func at %04x:%08x %lx 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 - func->address);
}
}
}
}
static void codeview_snarf_linetab2(const struct msc_debug_info* msc_dbg, const BYTE* linetab, DWORD size,
const char* strimage, DWORD strsize)
{
unsigned i;
DWORD_PTR addr;
const struct codeview_linetab2* lt2;
const struct codeview_linetab2* lt2_files = NULL;
const struct codeview_lt2blk_lines* lines_blk;
const struct codeview_linetab2_file*fd;
unsigned source;
struct symt_function* func;
/* locate LT2_FILES_BLOCK (if any) */
lt2 = (const struct codeview_linetab2*)linetab;
while ((const BYTE*)(lt2 + 1) < linetab + size)
{
if (lt2->header == LT2_FILES_BLOCK)
{
lt2_files = lt2;
break;
}
lt2 = codeview_linetab2_next_block(lt2);
}
if (!lt2_files)
{
TRACE("No LT2_FILES_BLOCK found\n");
return;
}
lt2 = (const struct codeview_linetab2*)linetab;
while ((const BYTE*)(lt2 + 1) < linetab + size)
{
/* FIXME: should also check that whole lines_blk fits in linetab + size */
switch (lt2->header)
{
case LT2_LINES_BLOCK:
/* Skip blocks that are too small - Intel C Compiler generates these. */
if (lt2->size_of_block < sizeof (struct codeview_lt2blk_lines)) break;
lines_blk = (const struct codeview_lt2blk_lines*)lt2;
/* FIXME: should check that file_offset is within the LT2_FILES_BLOCK we've seen */
addr = codeview_get_address(msc_dbg, lines_blk->seg, lines_blk->start);
TRACE("block from %04x:%08x #%x (%x lines)\n",
lines_blk->seg, lines_blk->start, lines_blk->size, lines_blk->nlines);
fd = (const struct codeview_linetab2_file*)((const char*)lt2_files + 8 + lines_blk->file_offset);
/* FIXME: should check that string is within strimage + strsize */
source = source_new(msc_dbg->module, NULL, strimage + fd->offset);
func = (struct symt_function*)symt_find_nearest(msc_dbg->module, addr);
/* FIXME: at least labels support line numbers */
if (!func || func->symt.tag != SymTagFunction)
{
WARN("--not a func at %04x:%08x %lx tag=%d\n",
lines_blk->seg, lines_blk->start, addr, func ? func->symt.tag : -1);
break;
}
for (i = 0; i < lines_blk->nlines; i++)
{
symt_add_func_line(msc_dbg->module, func, source,
lines_blk->l[i].lineno ^ 0x80000000,
lines_blk->l[i].offset);
}
break;
case LT2_FILES_BLOCK: /* skip */
break;
default:
TRACE("Block end %x\n", lt2->header);
lt2 = (const struct codeview_linetab2*)((const char*)linetab + size);
continue;
}
lt2 = codeview_linetab2_next_block(lt2);
}
}
/*========================================================================
* 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_DATA* 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].from <= offset && omapp[i+1].from > offset)
return !omapp[i].to ? 0 : omapp[i].to + (offset - omapp[i].from);
return 0;
}
static unsigned long 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 inline void codeview_add_variable(const struct msc_debug_info* msc_dbg,
struct symt_compiland* compiland,
const char* name,
unsigned segment, unsigned offset,
unsigned symtype, BOOL is_local, BOOL in_tls, BOOL force)
{
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 (force || in_tls || !symt_find_nearest(msc_dbg->module, loc.offset))
{
symt_new_global_variable(msc_dbg->module, compiland,
name, is_local, loc, 0,
codeview_get_type(symtype, FALSE));
}
}
}
static int codeview_snarf(const struct msc_debug_info* msc_dbg, const BYTE* root,
int offset, int size, BOOL do_globals)
{
struct symt_function* curr_func = NULL;
int i, length;
struct symt_block* block = NULL;
struct symt* symt;
const char* name;
struct symt_compiland* compiland = NULL;
struct location loc;
/*
* 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_GDATA_V1:
case S_LDATA_V1:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v1.p_name),
sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype,
sym->generic.id == S_LDATA_V1, FALSE, TRUE);
break;
case S_GDATA_V2:
case S_LDATA_V2:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v2.p_name),
sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype,
sym->generic.id == S_LDATA_V2, FALSE, TRUE);
break;
case S_GDATA_V3:
case S_LDATA_V3:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, sym->data_v3.name,
sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype,
sym->generic.id == S_LDATA_V3, FALSE, TRUE);
break;
/* variables with thread storage */
case S_GTHREAD_V1:
case S_LTHREAD_V1:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v1.p_name),
sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype,
sym->generic.id == S_LTHREAD_V1, TRUE, TRUE);
break;
case S_GTHREAD_V2:
case S_LTHREAD_V2:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v2.p_name),
sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype,
sym->generic.id == S_LTHREAD_V2, TRUE, TRUE);
break;
case S_GTHREAD_V3:
case S_LTHREAD_V3:
if (do_globals)
codeview_add_variable(msc_dbg, compiland, sym->thread_v3.name,
sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype,
sym->generic.id == S_LTHREAD_V3, TRUE, TRUE);
break;
/* Public symbols */
case S_PUB_V1:
case S_PUB_V2:
case S_PUB_V3:
case S_PUB_FUNC1_V3:
case S_PUB_FUNC2_V3:
/* 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_THUNK_V1:
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_THUNK_V3:
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_GPROC_V1:
case S_LPROC_V1:
if (curr_func) FIXME("nested function\n");
curr_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));
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_GPROC_V2:
case S_LPROC_V2:
if (curr_func) FIXME("nested function\n");
curr_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));
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_GPROC_V3:
case S_LPROC_V3:
if (curr_func) FIXME("nested function\n");
curr_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));
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_BPREL_V1:
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_BPREL_V2:
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_BPREL_V3:
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_REGREL_V3:
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_V1:
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_V2:
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_V3:
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_BLOCK_V1:
block = symt_open_func_block(msc_dbg->module, curr_func, block,
codeview_get_address(msc_dbg, sym->block_v1.segment, sym->block_v1.offset),
sym->block_v1.length);
break;
case S_BLOCK_V3:
block = symt_open_func_block(msc_dbg->module, curr_func, block,
codeview_get_address(msc_dbg, sym->block_v3.segment, sym->block_v3.offset),
sym->block_v3.length);
break;
case S_END_V1:
if (block)
{
block = symt_close_func_block(msc_dbg->module, curr_func, block, 0);
}
else if (curr_func)
{
symt_normalize_function(msc_dbg->module, curr_func);
curr_func = NULL;
}
break;
case S_COMPILAND_V1:
TRACE("S-Compiland-V1 %x %s\n",
sym->compiland_v1.unknown, terminate_string(&sym->compiland_v1.p_name));
break;
case S_COMPILAND_V2:
TRACE("S-Compiland-V2 %s\n", terminate_string(&sym->compiland_v2.p_name));
if (TRACE_ON(dbghelp_msc))
{
const char* ptr1 = sym->compiland_v2.p_name.name + sym->compiland_v2.p_name.namelen;
const char* ptr2;
while (*ptr1)
{
ptr2 = ptr1 + strlen(ptr1) + 1;
TRACE("\t%s => %s\n", ptr1, debugstr_a(ptr2));
ptr1 = ptr2 + strlen(ptr2) + 1;
}
}
break;
case S_COMPILAND_V3:
TRACE("S-Compiland-V3 %s\n", sym->compiland_v3.name);
if (TRACE_ON(dbghelp_msc))
{
const char* ptr1 = sym->compiland_v3.name + strlen(sym->compiland_v3.name);
const char* ptr2;
while (*ptr1)
{
ptr2 = ptr1 + strlen(ptr1) + 1;
TRACE("\t%s => %s\n", ptr1, debugstr_a(ptr2));
ptr1 = ptr2 + strlen(ptr2) + 1;
}
}
break;
case S_OBJNAME_V1:
TRACE("S-ObjName %s\n", terminate_string(&sym->objname_v1.p_name));
compiland = symt_new_compiland(msc_dbg->module, 0 /* FIXME */,
source_new(msc_dbg->module, NULL,
terminate_string(&sym->objname_v1.p_name)));
break;
case S_LABEL_V1:
if (curr_func)
{
loc.kind = loc_absolute;
loc.offset = codeview_get_address(msc_dbg, sym->label_v1.segment, sym->label_v1.offset) - curr_func->address;
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_LABEL_V3:
if (curr_func)
{
loc.kind = loc_absolute;
loc.offset = codeview_get_address(msc_dbg, sym->label_v3.segment, sym->label_v3.offset) - curr_func->address;
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_V1:
{
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.n1.n2.n3.intVal, terminate_string(name), sym->constant_v1.type);
symt_new_constant(msc_dbg->module, compiland, terminate_string(name),
se, &v);
}
break;
case S_CONSTANT_V2:
{
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.n1.n2.n3.intVal, terminate_string(name), sym->constant_v2.type);
symt_new_constant(msc_dbg->module, compiland, terminate_string(name),
se, &v);
}
break;
case S_CONSTANT_V3:
{
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.n1.n2.n3.intVal, 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_V1:
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_V2:
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_V3:
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;
/*
* 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_V1:
case S_DATAREF_V1:
case S_LPROCREF_V1:
name = (const char*)sym + length;
length += (*name + 1 + 3) & ~3;
break;
case S_MSTOOL_V3: /* just to silence a few warnings */
case S_MSTOOLINFO_V3:
case S_MSTOOLENV_V3:
break;
case S_SSEARCH_V1:
TRACE("Start search: seg=0x%x at offset 0x%08x\n",
sym->ssearch_v1.segment, sym->ssearch_v1.offset);
break;
case S_ALIGN_V1:
TRACE("S-Align V1\n");
break;
/* the symbols we can safely ignore for now */
case 0x112c:
case S_FRAMEINFO_V2:
case S_SECUCOOKIE_V3:
case S_SECTINFO_V3:
case S_SUBSECTINFO_V3:
case S_ENTRYPOINT_V3:
case 0x1139:
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 (curr_func) symt_normalize_function(msc_dbg->module, curr_func);
return TRUE;
}
static int codeview_snarf_public(const struct msc_debug_info* msc_dbg, const BYTE* root,
int offset, int size)
{
int i, length;
struct symt_compiland* compiland = NULL;
/*
* 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)
{
case S_PUB_V1: /* FIXME is this really a 'data_v1' structure ?? */
if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
{
symt_new_public(msc_dbg->module, compiland,
terminate_string(&sym->data_v1.p_name),
codeview_get_address(msc_dbg, sym->data_v1.segment, sym->data_v1.offset), 1);
}
break;
case S_PUB_V2: /* FIXME is this really a 'data_v2' structure ?? */
if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
{
symt_new_public(msc_dbg->module, compiland,
terminate_string(&sym->data_v2.p_name),
codeview_get_address(msc_dbg, sym->data_v2.segment, sym->data_v2.offset), 1);
}
break;
case S_PUB_V3:
if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
{
symt_new_public(msc_dbg->module, compiland,
sym->data_v3.name,
codeview_get_address(msc_dbg, sym->data_v3.segment, sym->data_v3.offset), 1);
}
break;
case S_PUB_FUNC1_V3:
case S_PUB_FUNC2_V3: /* using a data_v3 isn't what we'd expect */
#if 0
/* FIXME: this is plain wrong (from a simple test) */
if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
{
symt_new_public(msc_dbg->module, compiland,
sym->data_v3.name,
codeview_get_address(msc_dbg, sym->data_v3.segment, sym->data_v3.offset), 1);
}
#endif
break;
/*
* Global and local data symbols. We don't associate these
* with any given source file.
*/
case S_GDATA_V1:
case S_LDATA_V1:
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v1.p_name),
sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype,
sym->generic.id == S_LDATA_V1, FALSE, FALSE);
break;
case S_GDATA_V2:
case S_LDATA_V2:
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v2.p_name),
sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype,
sym->generic.id == S_LDATA_V2, FALSE, FALSE);
break;
case S_GDATA_V3:
case S_LDATA_V3:
codeview_add_variable(msc_dbg, compiland, sym->data_v3.name,
sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype,
sym->generic.id == S_LDATA_V3, FALSE, FALSE);
break;
/* variables with thread storage */
case S_GTHREAD_V1:
case S_LTHREAD_V1:
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v1.p_name),
sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype,
sym->generic.id == S_LTHREAD_V1, TRUE, FALSE);
break;
case S_GTHREAD_V2:
case S_LTHREAD_V2:
codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v2.p_name),
sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype,
sym->generic.id == S_LTHREAD_V2, TRUE, FALSE);
break;
case S_GTHREAD_V3:
case S_LTHREAD_V3:
codeview_add_variable(msc_dbg, compiland, sym->thread_v3.name,
sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype,
sym->generic.id == S_LTHREAD_V3, TRUE, FALSE);
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_V1:
case S_DATAREF_V1:
case S_LPROCREF_V1:
length += (((const char*)sym)[length] + 1 + 3) & ~3;
break;
}
msc_dbg->module->sortlist_valid = TRUE;
}
msc_dbg->module->sortlist_valid = 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);
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 DWORD* 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);
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_file(const struct PDB_JG_HEADER* pdb,
const struct PDB_JG_TOC* toc, DWORD file_nr)
{
const WORD* block_list;
DWORD i;
if (!toc || file_nr >= toc->num_files) return NULL;
block_list = (const WORD*) &toc->file[toc->num_files];
for (i = 0; i < file_nr; i++)
block_list += (toc->file[i].size + pdb->block_size - 1) / pdb->block_size;
return pdb_jg_read(pdb, block_list, toc->file[file_nr].size);
}
static void* pdb_read_ds_file(const struct PDB_DS_HEADER* pdb,
const struct PDB_DS_TOC* toc, DWORD file_nr)
{
const DWORD* block_list;
DWORD i;
if (!toc || file_nr >= toc->num_files) return NULL;
if (toc->file_size[file_nr] == 0 || toc->file_size[file_nr] == 0xFFFFFFFF) return NULL;
block_list = &toc->file_size[toc->num_files];
for (i = 0; i < file_nr; i++)
block_list += (toc->file_size[i] + pdb->block_size - 1) / pdb->block_size;
return pdb_ds_read(pdb, block_list, toc->file_size[file_nr]);
}
static void* pdb_read_file(const struct pdb_file_info* pdb_file,
DWORD file_nr)
{
switch (pdb_file->kind)
{
case PDB_JG:
return pdb_read_jg_file((const struct PDB_JG_HEADER*)pdb_file->image,
pdb_file->u.jg.toc, file_nr);
case PDB_DS:
return pdb_read_ds_file((const struct PDB_DS_HEADER*)pdb_file->image,
pdb_file->u.ds.toc, file_nr);
}
return NULL;
}
static unsigned pdb_get_file_size(const struct pdb_file_info* pdb_file, DWORD file_nr)
{
switch (pdb_file->kind)
{
case PDB_JG: return pdb_file->u.jg.toc->file[file_nr].size;
case PDB_DS: return pdb_file->u.ds.toc->file_size[file_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;
if (*pdw++ != 0)
{
FIXME("unexpected value\n");
return -1;
}
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 j == numok && i == count;
}
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 void* pdb_read_strings(const struct pdb_file_info* pdb_file)
{
unsigned idx;
void *ret;
idx = pdb_get_stream_by_name(pdb_file, "/names");
if (idx != -1)
{
ret = pdb_read_file( pdb_file, idx );
if (ret && *(const DWORD *)ret == 0xeffeeffe) return ret;
pdb_free( ret );
}
WARN("string table not found\n");
return NULL;
}
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 void pdb_convert_types_header(PDB_TYPES* types, const BYTE* image)
{
memset(types, 0, sizeof(PDB_TYPES));
if (!image) return;
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;
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->file = old->file;
}
else
{
/* New version of the types record header */
*types = *(const PDB_TYPES*)image;
}
}
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->offset_size = old->offset_size;
symbols->hash_size = old->hash_size;
symbols->srcmodule_size = old->srcmodule_size;
symbols->pdbimport_size = 0;
symbols->hash1_file = old->hash1_file;
symbols->hash2_file = old->hash2_file;
symbols->gsym_file = old->gsym_file;
*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->file = sym_file->file;
sfile->range.index = sym_file->range.index;
sfile->symbol_size = sym_file->symbol_size;
sfile->lineno_size = sym_file->lineno_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;
char dbg_file_path[MAX_PATH];
BOOL ret = FALSE;
switch (lookup->kind)
{
case PDB_JG:
ret = path_find_symbol_file(pcs, lookup->filename, NULL, lookup->timestamp,
lookup->age, dbg_file_path, &module->module.PdbUnmatched);
break;
case PDB_DS:
ret = path_find_symbol_file(pcs, lookup->filename, &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 = CreateFileA(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_process_types(const struct msc_debug_info* msc_dbg,
const struct pdb_file_info* pdb_file)
{
BYTE* types_image = NULL;
types_image = pdb_read_file(pdb_file, 2);
if (types_image)
{
PDB_TYPES types;
struct codeview_type_parse ctp;
DWORD total;
const BYTE* ptr;
DWORD* offset;
pdb_convert_types_header(&types, types_image);
/* Check for unknown versions */
switch (types.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", types.version);
}
ctp.module = msc_dbg->module;
/* reconstruct the types offset...
* FIXME: maybe it's present in the newest PDB_TYPES structures
*/
total = types.last_index - types.first_index + 1;
offset = HeapAlloc(GetProcessHeap(), 0, sizeof(DWORD) * total);
ctp.table = ptr = types_image + types.type_offset;
ctp.num = 0;
while (ptr < ctp.table + types.type_size && ctp.num < total)
{
offset[ctp.num++] = ptr - ctp.table;
ptr += ((const union codeview_type*)ptr)->generic.len + 2;
}
ctp.offset = offset;
/* Read type table */
codeview_parse_type_table(&ctp);
HeapFree(GetProcessHeap(), 0, offset);
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_file(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);
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);
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 DWORD*)((const char*)pdb + pdb->toc_page * pdb->block_size),
pdb->toc_size);
root = pdb_read_ds_file(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 %d\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));
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_files;
switch (pdb_file->kind)
{
case PDB_JG: num_files = pdb_file->u.jg.toc->num_files; break;
case PDB_DS: num_files = pdb_file->u.ds.toc->num_files; break;
}
for (i = 1; i < num_files; i++)
{
unsigned char* x = pdb_read_file(pdb_file, i);
FIXME("********************** [%u]: size=%08x\n",
i, pdb_get_file_size(pdb_file, i));
dump(x, pdb_get_file_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);
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->offset_size +
symbols->hash_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 (!strcasecmp(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;
char* files_image = NULL;
DWORD files_size = 0;
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_file(pdb_file, 3);
if (symbols_image)
{
PDB_SYMBOLS symbols;
BYTE* globalimage;
BYTE* modimage;
BYTE* file;
int header_size = 0;
PDB_STREAM_INDEXES* psi;
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 %d %08x\n",
symbols.version, symbols.version);
}
switch (symbols.stream_index_size)
{
case 0:
case sizeof(PDB_STREAM_INDEXES_OLD):
/* no fpo ext stream in this case */
break;
case sizeof(PDB_STREAM_INDEXES):
psi = (PDB_STREAM_INDEXES*)((const char*)symbols_image + sizeof(PDB_SYMBOLS) +
symbols.module_size + symbols.offset_size +
symbols.hash_size + symbols.srcmodule_size +
symbols.pdbimport_size + symbols.unknown2_size);
pdb_file->fpoext_stream = psi->FPO_EXT;
break;
default:
FIXME("Unknown PDB_STREAM_INDEXES size (%d)\n", symbols.stream_index_size);
break;
}
files_image = pdb_read_strings(pdb_file);
if (files_image) files_size = *(const DWORD*)(files_image + 8);
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);
/* Read global symbol table */
globalimage = pdb_read_file(pdb_file, symbols.gsym_file);
if (globalimage)
{
codeview_snarf(msc_dbg, globalimage, 0,
pdb_get_file_size(pdb_file, symbols.gsym_file), FALSE);
}
/* 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_file(pdb_file, sfile.file);
if (modimage)
{
if (sfile.symbol_size)
codeview_snarf(msc_dbg, modimage, sizeof(DWORD),
sfile.symbol_size, TRUE);
if (sfile.lineno_size)
codeview_snarf_linetab(msc_dbg,
modimage + sfile.symbol_size,
sfile.lineno_size,
pdb_file->kind == PDB_JG);
if (files_image)
codeview_snarf_linetab2(msc_dbg, modimage + sfile.symbol_size + sfile.lineno_size,
pdb_get_file_size(pdb_file, sfile.file) - sfile.symbol_size - sfile.lineno_size,
files_image + 12, files_size);
pdb_free(modimage);
}
file_name = (const char*)file + size;
file_name += strlen(file_name) + 1;
file = (BYTE*)((DWORD_PTR)(file_name + strlen(file_name) + 1 + 3) & ~3);
}
/* finish the remaining public and global information */
if (globalimage)
{
codeview_snarf_public(msc_dbg, globalimage, 0,
pdb_get_file_size(pdb_file, symbols.gsym_file));
pdb_free(globalimage);
}
}
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 = NULL;
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 = SymCv;
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,
sizeof(msc_dbg->module->module.LoadedPdbName) / sizeof(WCHAR));
/* 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)),FALSE
#define PEV_ERROR1(pev, msg, pmt) snprintf((pev)->error, sizeof((pev)->error), (msg), (pmt)),FALSE
#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(GET_ENTRY(ptr, struct zvalue, elt)->elt.name, str))
{
*val = GET_ENTRY(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(GET_ENTRY(ptr, struct zvalue, elt)->elt.name, name))
{
GET_ENTRY(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), "%ld", 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;
if (!pev_pop_val(pev, &v1)) return FALSE;
if (!sw_read_mem(pev->csw, v1, &v2, sizeof(v2)))
return PEV_ERROR1(pev, "deref: cannot read mem at %lx\n", v1);
snprintf(res, sizeof(res), "%ld", 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;
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,
CONTEXT* context, struct pdb_cmd_pair* cpair)
{
struct module_pair pair;
struct pdb_module_info* pdb_info;
PDB_FPO_DATA* fpoext;
unsigned i, size, strsize;
char* strbase;
BOOL ret = TRUE;
if (!(pair.pcs = process_find_by_handle(csw->hProcess)) ||
!(pair.requested = module_find_by_addr(pair.pcs, ip, DMT_UNKNOWN)) ||
!module_get_debug(&pair))
return FALSE;
if (!pair.effective->format_info[DFI_PDB]) return FALSE;
pdb_info = pair.effective->format_info[DFI_PDB]->u.pdb_info;
TRACE("searching %lx => %lx\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;
strsize = *(const DWORD*)(strbase + 8);
fpoext = pdb_read_file(&pdb_info->pdb_files[0], pdb_info->pdb_files[0].fpoext_stream);
size = pdb_get_file_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,
fpoext[i].str_offset < strsize ?
wine_dbgstr_a(strbase + 12 + fpoext[i].str_offset) : "<out of bounds>");
if (fpoext[i].str_offset < strsize)
ret = pdb_parse_cmd_string(csw, &fpoext[i], strbase + 12 + fpoext[i].str_offset, cpair);
else
ret = FALSE;
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);
ctp.num = 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, TRUE);
/*
* 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 %08x in module %s\n",
*signature, debugstr_w(msc_dbg->module->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_DATA);
msc_dbg.omapp = (const OMAP_DATA*)(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;
}