Annotation of mstools/samples/sdktools/image/drwatson/mips/walk.c, revision 1.1

1.1     ! root        1: /*++
        !             2: 
        !             3: Copyright (c) 1993  Microsoft Corporation
        !             4: 
        !             5: Module Name:
        !             6: 
        !             7:     walk.c
        !             8: 
        !             9: Abstract:
        !            10: 
        !            11:     This file provides support for stack walking.
        !            12: 
        !            13: Author:
        !            14: 
        !            15:     Wesley Witt (wesw) 1-May-1993
        !            16: 
        !            17: Environment:
        !            18: 
        !            19:     User Mode
        !            20: 
        !            21: --*/
        !            22: 
        !            23: #include <windows.h>
        !            24: #include <stdlib.h>
        !            25: #include <stdio.h>
        !            26: #include <string.h>
        !            27: 
        !            28: #include "drwatson.h"
        !            29: #include "proto.h"
        !            30: 
        !            31: 
        !            32: #ifdef MIPSEB
        !            33: typedef union _MIPS_INSTRUCTION {
        !            34:     ULONG Long;
        !            35:     UCHAR Byte[4];
        !            36: 
        !            37:     struct {
        !            38:         ULONG Opcode : 6;
        !            39:         ULONG Target : 26;
        !            40:     } j_format;
        !            41: 
        !            42:     struct {
        !            43:         ULONG Opcode : 6;
        !            44:         ULONG Rs : 5;
        !            45:         ULONG Rt : 5;
        !            46:         LONG Simmediate : 16;
        !            47:     } i_format;
        !            48: 
        !            49:     struct {
        !            50:         ULONG Opcode : 6;
        !            51:         ULONG Rs : 5;
        !            52:         ULONG Rt : 5;
        !            53:         ULONG Uimmediate : 16;
        !            54:     } u_format;
        !            55: 
        !            56:     struct {
        !            57:         ULONG Opcode : 6;
        !            58:         ULONG Rs : 5;
        !            59:         ULONG Rt : 5;
        !            60:         ULONG Rd : 5;
        !            61:         ULONG Re : 5;
        !            62:         ULONG Function : 6;
        !            63:     } r_format;
        !            64: 
        !            65:     struct {
        !            66:         ULONG Opcode : 6;
        !            67:         ULONG Fill1 : 1;
        !            68:         ULONG Format : 4;
        !            69:         ULONG Rt : 5;
        !            70:         ULONG Rd : 5;
        !            71:         ULONG Re : 5;
        !            72:         ULONG Function : 6;
        !            73:     } f_format;
        !            74: 
        !            75:     struct {
        !            76:         ULONG Opcode : 6;
        !            77:         ULONG Fill1 : 1;
        !            78:         ULONG Format : 4;
        !            79:         ULONG Ft : 5;
        !            80:         ULONG Fs : 5;
        !            81:         ULONG Fd : 5;
        !            82:         ULONG Function : 6;
        !            83:     } c_format;
        !            84: 
        !            85: } MIPS_INSTRUCTION, *PMIPS_INSTRUCTION;
        !            86: 
        !            87: #else
        !            88: 
        !            89: typedef union _MIPS_INSTRUCTION {
        !            90:     ULONG Long;
        !            91:     UCHAR Byte[4];
        !            92: 
        !            93:     struct {
        !            94:         ULONG Target : 26;
        !            95:         ULONG Opcode : 6;
        !            96:     } j_format;
        !            97: 
        !            98:     struct {
        !            99:         LONG Simmediate : 16;
        !           100:         ULONG Rt : 5;
        !           101:         ULONG Rs : 5;
        !           102:         ULONG Opcode : 6;
        !           103:     } i_format;
        !           104: 
        !           105:     struct {
        !           106:         ULONG Uimmediate : 16;
        !           107:         ULONG Rt : 5;
        !           108:         ULONG Rs : 5;
        !           109:         ULONG Opcode : 6;
        !           110:     } u_format;
        !           111: 
        !           112:     struct {
        !           113:         ULONG Function : 6;
        !           114:         ULONG Re : 5;
        !           115:         ULONG Rd : 5;
        !           116:         ULONG Rt : 5;
        !           117:         ULONG Rs : 5;
        !           118:         ULONG Opcode : 6;
        !           119:     } r_format;
        !           120: 
        !           121:     struct {
        !           122:         ULONG Function : 6;
        !           123:         ULONG Re : 5;
        !           124:         ULONG Rd : 5;
        !           125:         ULONG Rt : 5;
        !           126:         ULONG Format : 4;
        !           127:         ULONG Fill1 : 1;
        !           128:         ULONG Opcode : 6;
        !           129:     } f_format;
        !           130: 
        !           131:     struct {
        !           132:         ULONG Function : 6;
        !           133:         ULONG Fd : 5;
        !           134:         ULONG Fs : 5;
        !           135:         ULONG Ft : 5;
        !           136:         ULONG Format : 4;
        !           137:         ULONG Fill1 : 1;
        !           138:         ULONG Opcode : 6;
        !           139:     } c_format;
        !           140: 
        !           141: } MIPS_INSTRUCTION, *PMIPS_INSTRUCTION;
        !           142: 
        !           143: #endif   // MIPSEB
        !           144: 
        !           145: /* Define MIPS nonvolatile register test macros. */
        !           146: #define IS_FLOATING_SAVED(Register) ((SAVED_FLOATING_MASK >> Register) & 1L) /*
        !           147:                                                                               */
        !           148: #define IS_INTEGER_SAVED(Register) ((SAVED_INTEGER_MASK >> Register) & 1L)
        !           149: 
        !           150: //
        !           151:   /* Define MIPS instruction opcode values. */
        !           152:   //
        !           153: #define ORI_OP 0xd              /* or unsigned immediate integer */
        !           154: #define ADDIU_OP 0x9            /* add immediate unsigned integer register */
        !           155: #define ADDU_OP 0x21            /* add unsigned integer register */
        !           156: #define JUMP_RA 0x3e00008       /* jump indirect return address register */
        !           157: #define LUI_OP 0xf              /* load upper immediate integer register */
        !           158: #define SD_OP 0x2f              /* store double integer register */
        !           159: #define SW_OP 0x2b              /* store word integer register */
        !           160: #define SDC1_OP 0x3d            /* store double floating register */
        !           161: #define SWC1_OP 0x39            /* store word floating register */
        !           162: #define SPEC_OP 0x0             /* special opcode - use function field */
        !           163: #define SUBU_OP 0x23            /* subtract unsigned integer register */
        !           164: 
        !           165:   /* Define stack register and zero register numbers. */
        !           166: 
        !           167: #define RA 0x1f                 /* integer register 31 */
        !           168: #define SP 0x1d                 /* integer register 29 */
        !           169: #define ZERO 0x0                /* integer register 0 */
        !           170: 
        !           171:   /* Define saved register masks. */
        !           172: 
        !           173: #define SAVED_FLOATING_MASK 0xfff00000 /* saved floating registers */
        !           174: #define SAVED_INTEGER_MASK 0xf3ffff02 /* saved integer registers */
        !           175: 
        !           176: 
        !           177: 
        !           178: DWORD
        !           179: VirtualUnwind (
        !           180:     PDEBUGPACKET       dp,
        !           181:     DWORD              ControlPc,
        !           182:     PRUNTIME_FUNCTION  FunctionEntry,
        !           183:     PCONTEXT           ContextRecord
        !           184:     )
        !           185: 
        !           186: /*++
        !           187: 
        !           188: Routine Description:
        !           189: 
        !           190:     This function virtually unwinds the specfified function by executing its
        !           191:     prologue code backwards.
        !           192: 
        !           193:     If the function is a leaf function, then the address where control left
        !           194:     the previous frame is obtained from the context record. If the function
        !           195:     is a nested function, but not an exception or interrupt frame, then the
        !           196:     prologue code is executed backwards and the address where control left
        !           197:     the previous frame is obtained from the updated context record.
        !           198: 
        !           199:     Otherwise, an exception or interrupt entry to the system is being unwound
        !           200:     and a specially coded prologue restores the return address twice. Once
        !           201:     from the fault instruction address and once from the saved return address
        !           202:     register. The first restore is returned as the function value and the
        !           203:     second restore is place in the updated context record.
        !           204: 
        !           205:     If a context pointers record is specified, then the address where each
        !           206:     nonvolatile registers is restored from is recorded in the appropriate
        !           207:     element of the context pointers record.
        !           208: 
        !           209: Arguments:
        !           210: 
        !           211:     ControlPc - Supplies the address where control left the specified
        !           212:         function.
        !           213: 
        !           214:     FunctionEntry - Supplies the address of the function table entry for the
        !           215:         specified function.
        !           216: 
        !           217:     ContextRecord - Supplies the address of a context record.
        !           218: 
        !           219:     ContextPointers - Supplies an optional pointer to a context pointers
        !           220:         record.
        !           221: 
        !           222: Return Value:
        !           223: 
        !           224:     The address where control left the previous frame is returned as the
        !           225:     function value.
        !           226: 
        !           227: --*/
        !           228: 
        !           229: {
        !           230:     DWORD Address;
        !           231:     DWORD DecrementOffset;
        !           232:     DWORD DecrementRegister;
        !           233:     LPDWORD FloatingRegister;
        !           234:     MIPS_INSTRUCTION Instruction;
        !           235:     LPDWORD IntegerRegister;
        !           236:     DWORD NextPc;
        !           237:     LONG Offset;
        !           238:     DWORD Opcode;
        !           239:     DWORD Rd;
        !           240:     BOOL  Restored;
        !           241:     DWORD Rs;
        !           242:     DWORD Rt;
        !           243:     DWORD instrProlog;
        !           244:     DWORD addrPC;
        !           245:     DWORD addrT;
        !           246: 
        !           247: 
        !           248:     addrPC = ControlPc;
        !           249: 
        !           250:     if (!ReadProcessMemory( dp->hProcess,
        !           251:                             (LPVOID)ControlPc,
        !           252:                             (LPVOID)&instrProlog,
        !           253:                             4,
        !           254:                             NULL
        !           255:                            )) {
        !           256:         return 0;
        !           257:     }
        !           258: 
        !           259:     if (instrProlog == JUMP_RA) {
        !           260:         ControlPc += 4;
        !           261:         addrPC += 4;
        !           262:         if (!ReadProcessMemory( dp->hProcess,
        !           263:                                 (LPVOID)addrPC,
        !           264:                                 (LPVOID)&Instruction.Long,
        !           265:                                 4,
        !           266:                                 NULL
        !           267:                                )) {
        !           268:             return 0;
        !           269:         }
        !           270:         addrPC -= 4;
        !           271:         ControlPc -= 4;
        !           272:         Opcode = Instruction.i_format.Opcode;
        !           273:         if (((Opcode != ADDIU_OP) &&
        !           274:              ((Opcode != SPEC_OP) ||
        !           275:               (Instruction.r_format.Function != ADDU_OP))) ||
        !           276:             ((Opcode == ADDIU_OP) &&
        !           277:              (Instruction.i_format.Rt != SP)) ||
        !           278:             ((Opcode == SPEC_OP) &&
        !           279:              (Instruction.r_format.Function == ADDU_OP) &&
        !           280:              (Instruction.r_format.Rd != SP))) {
        !           281:             return ContextRecord->IntRa;
        !           282:         }
        !           283:     }
        !           284: 
        !           285:     if (ControlPc > FunctionEntry->PrologEndAddress) {
        !           286:         addrPC = FunctionEntry->PrologEndAddress;
        !           287:         ControlPc = FunctionEntry->PrologEndAddress;
        !           288:     }
        !           289: 
        !           290:     FloatingRegister = &ContextRecord->FltF0;
        !           291:     IntegerRegister = &ContextRecord->IntZero;
        !           292: 
        !           293:     DecrementRegister = 0;
        !           294:     NextPc = ContextRecord->IntRa;
        !           295:     Restored = FALSE;
        !           296:     while (ControlPc > FunctionEntry->BeginAddress) {
        !           297:         ControlPc -= 4;
        !           298:         addrPC -= 4;
        !           299:         if (!ReadProcessMemory( dp->hProcess,
        !           300:                                 (LPVOID)addrPC,
        !           301:                                 (LPVOID)&Instruction.Long,
        !           302:                                 4,
        !           303:                                 NULL
        !           304:                                )) {
        !           305:             return 0;
        !           306:         }
        !           307:         Opcode = Instruction.i_format.Opcode;
        !           308:         Offset = Instruction.i_format.Simmediate;
        !           309:         Rd = Instruction.r_format.Rd;
        !           310:         Rs = Instruction.i_format.Rs;
        !           311:         Rt = Instruction.i_format.Rt;
        !           312:         Address = Offset + IntegerRegister[Rs];
        !           313:         addrT = Offset + IntegerRegister[Rs];
        !           314:         if (Opcode == SW_OP) {
        !           315: 
        !           316:             if ((Rs == SP) && (IS_INTEGER_SAVED(Rt))) {
        !           317:                 if (!ReadProcessMemory( dp->hProcess,
        !           318:                                         (LPVOID)addrT,
        !           319:                                         (LPVOID)&IntegerRegister[Rt],
        !           320:                                         4,
        !           321:                                         NULL
        !           322:                                        )) {
        !           323:                     return 0;
        !           324:                 }
        !           325:                 if ((Rt == RA) && (Restored == FALSE)) {
        !           326:                     NextPc = ContextRecord->IntRa;
        !           327:                     Restored = TRUE;
        !           328:                 }
        !           329: 
        !           330:             }
        !           331: 
        !           332:         } else if (Opcode == SWC1_OP) {
        !           333: 
        !           334:             if ((Rs == SP) && (IS_FLOATING_SAVED(Rt))) {
        !           335:                 if (!ReadProcessMemory( dp->hProcess,
        !           336:                                         (LPVOID)addrT,
        !           337:                                         (LPVOID)&FloatingRegister[Rt],
        !           338:                                         4,
        !           339:                                         NULL
        !           340:                                        )) {
        !           341:                     return 0;
        !           342:                 }
        !           343:             }
        !           344: 
        !           345:         } else if (Opcode == SDC1_OP) {
        !           346: 
        !           347:             if ((Rs == SP) && (IS_FLOATING_SAVED(Rt))) {
        !           348:                 if (!ReadProcessMemory( dp->hProcess,
        !           349:                                         (LPVOID)addrT,
        !           350:                                         (LPVOID)&(FloatingRegister[Rt]),
        !           351:                                         4,
        !           352:                                         NULL
        !           353:                                        )) {
        !           354:                     return 0;
        !           355:                 }
        !           356:                 Address += 4;
        !           357:                 addrT += 4;
        !           358:                 if (!ReadProcessMemory( dp->hProcess,
        !           359:                                         (LPVOID)addrT,
        !           360:                                         (LPVOID)&(FloatingRegister[Rt+1]),
        !           361:                                         4,
        !           362:                                         NULL
        !           363:                                        )) {
        !           364:                     return 0;
        !           365:                 }
        !           366:                 Address -= 4;
        !           367:                 addrT -= 4;
        !           368:             }
        !           369: 
        !           370:         } else if (Opcode == ADDIU_OP) {
        !           371: 
        !           372:             if ((Rs == SP) && (Rt == SP)) {
        !           373:                 IntegerRegister[SP] -= Offset;
        !           374: 
        !           375:             } else if ((Rt == DecrementRegister) && (Rs == ZERO)) {
        !           376:                 IntegerRegister[SP] += Offset;
        !           377:             }
        !           378: 
        !           379:         } else if (Opcode == ORI_OP) {
        !           380: 
        !           381:             if ((Rs == DecrementRegister) && (Rt == DecrementRegister)) {
        !           382:                 DecrementOffset = (Offset & 0xffff);
        !           383: 
        !           384:             } else if ((Rt == DecrementRegister) && (Rs == ZERO)) {
        !           385:                 IntegerRegister[SP] += (Offset & 0xffff);
        !           386:             }
        !           387: 
        !           388:         } else if (Opcode == SPEC_OP) {
        !           389: 
        !           390:             Opcode = Instruction.r_format.Function;
        !           391:             if (Opcode == ADDU_OP) {
        !           392: 
        !           393:                 if (IS_INTEGER_SAVED(Rd)) {
        !           394:                     if ((IS_INTEGER_SAVED(Rs)) && (Rt == ZERO)) {
        !           395:                         IntegerRegister[Rs] = IntegerRegister[Rd];
        !           396:                         if ((Rs == RA) && (Restored == FALSE)) {
        !           397:                             NextPc = ContextRecord->IntRa;
        !           398:                             Restored = TRUE;
        !           399:                         }
        !           400: 
        !           401:                     } else if ((Rs == ZERO) && (IS_INTEGER_SAVED(Rt))) {
        !           402:                         IntegerRegister[Rt] = IntegerRegister[Rd];
        !           403:                         if ((Rt == RA) && (Restored == FALSE)) {
        !           404:                             NextPc = ContextRecord->IntRa;
        !           405:                             Restored = TRUE;
        !           406:                         }
        !           407:                     }
        !           408:                 }
        !           409: 
        !           410:             } else if (Opcode == SUBU_OP) {
        !           411: 
        !           412:                 if ((Rd == SP) && (Rs == SP)) {
        !           413:                     DecrementRegister = Rt;
        !           414:                 }
        !           415:             }
        !           416: 
        !           417:         } else if (Opcode == LUI_OP) {
        !           418: 
        !           419:             if (Rt == DecrementRegister) {
        !           420:                 IntegerRegister[SP] += (DecrementOffset + (Offset << 16));
        !           421:                 DecrementRegister = 0;
        !           422:             }
        !           423:         }
        !           424:     }
        !           425:     return NextPc;
        !           426: }
        !           427: 
        !           428: BOOL
        !           429: StackWalkInit( PSTACKWALK pstk, PDEBUGPACKET dp )
        !           430: {
        !           431:     pstk->pc        = dp->tctx->context.Fir;
        !           432:     pstk->frame     = dp->tctx->context.IntSp;
        !           433:     pstk->params[0] = dp->tctx->context.IntA0;
        !           434:     pstk->params[1] = dp->tctx->context.IntA1;
        !           435:     pstk->params[2] = dp->tctx->context.IntA2;
        !           436:     pstk->params[3] = dp->tctx->context.IntA3;
        !           437: 
        !           438:     return TRUE;
        !           439: }
        !           440: 
        !           441: BOOL
        !           442: StackWalkNext( PSTACKWALK pstk, PDEBUGPACKET dp )
        !           443: {
        !           444:     DWORD               fir;
        !           445:     LONG                begin=0, end, test;
        !           446:     CONTEXT             context;
        !           447:     DWORD               dwRa;
        !           448:     PMODULEINFO         mi;
        !           449: 
        !           450: 
        !           451:     fir = pstk->pc;
        !           452: 
        !           453:     mi = GetModuleForPC( dp, fir );
        !           454:     if (mi == NULL) {
        !           455:         return FALSE;
        !           456:     }
        !           457: 
        !           458:     /*
        !           459:      * Do a binary search to determine which function contains this FIR
        !           460:      */
        !           461: 
        !           462:     for(end=mi->dwEntries,test=(begin+end)/2; begin<=end; test=(begin+end)/2) {
        !           463:         if (fir<mi->pExceptionData[test].BeginAddress) {
        !           464:             end = test-1;
        !           465:         }
        !           466:         else
        !           467:         if (fir>=mi->pExceptionData[test].EndAddress) {
        !           468:             begin = test+1;
        !           469:         }
        !           470:         else {
        !           471:             break;
        !           472:         }
        !           473:     }
        !           474: 
        !           475:     /*
        !           476:      *  No function was found to include this FIR.  Therefore this
        !           477:      *  is a leaf function
        !           478:      */
        !           479: 
        !           480:     if (begin>end) {
        !           481:         dp->tctx->stackBase = dp->tctx->context.IntSp;
        !           482:         dp->tctx->stackRA   = dp->tctx->context.IntRa;
        !           483: 
        !           484:         pstk->frame = dp->tctx->context.IntSp;
        !           485:         pstk->pc = dp->tctx->context.IntRa;
        !           486: 
        !           487:         if (!ReadProcessMemory( dp->hProcess,
        !           488:                                 (LPVOID)pstk->frame,
        !           489:                                 (LPVOID)pstk->params,
        !           490:                                 12,
        !           491:                                 NULL
        !           492:                                )) {
        !           493:             pstk->params[0] =
        !           494:             pstk->params[1] =
        !           495:             pstk->params[2] = 0;
        !           496:         }
        !           497: 
        !           498:         return TRUE;
        !           499:     }
        !           500: 
        !           501:     // Virtually unwind the stack to determine base and caller
        !           502: 
        !           503:     context = dp->tctx->context;
        !           504:     context.IntSp = pstk->frame;
        !           505: 
        !           506:     dwRa = VirtualUnwind(dp, fir, &mi->pExceptionData[test], &context);
        !           507: 
        !           508:     if (((dp->tctx->stackBase == context.IntSp) && (dwRa == dp->tctx->stackRA)) ||
        !           509:         (dwRa == 1)) {
        !           510:         return FALSE;
        !           511:     }
        !           512: 
        !           513:     dp->tctx->stackBase = context.IntSp;
        !           514:     dp->tctx->stackRA   = dwRa;
        !           515: 
        !           516:     pstk->frame = context.IntSp;
        !           517:     pstk->pc = dwRa;
        !           518: 
        !           519:     if (!ReadProcessMemory( dp->hProcess,
        !           520:                             (LPVOID)pstk->frame,
        !           521:                             (LPVOID)pstk->params,
        !           522:                             12,
        !           523:                             NULL
        !           524:                            )) {
        !           525:         pstk->params[0] =
        !           526:         pstk->params[1] =
        !           527:         pstk->params[2] = 0;
        !           528:     }
        !           529: 
        !           530:     return TRUE;
        !           531: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.