Windows 64位VectoredExceptionHandler中的C ++ RTTI,MS Visual Studio 2015

Ily*_*sky 4 c++ exception-handling x86-64 rtti visual-studio

我正在使用小型Windows异常处理引擎,试图从系统中收集最大信息,包括C ++异常RTTI。

在MSVS 2015编译的32位VectoredExceptionHandler中,我可以成功获取指向所引发类型的RTTI的std :: type_info指针。可以轻松找到它((_ThrowInfo*) ExceptionPointers->ExceptionRecord->ExceptionInformation[2])->pCatchableTypeArray->arrayOfCatchableTypes[0](请参阅Raymond Chen的经典文章,来自MS ehdata.h文件的一些定义以及许多其他定义)。此方法基于获取由编译器构建pCatchableTypeArray的MSVC内置_ThrowInfo结构数据的成员。

但是在64位环境中,不_ThrowInfo包含直接RTTI:不幸的pCatchableTypeArray是,它为NULL。在反汇编窗口中,我看到它甚至在调用_CxxThrowExceptionMS主throw处理程序之前为NULL 。我搜索了许多有关MSVC中使用的新的64位异常处理机制的文章,但是没有有关RTTI的信息。但是也许我错过了一些东西。

有什么方法可以获取在64位MSVC环境中工作的矢量异常处理程序中引发的C ++异常的std :: type_info(或简称为类型名称)?

这是转储32位和64位异常信息的输出:

32位(RTTI成功):

VectoredExceptionHandler(): Start

exc->ExceptionCode               = 0xE06D7363
exc->ExceptionAddress            = 0x74E2C54F
exc->NumberParameters            = 3
exc->ExceptionInformation[0]     = 0x19930520 (sig)
exc->ExceptionInformation[1]     = 0x004FFD9C (object)
exc->ExceptionInformation[2]     = 0x003AD85C (throwInfo)
exc->ExceptionInformation[3]     = 0x005B18F8 (module)

throwInfo->attributes            = 0x00000000
throwInfo->pmfnUnwind            = 0x00000000
throwInfo->pForwardCompat        = 0x00000000
throwInfo->pCatchableTypeArray   = 0x003AD870

object    = 0x004FFD9C
throwInfo = 0x003AD85C
module    = 0x00000000

throwInfo->pCatchableTypeArray   = 0x003AD870
cArray                           = 0x003AD870

cArray->arrayOfCatchableTypes[0] = 0x003AD878
cType                            = 0x003AD878

cType->pType                     = 0x003AFA70
type                             = 0x003AFA70

type->name()                     = "struct `int __cdecl main(void)'::`2'::meow_exception"
cType->sizeOrOffset              = 4

VectoredExceptionHandler(): End

main(): catch (meow_exception { 3 })
Run Code Online (Sandbox Code Playgroud)

64位(RTTI失败)

VectoredExceptionHandler(): Start

exc->ExceptionCode               = 0xE06D7363
exc->ExceptionAddress            = 0x000007FEFCE0A06D
exc->NumberParameters            = 4
exc->ExceptionInformation[0]     = 0x0000000019930520 (sig)
exc->ExceptionInformation[1]     = 0x000000000025FBE0 (object)
exc->ExceptionInformation[2]     = 0x000000013FC52AB0 (throwInfo)
exc->ExceptionInformation[3]     = 0x000000013FBE0000 (module)

module                           = 0x000000013FBE0000

throwInfo->attributes            = 0x00000000
throwInfo->pmfnUnwind            = 0x0000000000000000
throwInfo->pForwardCompat        = 0x0000000000072AD0
throwInfo->pCatchableTypeArray   = 0x0000000000000000

VectoredExceptionHandler(): End

main(): catch (meow_exception { 3 })
Run Code Online (Sandbox Code Playgroud)

用于获取这些转储的代码:

#include <stdio.h>
#include <typeinfo>
#include <windows.h>

//--------------------------------------------------------------------------------------------------

const unsigned EXCEPTION_CPP_MICROSOFT                  = 0xE06D7363,  // '?msc'
               EXCEPTION_CPP_MICROSOFT_EH_MAGIC_NUMBER1 = 0x19930520,  // '?msc' version magic, see ehdata.h

               EXCEPTION_OUTPUT_DEBUG_STRING            = 0x40010006,  // OutputDebugString() call
               EXCEPTION_THREAD_NAME                    = 0x406D1388;  // Passing name of thread to the debugger

void OutputDebugPrintf (const char* format, ...);

//--------------------------------------------------------------------------------------------------

long WINAPI VectoredExceptionHandler (EXCEPTION_POINTERS* pointers)
    {
    const EXCEPTION_RECORD* exc = pointers->ExceptionRecord;

    if (exc->ExceptionCode == EXCEPTION_OUTPUT_DEBUG_STRING ||
        exc->ExceptionCode == EXCEPTION_THREAD_NAME)
        return EXCEPTION_CONTINUE_SEARCH;

    OutputDebugPrintf ("\n%s(): Start\n\n", __func__);

    OutputDebugPrintf ("exc->ExceptionCode    = 0x%X\n", exc->ExceptionCode);
    OutputDebugPrintf ("exc->ExceptionAddress = 0x%p\n", exc->ExceptionAddress);

    if (exc->ExceptionInformation[0] == EXCEPTION_CPP_MICROSOFT_EH_MAGIC_NUMBER1 && 
        exc->NumberParameters >= 3)
        {
        OutputDebugPrintf ("exc->NumberParameters = %u\n", exc->NumberParameters);

        OutputDebugPrintf ("exc->ExceptionInformation[0] = 0x%p (sig)\n",       (void*) exc->ExceptionInformation[0]);
        OutputDebugPrintf ("exc->ExceptionInformation[1] = 0x%p (object)\n",    (void*) exc->ExceptionInformation[1]);
        OutputDebugPrintf ("exc->ExceptionInformation[2] = 0x%p (throwInfo)\n", (void*) exc->ExceptionInformation[2]);
        OutputDebugPrintf ("exc->ExceptionInformation[3] = 0x%p (module)\n",    (void*) exc->ExceptionInformation[3]);
        OutputDebugPrintf ("\n");

        HMODULE module = (exc->NumberParameters >= 4)? (HMODULE) exc->ExceptionInformation[3] : NULL;

        if (module)
            {
            OutputDebugPrintf ("module = 0x%p\n", module);
            OutputDebugPrintf ("\n");
            }

        const _ThrowInfo* throwInfo = (const _ThrowInfo*) exc->ExceptionInformation[2];

        if (throwInfo)
            {
            OutputDebugPrintf ("throwInfo->attributes          = 0x%08X\n", throwInfo->attributes);
            OutputDebugPrintf ("throwInfo->pmfnUnwind          = 0x%p\n",   throwInfo->pmfnUnwind);
            OutputDebugPrintf ("throwInfo->pForwardCompat      = 0x%p\n",   throwInfo->pForwardCompat);
            OutputDebugPrintf ("throwInfo->pCatchableTypeArray = 0x%p\n",   throwInfo->pCatchableTypeArray);
            OutputDebugPrintf ("\n");
            }

        if (throwInfo && throwInfo->pCatchableTypeArray)
            {              
            #define RVA_TO_VA_(type, addr)  ( (type) ((uintptr_t) module + (uintptr_t) (addr)) )

            OutputDebugPrintf ("object    = 0x%p\n", (void*) exc->ExceptionInformation[1]);
            OutputDebugPrintf ("throwInfo = 0x%p\n", (void*) throwInfo);
            OutputDebugPrintf ("module    = 0x%p\n", (void*) module);
            OutputDebugPrintf ("\n");

            const _CatchableTypeArray* cArray = RVA_TO_VA_(const _CatchableTypeArray*, throwInfo->pCatchableTypeArray);

            OutputDebugPrintf ("throwInfo->pCatchableTypeArray = 0x%p\n",   (void*) throwInfo->pCatchableTypeArray);
            OutputDebugPrintf ("cArray                         = 0x%p\n\n", (void*) cArray);

            const _CatchableType* cType = RVA_TO_VA_(const _CatchableType*, cArray->arrayOfCatchableTypes[0]);

            OutputDebugPrintf ("cArray->arrayOfCatchableTypes[0] = 0x%p\n",   (void*) cArray->arrayOfCatchableTypes[0]);
            OutputDebugPrintf ("cType                            = 0x%p\n\n", (void*) cType);

            const std::type_info* type = RVA_TO_VA_(const std::type_info*, cType->pType);

            OutputDebugPrintf ("cType->pType = 0x%p\n",   (void*) cType->pType);
            OutputDebugPrintf ("type         = 0x%p\n\n", (void*) type);

            OutputDebugPrintf ("type->name()        = \"%s\"\n", type->name());
            OutputDebugPrintf ("cType->sizeOrOffset = %zu\n\n",  (size_t) cType->sizeOrOffset);

            #undef RVA_TO_VA_
            }
        }

    OutputDebugPrintf ("%s(): End\n", __func__);
    return EXCEPTION_CONTINUE_SEARCH;
    }

//--------------------------------------------------------------------------------------------------

void OutputDebugPrintf (const char* format, ...)
    {
    static char buf [1024] = "";

    va_list arg; va_start (arg, format);
    _vsnprintf_s (buf, sizeof (buf) - 1, _TRUNCATE, format, arg);
    va_end (arg);

    OutputDebugString (buf);
    printf ("%s", buf);
    }

//--------------------------------------------------------------------------------------------------

int main()
    {    
    OutputDebugPrintf ("\n%s(): Start\n", __func__);

    AddVectoredExceptionHandler (1, VectoredExceptionHandler);

    struct meow_exception { int code = 3; };

    try
        {
        throw meow_exception();
        }

    catch (const meow_exception& e)
        {
        OutputDebugPrintf ("\n%s(): catch (meow_exception { %d })\n", __func__, e.code);
        }

    catch (...)
        {
        OutputDebugPrintf ("\n%s(): catch (...)\n", __func__);
        }

    OutputDebugPrintf ("\n%s(): End\n", __func__);
    return 0;
    }
Run Code Online (Sandbox Code Playgroud)

构建选项:

// Microsoft (R) C/C++ Optimizing Compiler Version 19.00.24213.1 (part of VS 2015 SP3)

cl   /c code.cpp /EHsc /W4
link    code.obj kernel32.lib /machine:x86 /subsystem:console /debug
Run Code Online (Sandbox Code Playgroud)

预先感谢您的回答和建议。

Ily*_*sky 5

为了解决这个问题,我进行了更深入的研究,发现了一些与MSVC 64位模式有关的有趣事情。我发现我们不能依靠64位模式下的内部编译器预定义类型,因为其中一些是错误的。

我将编译器预定义的一些内部结构的定义(例如_ThrowInfo_CatchableType)与通过/FAs命令行开关运行的编译器生成的程序集列表进行了比较。

以下是从程序集文件中提取的这些结构的实例(以下是MSVC 2015 64位版本):

;---------------------------------------------------------------------------------------
; Listing generated by Microsoft Optimizing Compiler Version 19.00.24213.1 
; Simplified: many lines skipped, some sections reordered etc -- Ded
;---------------------------------------------------------------------------------------

main proc

;   struct meow_exception { int code = 3; };
;   
;   try
;       {
;       throw meow_exception();

    ...
    lea  rdx, OFFSET FLAT:_TI1?AUmeow_exception@?1??main@@YAHXZ@  ; lea &_ThrowInfo
    lea  rcx, QWORD PTR $T1[rsp]
    call _CxxThrowException

;---------------------------------------------------------------------------------------
_TI1?AUmeow_exception@?1??main@@YAHXZ@                            ; _ThrowInfo
    DD  0
    DD  0
    DD  0
    DD  imagerel _CTA1?AUmeow_exception@?1??main@@YAHXZ@          ; &_CatchableTypeArray

;---------------------------------------------------------------------------------------
_CTA1?AUmeow_exception@?1??main@@YAHXZ@                           ; _CatchableTypeArray
    DD  1
    DD  imagerel _CT??_R0?AUmeow_exception@?1??main@@YAHXZ@@84    ; &_CatchableType

;---------------------------------------------------------------------------------------
_CT??_R0?AUmeow_exception@?1??main@@YAHXZ@@84                     ; _CatchableType
    DD  0
    DD  imagerel ??_R0?AUmeow_exception@?1??main@@YAHXZ@@8        ; &_TypeDescriptor
    DD  0
    DD  0ffffffffh
    ORG $+4
    DD  04h
    DD  0

;---------------------------------------------------------------------------------------
??_R0?AUmeow_exception@?1??main@@YAHXZ@@8         ; _TypeDescriptor (aka std::type_info)
    DQ  FLAT:??_7type_info@@6B@
    DQ  0
    DB  '.?AUmeow_exception@?1??main@@YAHXZ@', 0  ; Mangled type name

;---------------------------------------------------------------------------------------
Run Code Online (Sandbox Code Playgroud)

这些结构的32位版本的二进制布局类似于64位,但有一些小的差异(FLAT修饰符代替imagerelin字段,DD而不是DQin _TypeDescriptor)。

然后,让我们将此列表与从ehdata.h文件中获取的预定义类型进行比较(例如,请参见Geoff Chappell的知名来源C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\crt\src\ehdata.hMSVC 2013中的文件;不幸的是,此文件在MSVC 2015运行时源中不存在):

typedef const struct _s__ThrowInfo
    {
    unsigned int         attributes;
    _PMFN                pmfnUnwind;            // this is a pointer!
    int (__cdecl        *pForwardCompat) (...); // this is a pointer too!
    _CatchableTypeArray *pCatchableTypeArray;   // this is a pointer too!
    }
    _ThrowInfo;

typedef const struct _s__CatchableType
    {
    unsigned int     properties;
    _TypeDescriptor *pType;                     // this is a pointer too!
    _PMD             thisDisplacement;
    int              sizeOrOffset;
    _PMFN            copyFunction;              // this is a pointer too!
    }
    _CatchableType;
Run Code Online (Sandbox Code Playgroud)

在32位模式下,一切正常,因为指针是32位的,并且结构的预定义内部定义与程序集列表相对应。

在64位模式下,这些结构中的指针是从模块的映像库测量的RVA(相对虚拟地址)。这是已知且有据可查的功能。它确实与上面的汇编程序列表相对应。注意imagerel地址修饰符,这些是RVA。这些RVA是32位的,并定义为32位DD关键字。

但是在64位模式下,从C ++角度来看,相应的指针被认为是64位。因此,包含指针(例如或以上)的内部编译器结构的C ++二进制布局不对应于汇编程序二进制布局。从C ++角度来看,这些结构的大小更大,并且字段偏移量也是错误的。_ThrowInfo_CatchableType

为了测试这一点,我定义了自己的自定义结构,使用相同的字段表示为32位整数类型,而不是指针:

namespace CORRECT
    {
    struct ThrowInfo
        {
        __int32 attributes;
        __int32 pmfnUnwind;           // now this is 32-bit RVA
        __int32 pForwardCompat;       // now this is 32-bit RVA
        __int32 pCatchableTypeArray;  // now this is 32-bit RVA
        };

    struct CatchableType
        {
        __int32 properties;
        __int32 pType;                // now this is 32-bit RVA
        _PMD    thisDisplacement;
        __int32 sizeOrOffset;
        __int32 copyFunction;         // now this is 32-bit RVA
        };
    }
Run Code Online (Sandbox Code Playgroud)

然后,我转储了内部定义和我自己的定义的内容,_ThrowInfo并同时_CatchableType使用了它们。结果如下(MSVC 2015 64位):

exc->ExceptionCode               = 0xE06D7363
exc->ExceptionAddress            = 0x000007FEFD69A06D
exc->NumberParameters            = 4
exc->ExceptionInformation[0]     = 0x0000000019930520 (sig)
exc->ExceptionInformation[1]     = 0x00000000002BF8B0 (object)
exc->ExceptionInformation[2]     = 0x000000013F9C4210 (throwInfo)
exc->ExceptionInformation[3]     = 0x000000013F950000 (module)

Built-in: _ThrowInfo, size 28
_throwInfo->attributes           = 0x00000000 [ofs:  0, size: 4, type: unsigned int]
_throwInfo->pmfnUnwind           = 0x00000000 [ofs:  4, size: 8, type: void (__cdecl*)(void * __ptr64)]
_throwInfo->pForwardCompat       = 0x00074230 [ofs: 12, size: 8, type: int (__cdecl*)(void)]
_throwInfo->pCatchableTypeArray  = 0x00000000 [ofs: 20, size: 8, type: struct _s__CatchableTypeArray const * __ptr64]

Custom: CORRECT::ThrowInfo, size 16
throwInfo->attributes            = 0x00000000 [ofs:  0, size: 4, type: int]
throwInfo->pmfnUnwind            = 0x00000000 [ofs:  4, size: 4, type: int]
throwInfo->pForwardCompat        = 0x00000000 [ofs:  8, size: 4, type: int]
throwInfo->pCatchableTypeArray   = 0x00074230 [ofs: 12, size: 4, type: int]

throwInfo->pCatchableTypeArray   = 0x0000000000074230
cArray                           = 0x000000013F9C4230

Built-in: _CatchableType, size 36
_cType->properties               = 0x00000000 [ofs:  0, size: 4, type: unsigned int]
_cType->pType                    = 0x00075D58 [ofs:  4, size: 8, type: struct _TypeDescriptor * __ptr64]
_cType->thisDisplacement.mdisp   = 0xFFFFFFFF [ofs: 12, size: 4, type: int]
_cType->thisDisplacement.pdisp   = 0x00000000 [ofs: 16, size: 4, type: int]
_cType->thisDisplacement.vdisp   = 0x00000004 [ofs: 20, size: 4, type: int]
_cType->sizeOrOffset             = 0x00000000 [ofs: 24, size: 4, type: int]
_cType->copyFunction             = 0x00000000 [ofs: 28, size: 8, type: void (__cdecl*)(void * __ptr64)]

Custom: CORRECT::CatchableType, size 28
cType->properties                = 0x00000000 [ofs:  0, size: 4, type: int]
cType->pType                     = 0x00075D58 [ofs:  4, size: 4, type: int]
cType->thisDisplacement.mdisp    = 0x00000000 [ofs:  8, size: 4, type: int]
cType->thisDisplacement.pdisp    = 0xFFFFFFFF [ofs: 12, size: 4, type: int]
cType->thisDisplacement.vdisp    = 0x00000000 [ofs: 16, size: 4, type: int]
cType->sizeOrOffset              = 0x00000004 [ofs: 20, size: 4, type: int]
cType->copyFunction              = 0x00000000 [ofs: 24, size: 4, type: int]

cArray->arrayOfCatchableTypes[0] = 0x0000000000074240
cType                            = 0x000000013F9C4240

cType->pType                     = 0x0000000000075D58
type                             = 0x000000013F9C5D58

type->name()                     = "struct `int __cdecl main(void)'::`2'::meow_exception"
cType->sizeOrOffset              = 4
Run Code Online (Sandbox Code Playgroud)

查看指针成员(8个字节与4个字节)的整体结构(28个字节与16个字节,36个字节与28个字节)的大小和错误的偏移量之间的差异。

使用CORRECT::定义时,很容易获得所需的正确RTTI。

C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\crt\src\ehdata.hMSVC 2013运行时源中的原始文件包含条件预处理器指令#ifdef _EH_RELATIVE_OFFSETS,该指令替换了__int32偏移量的指针。但是预定义的内部编译器类型始终包含64位错误的指针。

因此,在64位模式下使用RTTI结构的内部定义是不可靠的。一个人应该使用自己的定义,其中指针成员用32位整数表示(或#define _EH_RELATIVE_OFFSETS使用和ehdata.h上面提到的一样)。之后,不要忘记ImageBase像往常一样通过添加地址将RVA手动转换为通用C ++指针。但是,在这种结构和包含此类指针的定义中,不应信任指针成员,因为它们不能反映真正的64位二进制布局。

我使用MSVC 2010进行了测试并获得了相同的结果。

这是在64位MSVC环境中获取正确的RTTI的代码:

#include <stdio.h>
#include <typeinfo>
#include <stdexcept>
#include <windows.h>

//------------------------------------------------------------------------------------------------------------------------------
//! These definitions are based on assembly listings produded by the compiler (/FAs) rather than built-in ones
//! @{

#pragma pack (push, 4)

namespace CORRECT
    {

    struct CatchableType
        {
        __int32 properties;
        __int32 pType;
        _PMD    thisDisplacement;
        __int32 sizeOrOffset;
        __int32 copyFunction;
        };

    struct ThrowInfo
        {
        __int32 attributes;
        __int32 pmfnUnwind;
        __int32 pForwardCompat;
        __int32 pCatchableTypeArray;
        };

    }

#pragma pack (pop)

//! @}
//------------------------------------------------------------------------------------------------------------------------------

const unsigned EXCEPTION_CPP_MICROSOFT                  = 0xE06D7363,  // '?msc'
               EXCEPTION_CPP_MICROSOFT_EH_MAGIC_NUMBER1 = 0x19930520,  // '?msc' version magic, see ehdata.h

               EXCEPTION_OUTPUT_DEBUG_STRING            = 0x40010006,  // OutputDebugString() call
               EXCEPTION_THREAD_NAME                    = 0x406D1388;  // Passing name of thread to the debugger

void OutputDebugPrintf (const char* format, ...);

//------------------------------------------------------------------------------------------------------------------------------

long WINAPI VectoredExceptionHandler (EXCEPTION_POINTERS* pointers)
    {
    const EXCEPTION_RECORD* exc = pointers->ExceptionRecord;

    if (exc->ExceptionCode == EXCEPTION_OUTPUT_DEBUG_STRING ||
        exc->ExceptionCode == EXCEPTION_THREAD_NAME)
        return EXCEPTION_CONTINUE_SEARCH;

    OutputDebugPrintf ("\n%s(): Start\n\n", __FUNCTION__);

    OutputDebugPrintf         ("exc->ExceptionCode               = 0x%X\n", exc->ExceptionCode);
    OutputDebugPrintf         ("exc->ExceptionAddress            = 0x%p\n", exc->ExceptionAddress);

    if (exc->ExceptionInformation[0] == EXCEPTION_CPP_MICROSOFT_EH_MAGIC_NUMBER1 && 
        exc->NumberParameters >= 3)
        {
        OutputDebugPrintf     ("exc->NumberParameters            = %u\n", exc->NumberParameters);

        OutputDebugPrintf     ("exc->ExceptionInformation[0]     = 0x%p (sig)\n",       (void*) exc->ExceptionInformation[0]);
        OutputDebugPrintf     ("exc->ExceptionInformation[1]     = 0x%p (object)\n",    (void*) exc->ExceptionInformation[1]);
        OutputDebugPrintf     ("exc->ExceptionInformation[2]     = 0x%p (throwInfo)\n", (void*) exc->ExceptionInformation[2]);

        if (exc->NumberParameters >= 4)
            OutputDebugPrintf ("exc->ExceptionInformation[3]     = 0x%p (module)\n",    (void*) exc->ExceptionInformation[3]);

        OutputDebugPrintf ("\n");

        HMODULE module = (exc->NumberParameters >= 4)? (HMODULE) exc->ExceptionInformation[3] : NULL;

        #define RVA_TO_VA_(type, addr)  ( (type) ((uintptr_t) module + (uintptr_t) (addr)) )

        const         _ThrowInfo* _throwInfo = (const         _ThrowInfo*) exc->ExceptionInformation[2];
        const CORRECT::ThrowInfo*  throwInfo = (const CORRECT::ThrowInfo*) exc->ExceptionInformation[2];

        #define DUMP_(var, struc, field)  OutputDebugPrintf ("%-32s = 0x%08X [ofs: %2u, size: %u, type: %s]\n",  \
                                                             #var "->" #field, (var)->field,                 \
                                                             offsetof (struc, field), sizeof ((var)->field), \
                                                             typeid ((var)->field) .name());
        if (_throwInfo)
            {
            OutputDebugPrintf ("Built-in: _ThrowInfo, size %u\n", sizeof (_ThrowInfo));
            DUMP_ (_throwInfo, _ThrowInfo, attributes);
            DUMP_ (_throwInfo, _ThrowInfo, pmfnUnwind);
            DUMP_ (_throwInfo, _ThrowInfo, pForwardCompat);
            DUMP_ (_throwInfo, _ThrowInfo, pCatchableTypeArray);
            OutputDebugPrintf ("\n");
            }
        else
            OutputDebugPrintf ("_throwInfo is NULL\n");

        if (throwInfo)
            {
            OutputDebugPrintf ("Custom: CORRECT::ThrowInfo, size %u\n", sizeof (CORRECT::ThrowInfo));
            DUMP_ ( throwInfo, CORRECT::ThrowInfo, attributes);
            DUMP_ ( throwInfo, CORRECT::ThrowInfo, pmfnUnwind);
            DUMP_ ( throwInfo, CORRECT::ThrowInfo, pForwardCompat);
            DUMP_ ( throwInfo, CORRECT::ThrowInfo, pCatchableTypeArray);
            OutputDebugPrintf ("\n");
            }
        else
            OutputDebugPrintf ("throwInfo is NULL\n");

        if (throwInfo)
            {              
            const _CatchableTypeArray* cArray = RVA_TO_VA_(const _CatchableTypeArray*, throwInfo->pCatchableTypeArray);

            OutputDebugPrintf ("throwInfo->pCatchableTypeArray   = 0x%p\n",   (void*)(ptrdiff_t) throwInfo->pCatchableTypeArray);
            OutputDebugPrintf ("cArray                           = 0x%p\n\n", (void*)            cArray);

            const         _CatchableType* _cType = RVA_TO_VA_(const         _CatchableType*, cArray->arrayOfCatchableTypes[0]);
            const CORRECT::CatchableType*  cType = RVA_TO_VA_(const CORRECT::CatchableType*, cArray->arrayOfCatchableTypes[0]);

            OutputDebugPrintf ("Built-in: _CatchableType, size %u\n", sizeof (_CatchableType));
            DUMP_ (_cType, _CatchableType, properties);
            DUMP_ (_cType, _CatchableType, pType);
            DUMP_ (_cType, _CatchableType, thisDisplacement.mdisp);
            DUMP_ (_cType, _CatchableType, thisDisplacement.pdisp);
            DUMP_ (_cType, _CatchableType, thisDisplacement.vdisp);
            DUMP_ (_cType, _CatchableType, sizeOrOffset);
            DUMP_ (_cType, _CatchableType, copyFunction);
            OutputDebugPrintf ("\n");

            OutputDebugPrintf ("Custom: CORRECT::CatchableType, size %u\n", sizeof (CORRECT::CatchableType));
            DUMP_ ( cType, CORRECT::CatchableType, properties);
            DUMP_ ( cType, CORRECT::CatchableType, pType);
            DUMP_ ( cType, CORRECT::CatchableType, thisDisplacement.mdisp);
            DUMP_ ( cType, CORRECT::CatchableType, thisDisplacement.pdisp);
            DUMP_ ( cType, CORRECT::CatchableType, thisDisplacement.vdisp);
            DUMP_ ( cType, CORRECT::CatchableType, sizeOrOffset);
            DUMP_ ( cType, CORRECT::CatchableType, copyFunction);
            OutputDebugPrintf ("\n");

            OutputDebugPrintf ("cArray->arrayOfCatchableTypes[0] = 0x%p\n",   (void*) cArray->arrayOfCatchableTypes[0]);
            OutputDebugPrintf ("cType                            = 0x%p\n\n", (void*) cType);

            const std::type_info* type = RVA_TO_VA_(const std::type_info*, cType->pType);

            OutputDebugPrintf ("cType->pType                     = 0x%p\n",   (void*)(ptrdiff_t) cType->pType);
            OutputDebugPrintf ("type                             = 0x%p\n\n", (void*)            type);

            OutputDebugPrintf ("type->name()                     = \"%s\"\n", type->name());
            OutputDebugPrintf ("cType->sizeOrOffset              = %u\n\n",   (unsigned) cType->sizeOrOffset);

            }

        #undef DUMP_
        #undef RVA_TO_VA_
        }

    OutputDebugPrintf ("%s(): End\n", __FUNCTION__);
    return EXCEPTION_CONTINUE_SEARCH;
    }

//------------------------------------------------------------------------------------------------------------------------------

void OutputDebugPrintf (const char* format, ...)
    {
    static char buf [1024] = "";

    va_list arg; va_start (arg, format);
    _vsnprintf_s (buf, sizeof (buf) - 1, _TRUNCATE, format, arg);
    va_end (arg);

    OutputDebugString (buf);
    printf ("%s", buf);
    }

//------------------------------------------------------------------------------------------------------------------------------

int main()
    {    
    OutputDebugPrintf ("\nCompiled with MSVC %d, %d-bit\n", _MSC_VER, 8 * sizeof (void*));
    OutputDebugPrintf ("\n%s(): Start\n", __FUNCTION__);

    AddVectoredExceptionHandler (1, VectoredExceptionHandler);

    struct meow_exception { int code; meow_exception() : code (3) {} };

    try
        {
        throw meow_exception();
        }

    catch (const meow_exception& e)
        {
        OutputDebugPrintf ("\n%s(): catch (meow_exception { %d })\n", __FUNCTION__, e.code);
        }

    catch (...)
        {
        OutputDebugPrintf ("\n%s(): catch (...)\n", __FUNCTION__);
        }

    OutputDebugPrintf ("\n%s(): End\n", __FUNCTION__);
    return 0;
    }
Run Code Online (Sandbox Code Playgroud)