2 * Debugger break-points handling
4 * Copyright 1994 Martin von Loewis
5 * Copyright 1995 Alexandre Julliard
10 #include <sys/types.h>
15 #define INT3 0xcc /* int 3 opcode */
17 #define MAX_BREAKPOINTS 100
27 struct expr
* condition
;
30 static BREAKPOINT breakpoints
[MAX_BREAKPOINTS
];
32 static int next_bp
= 1; /* breakpoint 0 is reserved for step-over */
35 /***********************************************************************
38 * Change the opcode at segment:addr.
40 static void DEBUG_SetOpcode( const DBG_ADDR
*addr
, BYTE op
)
44 if (addr
->seg
) ptr
= (BYTE
*)PTR_SEG_OFF_TO_LIN( addr
->seg
, addr
->off
);
45 else ptr
= (BYTE
*)addr
->off
;
47 /* There are a couple of problems with this. On Linux prior to
48 1.1.62, this call fails (ENOACCESS) due to a bug in fs/exec.c.
49 This code is currently not tested at all on BSD.
50 How do I get the old protection in order to restore it later on?
52 if (mprotect((caddr_t
)((int)ptr
& (~4095)), 4096,
53 PROT_READ
| PROT_WRITE
| PROT_EXEC
) == -1)
55 perror( "Can't set break point" );
59 /* mprotect((caddr_t)(addr->off & ~4095), 4096,
60 PROT_READ | PROT_EXEC ); */
64 /***********************************************************************
65 * DEBUG_IsStepOverInstr
67 * Determine if the instruction at CS:EIP is an instruction that
68 * we need to step over (like a call or a repetitive string move).
70 static BOOL32
DEBUG_IsStepOverInstr()
72 BYTE
*instr
= (BYTE
*)PTR_SEG_OFF_TO_LIN( CS_reg(&DEBUG_context
),
73 EIP_reg(&DEBUG_context
) );
79 /* Skip all prefixes */
87 case 0x66: /* opcode size prefix */
88 case 0x67: /* addr size prefix */
90 case 0xf2: /* repne */
95 /* Handle call instructions */
97 case 0xe8: /* call <offset> */
98 case 0x9a: /* lcall <seg>:<off> */
101 case 0xff: /* call <regmodrm> */
102 return (((instr
[1] & 0x38) == 0x10) ||
103 ((instr
[1] & 0x38) == 0x18));
105 /* Handle string instructions */
107 case 0x6c: /* insb */
108 case 0x6d: /* insw */
109 case 0x6e: /* outsb */
110 case 0x6f: /* outsw */
111 case 0xa4: /* movsb */
112 case 0xa5: /* movsw */
113 case 0xa6: /* cmpsb */
114 case 0xa7: /* cmpsw */
115 case 0xaa: /* stosb */
116 case 0xab: /* stosw */
117 case 0xac: /* lodsb */
118 case 0xad: /* lodsw */
119 case 0xae: /* scasb */
120 case 0xaf: /* scasw */
130 /***********************************************************************
133 * Determine if the instruction at CS:EIP is an instruction that
134 * is a function return.
136 BOOL32
DEBUG_IsFctReturn(void)
138 BYTE
*instr
= (BYTE
*)PTR_SEG_OFF_TO_LIN( CS_reg(&DEBUG_context
),
139 EIP_reg(&DEBUG_context
) );
155 /***********************************************************************
156 * DEBUG_SetBreakpoints
158 * Set or remove all the breakpoints.
160 void DEBUG_SetBreakpoints( BOOL32 set
)
164 for (i
= 0; i
< MAX_BREAKPOINTS
; i
++)
166 if (breakpoints
[i
].in_use
&& breakpoints
[i
].enabled
)
168 /* Note: we check for read here, because if reading is allowed */
169 /* writing permission will be forced in DEBUG_SetOpcode. */
170 if (DEBUG_IsBadReadPtr( &breakpoints
[i
].addr
, 1 ))
172 fprintf( stderr
, "Invalid address for breakpoint %d, disabling it\n", i
);
173 breakpoints
[i
].enabled
= FALSE
;
175 else DEBUG_SetOpcode( &breakpoints
[i
].addr
,
176 set
? INT3
: breakpoints
[i
].opcode
);
182 /***********************************************************************
183 * DEBUG_FindBreakpoint
185 * Find the breakpoint for a given address. Return the breakpoint
186 * number or -1 if none.
188 int DEBUG_FindBreakpoint( const DBG_ADDR
*addr
)
192 for (i
= 0; i
< MAX_BREAKPOINTS
; i
++)
194 if (breakpoints
[i
].in_use
&& breakpoints
[i
].enabled
&&
195 breakpoints
[i
].addr
.seg
== addr
->seg
&&
196 breakpoints
[i
].addr
.off
== addr
->off
) return i
;
202 /***********************************************************************
203 * DEBUG_AddBreakpoint
207 void DEBUG_AddBreakpoint( const DBG_ADDR
*address
)
209 DBG_ADDR addr
= *address
;
214 DBG_FIX_ADDR_SEG( &addr
, CS_reg(&DEBUG_context
) );
216 if( addr
.type
!= NULL
&& addr
.type
== DEBUG_TypeIntConst
)
219 * We know that we have the actual offset stored somewhere
220 * else in 32-bit space. Grab it, and we
225 addr
.off
= DEBUG_GetExprValue(&addr
, NULL
);
229 if (next_bp
< MAX_BREAKPOINTS
)
231 else /* try to find an empty slot */
233 for (num
= 1; num
< MAX_BREAKPOINTS
; num
++)
234 if (!breakpoints
[num
].in_use
) break;
235 if (num
>= MAX_BREAKPOINTS
)
237 fprintf( stderr
, "Too many breakpoints. Please delete some.\n" );
241 if (!DBG_CHECK_READ_PTR( &addr
, 1 )) return;
242 p
= DBG_ADDR_TO_LIN( &addr
);
243 breakpoints
[num
].addr
= addr
;
244 breakpoints
[num
].addrlen
= !addr
.seg
? 32 :
245 (GET_SEL_FLAGS(addr
.seg
) & LDT_FLAGS_32BIT
) ? 32 : 16;
246 breakpoints
[num
].opcode
= *p
;
247 breakpoints
[num
].enabled
= TRUE
;
248 breakpoints
[num
].in_use
= TRUE
;
249 breakpoints
[num
].skipcount
= 0;
250 fprintf( stderr
, "Breakpoint %d at ", num
);
251 DEBUG_PrintAddress( &breakpoints
[num
].addr
, breakpoints
[num
].addrlen
,
253 fprintf( stderr
, "\n" );
257 /***********************************************************************
258 * DEBUG_DelBreakpoint
260 * Delete a breakpoint.
262 void DEBUG_DelBreakpoint( int num
)
264 if ((num
<= 0) || (num
>= next_bp
) || !breakpoints
[num
].in_use
)
266 fprintf( stderr
, "Invalid breakpoint number %d\n", num
);
270 if( breakpoints
[num
].condition
!= NULL
)
272 DEBUG_FreeExpr(breakpoints
[num
].condition
);
273 breakpoints
[num
].condition
= NULL
;
276 breakpoints
[num
].enabled
= FALSE
;
277 breakpoints
[num
].in_use
= FALSE
;
278 breakpoints
[num
].skipcount
= 0;
282 /***********************************************************************
283 * DEBUG_EnableBreakpoint
285 * Enable or disable a break point.
287 void DEBUG_EnableBreakpoint( int num
, BOOL32 enable
)
289 if ((num
<= 0) || (num
>= next_bp
) || !breakpoints
[num
].in_use
)
291 fprintf( stderr
, "Invalid breakpoint number %d\n", num
);
294 breakpoints
[num
].enabled
= enable
;
295 breakpoints
[num
].skipcount
= 0;
299 /***********************************************************************
300 * DEBUG_InfoBreakpoints
302 * Display break points information.
304 void DEBUG_InfoBreakpoints(void)
308 fprintf( stderr
, "Breakpoints:\n" );
309 for (i
= 1; i
< next_bp
; i
++)
311 if (breakpoints
[i
].in_use
)
313 fprintf( stderr
, "%d: %c ", i
, breakpoints
[i
].enabled
? 'y' : 'n');
314 DEBUG_PrintAddress( &breakpoints
[i
].addr
, breakpoints
[i
].addrlen
,
316 fprintf( stderr
, "\n" );
317 if( breakpoints
[i
].condition
!= NULL
)
319 fprintf(stderr
, "\t\tstop when ");
320 DEBUG_DisplayExpr(breakpoints
[i
].condition
);
321 fprintf(stderr
, "\n");
328 /***********************************************************************
329 * DEBUG_ShouldContinue
331 * Determine if we should continue execution after a SIGTRAP signal when
332 * executing in the given mode.
334 BOOL32
DEBUG_ShouldContinue( enum exec_mode mode
, int * count
)
341 /* If not single-stepping, back up over the int3 instruction */
342 if (!(EFL_reg(&DEBUG_context
) & STEP_FLAG
)) EIP_reg(&DEBUG_context
)--;
344 addr
.seg
= (CS_reg(&DEBUG_context
) == WINE_CODE_SELECTOR
) ?
345 0 : CS_reg(&DEBUG_context
);
346 addr
.off
= EIP_reg(&DEBUG_context
);
348 bpnum
= DEBUG_FindBreakpoint( &addr
);
349 breakpoints
[0].enabled
= 0; /* disable the step-over breakpoint */
351 if ((bpnum
!= 0) && (bpnum
!= -1))
353 if( breakpoints
[bpnum
].condition
!= NULL
)
355 cond_addr
= DEBUG_EvalExpr(breakpoints
[bpnum
].condition
);
356 if( cond_addr
.type
== NULL
)
359 * Something wrong - unable to evaluate this expression.
361 fprintf(stderr
, "Unable to evaluate expression ");
362 DEBUG_DisplayExpr(breakpoints
[bpnum
].condition
);
363 fprintf(stderr
, "\nTurning off condition\n");
364 DEBUG_AddBPCondition(bpnum
, NULL
);
366 else if( ! DEBUG_GetExprValue( &cond_addr
, NULL
) )
372 if( breakpoints
[bpnum
].skipcount
> 0 )
374 breakpoints
[bpnum
].skipcount
--;
375 if( breakpoints
[bpnum
].skipcount
> 0 )
380 fprintf( stderr
, "Stopped on breakpoint %d at ", bpnum
);
381 DEBUG_PrintAddress( &breakpoints
[bpnum
].addr
,
382 breakpoints
[bpnum
].addrlen
, TRUE
);
383 fprintf( stderr
, "\n" );
386 * See if there is a source file for this bp. If so,
387 * then dig it out and display one line.
389 DEBUG_FindNearestSymbol( &addr
, TRUE
, NULL
, 0, &list
);
390 if( list
.sourcefile
!= NULL
)
392 DEBUG_List(&list
, NULL
, 0);
398 * If our mode indicates that we are stepping line numbers,
399 * get the current function, and figure out if we are exactly
400 * on a line number or not.
402 if( mode
== EXEC_STEP_OVER
403 || mode
== EXEC_STEP_INSTR
)
405 if( DEBUG_CheckLinenoStatus(&addr
) == AT_LINENUMBER
)
410 else if( mode
== EXEC_STEPI_OVER
411 || mode
== EXEC_STEPI_INSTR
)
417 if( *count
> 0 || mode
== EXEC_FINISH
)
420 * We still need to execute more instructions.
426 * If we are about to stop, then print out the source line if we
429 if( (mode
!= EXEC_CONT
&& mode
!= EXEC_FINISH
) )
431 DEBUG_FindNearestSymbol( &addr
, TRUE
, NULL
, 0, &list
);
432 if( list
.sourcefile
!= NULL
)
434 DEBUG_List(&list
, NULL
, 0);
438 /* If there's no breakpoint and we are not single-stepping, then we */
439 /* must have encountered an int3 in the Windows program; let's skip it. */
440 if ((bpnum
== -1) && !(EFL_reg(&DEBUG_context
) & STEP_FLAG
))
441 EIP_reg(&DEBUG_context
)++;
443 /* no breakpoint, continue if in continuous mode */
444 return (mode
== EXEC_CONT
|| mode
== EXEC_FINISH
);
448 /***********************************************************************
449 * DEBUG_RestartExecution
451 * Set the breakpoints to the correct state to restart execution
454 enum exec_mode
DEBUG_RestartExecution( enum exec_mode mode
, int count
)
461 unsigned int * value
;
462 enum exec_mode ret_mode
;
465 addr
.seg
= (CS_reg(&DEBUG_context
) == WINE_CODE_SELECTOR
) ?
466 0 : CS_reg(&DEBUG_context
);
467 addr
.off
= EIP_reg(&DEBUG_context
);
470 * This is the mode we will be running in after we finish. We would like
471 * to be able to modify this in certain cases.
475 bp
= DEBUG_FindBreakpoint( &addr
);
476 if ( bp
!= -1 && bp
!= 0)
479 * If we have set a new value, then save it in the BP number.
481 if( count
!= 0 && mode
== EXEC_CONT
)
483 breakpoints
[bp
].skipcount
= count
;
485 mode
= EXEC_STEPI_INSTR
; /* If there's a breakpoint, skip it */
489 if( mode
== EXEC_CONT
&& count
> 1 )
491 fprintf(stderr
,"Not stopped at any breakpoint; argument ignored.\n");
495 if( mode
== EXEC_FINISH
&& DEBUG_IsFctReturn() )
497 mode
= ret_mode
= EXEC_STEPI_INSTR
;
500 instr
= (BYTE
*)PTR_SEG_OFF_TO_LIN( CS_reg(&DEBUG_context
),
501 EIP_reg(&DEBUG_context
) );
503 * See if the function we are stepping into has debug info
504 * and line numbers. If not, then we step over it instead.
505 * FIXME - we need to check for things like thunks or trampolines,
506 * as the actual function may in fact have debug info.
510 delta
= *(unsigned int*) (instr
+ 1);
512 DEBUG_Disasm(&addr2
, FALSE
);
515 status
= DEBUG_CheckLinenoStatus(&addr2
);
517 * Anytime we have a trampoline, step over it.
519 if( ((mode
== EXEC_STEP_OVER
) || (mode
== EXEC_STEPI_OVER
))
520 && status
== FUNC_IS_TRAMPOLINE
)
523 fprintf(stderr
, "Not stepping into trampoline at %x (no lines)\n",
526 mode
= EXEC_STEP_OVER_TRAMPOLINE
;
529 if( mode
== EXEC_STEP_INSTR
&& status
== FUNC_HAS_NO_LINES
)
532 fprintf(stderr
, "Not stepping into function at %x (no lines)\n",
535 mode
= EXEC_STEP_OVER
;
540 if( mode
== EXEC_STEP_INSTR
)
542 if( DEBUG_CheckLinenoStatus(&addr
) == FUNC_HAS_NO_LINES
)
544 fprintf(stderr
, "Single stepping until exit from function, \n");
545 fprintf(stderr
, "which has no line number information.\n");
547 ret_mode
= mode
= EXEC_FINISH
;
553 case EXEC_CONT
: /* Continuous execution */
554 EFL_reg(&DEBUG_context
) &= ~STEP_FLAG
;
555 DEBUG_SetBreakpoints( TRUE
);
558 case EXEC_STEP_OVER_TRAMPOLINE
:
560 * This is the means by which we step over our conversion stubs
561 * in callfrom*.s and callto*.s. We dig the appropriate address
562 * off the stack, and we set the breakpoint there instead of the
563 * address just after the call.
565 value
= (unsigned int *) ESP_reg(&DEBUG_context
) + 2;
567 EFL_reg(&DEBUG_context
) &= ~STEP_FLAG
;
568 breakpoints
[0].addr
= addr
;
569 breakpoints
[0].enabled
= TRUE
;
570 breakpoints
[0].in_use
= TRUE
;
571 breakpoints
[0].skipcount
= 0;
572 breakpoints
[0].opcode
= *(BYTE
*)DBG_ADDR_TO_LIN( &addr
);
573 DEBUG_SetBreakpoints( TRUE
);
577 case EXEC_STEPI_OVER
: /* Stepping over a call */
578 case EXEC_STEP_OVER
: /* Stepping over a call */
579 if (DEBUG_IsStepOverInstr())
581 EFL_reg(&DEBUG_context
) &= ~STEP_FLAG
;
582 DEBUG_Disasm(&addr
, FALSE
);
583 breakpoints
[0].addr
= addr
;
584 breakpoints
[0].enabled
= TRUE
;
585 breakpoints
[0].in_use
= TRUE
;
586 breakpoints
[0].skipcount
= 0;
587 breakpoints
[0].opcode
= *(BYTE
*)DBG_ADDR_TO_LIN( &addr
);
588 DEBUG_SetBreakpoints( TRUE
);
591 /* else fall through to single-stepping */
593 case EXEC_STEP_INSTR
: /* Single-stepping an instruction */
594 case EXEC_STEPI_INSTR
: /* Single-stepping an instruction */
595 EFL_reg(&DEBUG_context
) |= STEP_FLAG
;
602 DEBUG_AddBPCondition(int num
, struct expr
* exp
)
604 if ((num
<= 0) || (num
>= next_bp
) || !breakpoints
[num
].in_use
)
606 fprintf( stderr
, "Invalid breakpoint number %d\n", num
);
610 if( breakpoints
[num
].condition
!= NULL
)
612 DEBUG_FreeExpr(breakpoints
[num
].condition
);
613 breakpoints
[num
].condition
= NULL
;
618 breakpoints
[num
].condition
= DEBUG_CloneExpr(exp
);