analyze52.c

這是一個8051的模擬器 以java寫成

/*
 * D52 8052 Disassembler
 * Copyright (C) 1995-2004 by Jeffery L. Post
 * theposts <AT> pacbell <DOT> net
 *
 * analyze52.c
 *
 * Version 3.3.5 - 11/27/04
 *
 *	This program is free software; you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License as published by
 *	the Free Software Foundation; either version 2 of the License, or
 *	(at your option) any later version.
 *
 *	This program 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 General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 *
 */

#include	<stdio.h>
#include	<ctype.h>
#include	<string.h>
#include	<malloc.h>
#include	<time.h>

#include	"d52.h"
#include	"common.h"
#include	"analyze.h"
#include	"d52table.h"

// Defined Constants

#define	STACK_DEPTH			128
#define	MIN_STR_LEN			5		// minimum number of characters to ID a string
#define	TRACE_CHECK_LEN	4		// number of code bytes to check for valid code

#define	ANALYZE_NONE		0x00
#define	ANALYZE_TRACED		0x01
#define	ANALYZE_CODE		0x02
#define	ANALYZE_VECTOR		0x04
#define	ANALYZE_BINARY		0x08
#define	ANALYZE_ASCII		0x10
#define	ANALYZE_TAGGED		(ANALYZE_TRACED | ANALYZE_CODE)
#define	ANALYZE_END			0x80

#define	OPCODE_AJMP			0x01
#define	OPCODE_LJMP			0x02
#define	OPCODE_JBC			0x10
#define	OPCODE_ACALL		0x11
#define	OPCODE_LCALL		0x12
#define	OPCODE_JB			0x20
#define	OPCODE_RET			0x22
#define	OPCODE_JNB			0x30
#define	OPCODE_RETI			0x32
#define	OPCODE_JC			0x40
#define	OPCODE_JNC			0x50
#define	OPCODE_JZ			0x60
#define	OPCODE_JNZ			0x70
#define	OPCODE_JMP			0x73
#define	OPCODE_SJMP			0x80
#define	OPCODE_CJNE1		0xb4
#define	OPCODE_CJNE2		0xbf
#define	OPCODE_PUSH			0xc0
#define	OPCODE_POP			0xd0
#define	OPCODE_DJNZ1		0xd5
#define	OPCODE_DJNZ			0xd8

#define	OPCODE_ACALL_MASK	0x1f
#define	OPCODE_AJMP_MASK	0x1f
#define	OPCODE_DJNZ_MASK	0xf8

#define	OPCODE_MOVDPTR		0x90

typedef struct strlist {
	char				*str;
	struct strlist	*prev;
	struct strlist	*next;
} STRLIST;

// Global variables

byte	*analysisFlags = NULL;

int	tpc;					// trace pc
int	pushLevel = 0;
int	astackPtr = 0;
int	astack[STACK_DEPTH];		// analysis stack, for returns and branches
int	dstackPtr = 0;
int	dstack[STACK_DEPTH];		// dptr references stack
int	vstackPtr = 0;
int	vstack[STACK_DEPTH];		// possible vector references stack
char	alertMessage[128];

FILE	*ctlfp;
int	listCount = 0;
char	fileName[256];
char	fileExt[128];
char	tempString[128];
char	dateString[64];

STRLIST	*ctlLineList;

// Local prototypes

bool	analyze(void);
bool	aPass1(void);
bool	aPass2(void);
bool	trace(int pc);					// trace a single thread of code
bool	isString(int pc, int stop);
int	getEndOfString(int pc, int stop);
bool	isTraceableCode(int pc);	// determine if data is executable code
void	genAnalysisList(void);		// generate list to be written to config file
int	writeCtlFile(void);
void	deleteLineList(void);
int	createLineList(void);
bool	addListEntry(char *str);
void	analysisError(char *msg);

// Code

/*	User has asked to analyze the program.

	Trace code from reset address (0) and all interrupt vector addresses,
	and flag all traced data as code [analyze()].

	Then attempt to identify the data type (code, binary, ascii)
	of any non-traced code, if it appears to be code, then trace from
	the code address [aPass1()].

	Now attempt to identify the type of any remaining data and
	flag what it appears to be in analysisFlags array [aPass2()].

	Finally, generate the output for the configuration file based on
	the data types identified and stored in the analysisFlags array
	[genAnalysisList()], and write it to the ctl file[writeCtlFile()].
*/

bool analyzeCode(void)
{
	int	i;

	if (!analysisFlags)
		analysisFlags = (byte *) malloc(PMEMSIZE);

	if (!analysisFlags)
	{
		analysisError("No memory for analysis flags\n");
		return FALSE;
	}

	for (i=0; i<PMEMSIZE; i++)
		analysisFlags[i] = ANALYZE_NONE;

	if (strlen(src))			// have to load a file before analyzing
	{
		if (createLineList() < 1)		// set up header for output list
		{
			printf("\nCan't init analysis data structures!\n");
			return FALSE;
		}

		if (analyze())			// trace code from reset and interrupt vectors
			return FALSE;

		if (aPass1())			// attempt to identify data types
			return FALSE;

		if (aPass2())			// aPass1() might have identified vectors, so check data again
			return FALSE;

		genAnalysisList();	// generate control data
		writeCtlFile();		// write control data to ctl file
		deleteLineList();
	}
	else							// no source file selected
	{
		printf("\nNo file to analyze!\n");
		return FALSE;
	}

	return TRUE;
}

// Trace execution from reset address and interrupt vectors.
// Return TRUE if error, else return FALSE

bool analyze(void)
{
	int	i;
	int	dptr, vector, adrs;

	dstackPtr = 0;
	vstackPtr = 0;

	if (trace(0x00))			// trace from reset address
		return TRUE;
	if (trace(0x03))			// trace IE0 interrupt vector
		return TRUE;
	if (trace(0x0b))			// trace TF0 interrupt vector
		return TRUE;
	if (trace(0x13))			// trace IE1 interrupt vector
		return TRUE;
	if (trace(0x1b))			// trace TF1 interrupt vector
		return TRUE;
	if (trace(0x23))			// trace RI+TI (serial port) interrupt vector
		return TRUE;

// Check the vector stack for possible code referenced as vectors.

	if (vstackPtr)
	{
		for (i=0; i<vstackPtr; i++)
		{
			dptr = vstack[i];

			if (dptr < himark)
			{
				while (1)
				{
					if (analysisFlags[dptr] != ANALYZE_NONE)
						break;

					adrs = dptr;
					vector = ((int) pgmmem[dptr++] << 8);
					vector |= ((int) pgmmem[dptr++] & 0xff);
					vector &= WORD_MASK;

					if (vector < himark)
					{
						analysisFlags[adrs] = ANALYZE_VECTOR | ANALYZE_TRACED;
						analysisFlags[adrs + 1] = ANALYZE_VECTOR | ANALYZE_TRACED;

						if (trace(vector))
							return TRUE;
					}
					else
						break;

					if (dptr >= himark)
						break;
				}
			}
		}
	}

	return FALSE;
}

// Attempt to determine the type of non-code data.

bool aPass1(void)
{
	int	i, j;
	int	start, stop, pc;
	int	adrs, begin;
	byte	aflag, lastflag, data, lastdata;
	char	code;

	start = stop = begin = 0;
	lastflag = analysisFlags[0];

	for (pc=0, i=0; i<himark; i++)
	{
		aflag = analysisFlags[i];

		if (aflag != lastflag)		// we've got a type change...
		{
			stop = i - 1;
			code = 0;						// no output type yet

			switch (lastflag)
			{
				case ANALYZE_NONE:		// space not flagged, what kind of data is it?
					begin = start;
					pc = start;
					code = 'b';				// assume it's binary data

					while (pc <= stop)			// guess at data type for this block
					{
						if (analysisFlags[pc] != ANALYZE_NONE)	// already tagged,
						{								// end loop and tag previous
							pc = stop;				// block as last identified type
							break;
						}

						if (isString(pc, stop))	// check if it might be ascii data
						{								// if so, find end of the string
							code = 't';
							pc = getEndOfString(pc, stop);
						}

						data = pgmmem[pc];

						if (!data && code == 't')	// add terminator if it's text
							pc++;

						if (start < pc - 1)			// dump what we've accumulated
						{
							for (adrs=start; adrs<pc; adrs++)
							{							// flag all data in current block
								switch (code)
								{
									case 'b':
										analysisFlags[adrs] = ANALYZE_BINARY | ANALYZE_TRACED;
										break;

									case 't':
										analysisFlags[adrs] = ANALYZE_ASCII | ANALYZE_TRACED;
										break;

									case 'a':
										analysisFlags[adrs] = ANALYZE_VECTOR | ANALYZE_TRACED;
										break;
								}
							}
						}

						while (data == pgmmem[pc] && (pc < stop))
							pc++;				// skip over redundant data

						start = pc;
						data = pgmmem[pc];
						code = 'b';			// assume next data is binary

						if (isprint(data) && data != '"')
						{						// check for ascii text following
							for (j=1; j<MIN_STR_LEN; j++)
							{
								data = pgmmem[pc + j];

								if (!isprint(data) || data == '"')
									break;
							}

							if (j >= MIN_STR_LEN)	// if at min ascii chars in
								code = 't';				// a row, tag the block as text
										
							data = pgmmem[pc];
						}

						if (analysisFlags[start + 1] == ANALYZE_NONE)
						{							// check for possible vector in data
							adrs = (int) pgmmem[start] << 8;
							adrs |= ((int) pgmmem[start + 1] & 0xff);
							adrs &= WORD_MASK;

							if (adrs < himark)
							{						// if it might be a vector...
								for (j=0; j<dstackPtr; j++)
								{						// check against saved dptr values
									if (dstack[j] == begin)
									{					// seems to be a valid vector
										analysisFlags[start] = ANALYZE_VECTOR | ANALYZE_TRACED;
										analysisFlags[start + 1] = ANALYZE_VECTOR | ANALYZE_TRACED;

										if (trace(adrs))		// trace the code
											return TRUE;

										code = 0;
										pc = start + 1;
										data = pgmmem[pc];
										start = pc + 1;
									}
								}
							}
							else if (start == begin)	// apparently not a vector
							{
								for (j=0; j<dstackPtr; j++)
								{										// see if it might be a table pointer
									if (dstack[j] == start)		// references some kind of table...
									{
										pc = start;
										lastdata = ANALYZE_NONE;

										while (pc <= stop && lastdata == ANALYZE_NONE)
										{								// check the data in the table
											adrs = (int) pgmmem[pc] << 8;	// might be a vector in
											adrs |= ((int) pgmmem[pc + 1] & 0xff);	// the table
											adrs &= WORD_MASK;

											if (adrs < himark)		// looks like a vector
											{

												analysisFlags[pc] = ANALYZE_VECTOR | ANALYZE_TRACED;
												pc++;
												lastdata |= analysisFlags[pc];
												analysisFlags[pc] = ANALYZE_VECTOR | ANALYZE_TRACED;

												if (analysisFlags[adrs] == ANALYZE_NONE)
												{
													if (trace(adrs))
														return TRUE;
												}
											}
											else							// not a vector, must be binary
											{
												analysisFlags[pc] = ANALYZE_BINARY | ANALYZE_TRACED;
											}

											pc++;
											lastdata |= analysisFlags[pc];
											lastdata |= analysisFlags[pc + 1];
										}

										if (analysisFlags[pc] == ANALYZE_NONE)
											analysisFlags[pc] = ANALYZE_BINARY | ANALYZE_TRACED;
									}
								}
							}
						}

						if (isprint(data) && data != '"')	// see if it might be a text string
						{
							if (code != 't')
							{
								for (j=1; j<MIN_STR_LEN; j++)
								{
									data = pgmmem[pc + j];

									if (!isprint(data) || data == '"')
										break;
								}

								if (j >= MIN_STR_LEN)		// yup, looks like a text string
								{
									code = 't';

									for (adrs=start+1; adrs<pc; adrs++)		// tag previous as binary
									{
										if (analysisFlags[adrs] == ANALYZE_NONE)
											analysisFlags[adrs] = ANALYZE_BINARY | ANALYZE_TRACED;
									}

									start = pc;
								}
							}
						}
						else		// not text, must be binary data
						{
							if (code != 'b')
							{
								code = 'b';

								if (start >= pc)
									analysisFlags[start] = ANALYZE_BINARY | ANALYZE_TRACED;	// start might be >= pc
								else
								{
									for (adrs=start+1; adrs<pc; adrs++)		// tag previous as ascii
									{
										if (analysisFlags[adrs] == ANALYZE_NONE)
											analysisFlags[adrs] = ANALYZE_ASCII | ANALYZE_TRACED;
									}
								}

								start = pc;
							}
						}

						pc++;
					}				// while (pc <= stop)

					i = pc;
					code = 0;
					break;

				case (ANALYZE_CODE + ANALYZE_TRACED):
					code = 'c';
					break;

				case (ANALYZE_VECTOR + ANALYZE_TRACED):
					code = 'a';
					break;
			}

			lastflag = aflag;
			start = i;
		}
	}				// for (i=0; i<himark; i++)

	return FALSE;
}

// Check anything not yet identified.

bool aPass2(void)
{
	int	i, j;
	bool	tagged;
	int	start, begin, adrs;
	byte	data, lastdata;

	start = begin = 0;
	j = TRUE;
	analysisFlags[himark - 1] = ANALYZE_END;

	for (i=0; i<himark; i++)
	{
		if (analysisFlags[i] == ANALYZE_NONE)	// not yet identified data
		{
			if (j)				// if previous block identified...
			{
				start = i;		// save start adrs of this block
				j = FALSE;		// flag not identified
			}
		}
		else						// data identified as something...
		{
			if (!j)				// if previous block not identified...
			{
				begin = start;	// then set beginning adrs
				lastdata = 0;

				while (begin < i)
				{
					data = pgmmem[begin];

					if ((data == 0 || data == 0xff) && (lastdata == 0 || lastdata == 0xff))
					{								// two 00 or ff in a row
						start = begin;
						lastdata = data;		// skip over invalid data

						while ((data == 0 || data == 0xff) && start < i)
						{
							start++;
							data = pgmmem[start];
						}

						if (begin < start - 1)
							begin = start;
					}
					else							// data not 00 or ff
					{
						lastdata = 1;			// find end of non 00 or ff data

						while ((data != 0 || data != 0xff || lastdata != 0 || lastdata != 0xff) && begin < i)
						{
							lastdata = data;
							data = pgmmem[begin];
							begin++;

							if (analysisFlags[begin] != ANALYZE_NONE)
								break;

							if ((lastdata == 0 && data == 0) || (lastdata == 0xff && data == 0xff))
								break;
						}

						while (start < begin)
						{
							tagged = FALSE;

							if (analysisFlags[start] == ANALYZE_NONE && analysisFlags[start + 1] == ANALYZE_NONE)
							{
								adrs = (int) pgmmem[start] << 8;	// might be a vector
								adrs |= ((int) pgmmem[start + 1] & 0xff);
								adrs &= WORD_MASK;

								if (adrs && adrs < himark)		// looks like a vector
								{
									if (analysisFlags[adrs] == ANALYZE_NONE || analysisFlags[adrs] == ANALYZE_TAGGED)
									{
										analysisFlags[start] = ANALYZE_VECTOR | ANALYZE_TRACED;
										analysisFlags[start + 1] = ANALYZE_VECTOR | ANALYZE_TRACED;

										if (analysisFlags[adrs] == ANALYZE_NONE)
											trace(adrs);

										start++;
										tagged = TRUE;
									}
								}

								if (!tagged)
									analysisFlags[start] = ANALYZE_BINARY | ANALYZE_TRACED;
							}
							else
								analysisFlags[start] = ANALYZE_BINARY | ANALYZE_TRACED;

							start++;
						}

						start = begin;
					}

					begin++;
				}