Disasm.cpp@ 8379

Last change on this file since 8379 was 8379, checked in by vboxsync, 17 years ago
More fixes.
Property svn:eol-style set to `native` Property svn:keywords set to `Author Date Id Revision`
File size: 15.7 KB

Line
1	/** @file
2	*
3	* VBox disassembler:
4	* Main
5	*/
6
7	/*
8	* Copyright (C) 2006-2007 Sun Microsystems, Inc.
9	*
10	* This file is part of VirtualBox Open Source Edition (OSE), as
11	* available from http://www.virtualbox.org. This file is free software;
12	* you can redistribute it and/or modify it under the terms of the GNU
13	* General Public License (GPL) as published by the Free Software
14	* Foundation, in version 2 as it comes in the "COPYING" file of the
15	* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
16	* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
17	*
18	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
19	* Clara, CA 95054 USA or visit http://www.sun.com if you need
20	* additional information or have any questions.
21	*/
22
23
24	/*******************************************************************************
25	* Header Files *
26	*******************************************************************************/
27	#ifdef USING_VISUAL_STUDIO
28	# include <stdafx.h>
29	#endif
30	#include <VBox/dis.h>
31	#include <VBox/disopcode.h>
32	#include <VBox/err.h>
33	#include <iprt/assert.h>
34	#include <iprt/string.h>
35	#include "DisasmInternal.h"
36	#include "DisasmTables.h"
37
38
39	/**
40	* Disassembles a code block.
41	*
42	* @returns VBox error code
43	* @param pCpu Pointer to cpu structure which have DISCPUSTATE::mode
44	* set correctly.
45	* @param pvCodeBlock Pointer to the strunction to disassemble.
46	* @param cbMax Maximum number of bytes to disassemble.
47	* @param pcbSize Where to store the size of the instruction.
48	* NULL is allowed.
49	*
50	*
51	* @todo Define output callback.
52	* @todo Using signed integers as sizes is a bit odd. There are still
53	* some GCC warnings about mixing signed and unsigend integers.
54	* @todo Need to extend this interface to include a code address so we
55	* can dissassemble GC code. Perhaps a new function is better...
56	* @remark cbMax isn't respected as a boundry. DISInstr() will read beyond cbMax.
57	* This means *pcbSize >= cbMax sometimes.
58	*/
59	DISDECL(int) DISBlock(PDISCPUSTATE pCpu, RTUINTPTR pvCodeBlock, unsigned cbMax, unsigned *pSize)
60	{
61	unsigned i = 0;
62	char szOutput[256];
63
64	while (i < cbMax)
65	{
66	unsigned cbInstr;
67	int rc = DISInstr(pCpu, pvCodeBlock + i, 0, &cbInstr, szOutput);
68	if (VBOX_FAILURE(rc))
69	return rc;
70
71	i += cbInstr;
72	}
73
74	if (pSize)
75	*pSize = i;
76	return true;
77	}
78
79	/**
80	* Disassembles one instruction
81	*
82	* @returns VBox error code
83	* @param pCpu Pointer to cpu structure which have DISCPUSTATE::mode
84	* set correctly.
85	* @param pu8Instruction Pointer to the strunction to disassemble.
86	* @param u32EipOffset Offset to add to instruction address to get the real virtual address
87	* @param pcbSize Where to store the size of the instruction.
88	* NULL is allowed.
89	* @param pszOutput Storage for disassembled instruction
90	*
91	* @todo Define output callback.
92	*/
93	DISDECL(int) DISInstr(PDISCPUSTATE pCpu, RTUINTPTR pu8Instruction, unsigned u32EipOffset, unsigned *pcbSize,
94	char *pszOutput)
95	{
96	return DISInstrEx(pCpu, pu8Instruction, u32EipOffset, pcbSize, pszOutput, OPTYPE_ALL);
97	}
98
99	/**
100	* Disassembles one instruction; only fully disassembly an instruction if it matches the filter criteria
101	*
102	* @returns VBox error code
103	* @param pCpu Pointer to cpu structure which have DISCPUSTATE::mode
104	* set correctly.
105	* @param pu8Instruction Pointer to the strunction to disassemble.
106	* @param u32EipOffset Offset to add to instruction address to get the real virtual address
107	* @param pcbSize Where to store the size of the instruction.
108	* NULL is allowed.
109	* @param pszOutput Storage for disassembled instruction
110	* @param uFilter Instruction type filter
111	*
112	* @todo Define output callback.
113	*/
114	DISDECL(int) DISInstrEx(PDISCPUSTATE pCpu, RTUINTPTR pu8Instruction, unsigned u32EipOffset, unsigned *pcbSize,
115	char *pszOutput, unsigned uFilter)
116	{
117	unsigned i = 0, prefixbytes;
118	unsigned idx, inc;
119	const OPCODE *paOneByteMap;
120	#ifdef __L4ENV__
121	jmp_buf jumpbuffer;
122	#endif
123
124	//reset instruction settings
125	pCpu->prefix = PREFIX_NONE;
126	pCpu->prefix_seg = 0;
127	pCpu->ModRM.u = 0;
128	pCpu->SIB.u = 0;
129	pCpu->lastprefix = 0;
130	pCpu->param1.parval = 0;
131	pCpu->param2.parval = 0;
132	pCpu->param3.parval = 0;
133	pCpu->param1.szParam[0] = 0;
134	pCpu->param2.szParam[0] = 0;
135	pCpu->param3.szParam[0] = 0;
136	pCpu->param1.size = 0;
137	pCpu->param2.size = 0;
138	pCpu->param3.size = 0;
139	pCpu->param1.flags = 0;
140	pCpu->param2.flags = 0;
141	pCpu->param3.flags = 0;
142	pCpu->uFilter = uFilter;
143	pCpu->pfnDisasmFnTable = pfnFullDisasm;
144
145	if (pszOutput)
146	*pszOutput = '\0';
147
148	if (pCpu->mode == CPUMODE_64BIT)
149	{
150	paOneByteMap = g_aOneByteMapX64;
151	pCpu->addrmode = CPUMODE_64BIT;
152	pCpu->opmode = CPUMODE_32BIT;
153	}
154	else
155	{
156	paOneByteMap = g_aOneByteMapX86;
157	pCpu->addrmode = pCpu->mode;
158	pCpu->opmode = pCpu->mode;
159	}
160
161	prefixbytes = 0;
162	#ifndef __L4ENV__ /* Unfortunately, we have no exception handling in l4env */
163	try
164	#else
165	pCpu->pJumpBuffer = &jumpbuffer;
166	if (setjmp(jumpbuffer) == 0)
167	#endif
168	{
169	while(1)
170	{
171	uint8_t codebyte = DISReadByte(pCpu, pu8Instruction+i);
172	uint8_t opcode = paOneByteMap[codebyte].opcode;
173
174	/* Hardcoded assumption about OP_* values!! */
175	if (opcode <= OP_LAST_PREFIX)
176	{
177	/* The REX prefix must precede the opcode byte(s). Any other placement is ignored. */
178	if (opcode != OP_REX)
179	{
180	pCpu->lastprefix = opcode;
181	pCpu->prefix &= ~PREFIX_REX;
182	}
183
184	switch(opcode)
185	{
186	case OP_INVALID:
187	#if 0 //defined (DEBUG_Sander)
188	AssertMsgFailed(("Invalid opcode!!\n"));
189	#endif
190	return VERR_DIS_INVALID_OPCODE;
191
192	// segment override prefix byte
193	case OP_SEG:
194	pCpu->prefix_seg = paOneByteMap[codebyte].param1 - OP_PARM_REG_SEG_START;
195	/* Segment prefixes for CS, DS, ES and SS are ignored in long mode. */
196	if ( pCpu->mode != CPUMODE_64BIT
197	\|\| pCpu->prefix_seg >= OP_PARM_REG_FS)
198	{
199	pCpu->prefix \|= PREFIX_SEG;
200	}
201	i += sizeof(uint8_t);
202	prefixbytes++;
203	continue; //fetch the next byte
204
205	// lock prefix byte
206	case OP_LOCK:
207	pCpu->prefix \|= PREFIX_LOCK;
208	i += sizeof(uint8_t);
209	prefixbytes++;
210	continue; //fetch the next byte
211
212	// address size override prefix byte
213	case OP_ADDRSIZE:
214	pCpu->prefix \|= PREFIX_ADDRSIZE;
215	if (pCpu->mode == CPUMODE_16BIT)
216	pCpu->addrmode = CPUMODE_32BIT;
217	else
218	if (pCpu->mode == CPUMODE_32BIT)
219	pCpu->addrmode = CPUMODE_16BIT;
220	else
221	pCpu->addrmode = CPUMODE_32BIT; /* 64 bits */
222
223	i += sizeof(uint8_t);
224	prefixbytes++;
225	continue; //fetch the next byte
226
227	// operand size override prefix byte
228	case OP_OPSIZE:
229	pCpu->prefix \|= PREFIX_OPSIZE;
230	if (pCpu->mode == CPUMODE_16BIT)
231	pCpu->opmode = CPUMODE_32BIT;
232	else
233	pCpu->opmode = CPUMODE_16BIT; /* for 32 and 64 bits mode (there is no 32 bits operand size override prefix) */
234
235	i += sizeof(uint8_t);
236	prefixbytes++;
237	continue; //fetch the next byte
238
239	// rep and repne are not really prefixes, but we'll treat them as such
240	case OP_REPE:
241	pCpu->prefix \|= PREFIX_REP;
242	i += sizeof(uint8_t);
243	prefixbytes += sizeof(uint8_t);
244	continue; //fetch the next byte
245
246	case OP_REPNE:
247	pCpu->prefix \|= PREFIX_REPNE;
248	i += sizeof(uint8_t);
249	prefixbytes += sizeof(uint8_t);
250	continue; //fetch the next byte
251
252	case OP_REX:
253	Assert(pCpu->mode == CPUMODE_64BIT);
254	/* REX prefix byte */
255	pCpu->prefix \|= PREFIX_REX;
256	pCpu->prefix_rex = PREFIX_REX_OP_2_FLAGS(paOneByteMap[codebyte].param1);
257	i += sizeof(uint8_t);
258	prefixbytes += sizeof(uint8_t);
259
260	if (pCpu->prefix_rex & PREFIX_REX_FLAGS_W)
261	pCpu->opmode = CPUMODE_64BIT; /* overrides size prefix byte */
262	continue; //fetch the next byte
263	}
264	}
265
266	idx = i;
267	i += sizeof(uint8_t); //first opcode byte
268
269	pCpu->opcode = codebyte;
270	/* Prefix byte(s) is/are part of the instruction. */
271	pCpu->opaddr = pu8Instruction + idx + u32EipOffset - prefixbytes;
272
273	inc = ParseInstruction(pu8Instruction + i, &paOneByteMap[pCpu->opcode], pCpu);
274
275	pCpu->opsize = prefixbytes + inc + sizeof(uint8_t);
276
277	if(pszOutput) {
278	disasmSprintf(pszOutput, pu8Instruction+i-1-prefixbytes, pCpu, &pCpu->param1, &pCpu->param2, &pCpu->param3);
279	}
280
281	i += inc;
282	prefixbytes = 0;
283	break;
284	}
285	}
286	#ifndef __L4ENV__
287	catch(...)
288	#else
289	else /* setjmp has returned a non-zero value: an exception occured */
290	#endif
291	{
292	if (pcbSize)
293	*pcbSize = 0;
294	return VERR_DIS_GEN_FAILURE;
295	}
296
297	if (pcbSize)
298	*pcbSize = i;
299
300	return VINF_SUCCESS;
301	}
302	//*****************************************************************************
303	//*****************************************************************************
304	char DbgBytesToString(PDISCPUSTATE pCpu, RTUINTPTR pBytes, int size, char pszOutput)
305	{
306	char szByte[4];
307	int len = strlen(pszOutput);
308	int i;
309
310	for(i = len; i < 40; i++)
311	{
312	strcat(pszOutput, " ");
313	}
314	strcat(pszOutput, " [");
315	for(i = 0; i < size; i++)
316	{
317	RTStrPrintf(szByte, sizeof(szByte), "%02X ", DISReadByte(pCpu, pBytes+i));
318	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, szByte);
319	}
320	len = strlen(pszOutput);
321	pszOutput[len - 1] = 0; //cut off last space
322
323	strcat(pszOutput, "]");
324	return pszOutput;
325	}
326	//*****************************************************************************
327	//*****************************************************************************
328	void disasmSprintf(char pszOutput, RTUINTPTR pu8Instruction, PDISCPUSTATE pCpu, OP_PARAMETER pParam1, OP_PARAMETER pParam2, OP_PARAMETER pParam3)
329	{
330	const char *lpszFormat = pCpu->pszOpcode;
331	int param = 1;
332
333	RTStrPrintf(pszOutput, 64, "%08X: ", (unsigned)pCpu->opaddr);
334	if(pCpu->prefix & PREFIX_LOCK)
335	{
336	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "lock ");
337	}
338	if(pCpu->prefix & PREFIX_REP)
339	{
340	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "rep(e) ");
341	}
342	else
343	if(pCpu->prefix & PREFIX_REPNE)
344	{
345	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "repne ");
346	}
347
348	if(!strcmp("Invalid Opcode", lpszFormat))
349	{
350	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "Invalid Opcode [%02X][%02X]", DISReadByte(pCpu, pu8Instruction), DISReadByte(pCpu, pu8Instruction+1) );
351	}
352	else
353	while(*lpszFormat)
354	{
355	switch(*lpszFormat)
356	{
357	case '%':
358	switch(*(lpszFormat+1))
359	{
360	case 'J': //Relative jump offset
361	{
362	int32_t disp;
363
364	AssertMsg(param == 1, ("Invalid branch parameter nr"));
365	if(pParam1->flags & USE_IMMEDIATE8_REL)
366	{
367	disp = (int32_t)(char)pParam1->parval;
368	}
369	else
370	if(pParam1->flags & USE_IMMEDIATE16_REL)
371	{
372	disp = (int32_t)(uint16_t)pParam1->parval;
373	}
374	else
375	if(pParam1->flags & USE_IMMEDIATE32_REL)
376	{
377	disp = (int32_t)pParam1->parval;
378	}
379	else
380	{
381	AssertMsgFailed(("Oops!\n"));
382	return;
383	}
384	uint32_t addr = (uint32_t)(pCpu->opaddr + pCpu->opsize) + disp;
385	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "[%08X]", addr);
386	}
387
388	//no break;
389
390	case 'A': //direct address
391	case 'C': //control register
392	case 'D': //debug register
393	case 'E': //ModRM specifies parameter
394	case 'F': //Eflags register
395	case 'G': //ModRM selects general register
396	case 'I': //Immediate data
397	case 'M': //ModRM may only refer to memory
398	case 'O': //No ModRM byte
399	case 'P': //ModRM byte selects MMX register
400	case 'Q': //ModRM byte selects MMX register or memory address
401	case 'R': //ModRM byte may only refer to a general register
402	case 'S': //ModRM byte selects a segment register
403	case 'T': //ModRM byte selects a test register
404	case 'V': //ModRM byte selects an XMM/SSE register
405	case 'W': //ModRM byte selects an XMM/SSE register or a memory address
406	case 'X': //DS:SI
407	case 'Y': //ES:DI
408	switch(param)
409	{
410	case 1:
411	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, pParam1->szParam);
412	break;
413	case 2:
414	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, pParam2->szParam);
415	break;
416	case 3:
417	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, pParam3->szParam);
418	break;
419	}
420	break;
421
422	case 'e': //register based on operand size (e.g. %eAX)
423	if(pCpu->opmode == CPUMODE_32BIT)
424	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "E");
425	if(pCpu->opmode == CPUMODE_64BIT)
426	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "R");
427
428	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "%c%c", lpszFormat[2], lpszFormat[3]);
429	break;
430
431	default:
432	AssertMsgFailed(("Oops!\n"));
433	break;
434	}
435
436	//Go to the next parameter in the format string
437	while(lpszFormat && lpszFormat != ',') lpszFormat++;
438	if(*lpszFormat == ',') lpszFormat--;
439
440	break;
441
442	case ',':
443	param++;
444	//no break
445
446	default:
447	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "%c", *lpszFormat);
448	break;
449	}
450
451	if(*lpszFormat) lpszFormat++;
452	}
453	DbgBytesToString(pCpu, pu8Instruction, pCpu->opsize, pszOutput);
454	RTStrPrintf(&pszOutput[strlen(pszOutput)], 64, "\n");
455	}
456	//*****************************************************************************
457	//*****************************************************************************

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/src/VBox/Disassembler/Disasm.cpp@ 8379

Download in other formats: