
# Copyright (C) 1997 Farrell McKay
# All rights reserved.
#
# This file is part of the Fortify distribution, a toolkit for
# upgrading the cryptographic strength of the Netscape Navigator
# web browser, authored by Farrell McKay.
#
# This toolkit is provided to the recipient under the
# following terms and conditions:-
#   1.  This copyright notice must not be removed or modified.
#   2.  This toolkit may not be reproduced or included in any commercial
#       media distribution, or commercial publication (for example CD-ROM,
#       disk, book, magazine, journal) without first obtaining the author's
#       permission.
#   3.  Subject to the above conditions being observed (1,2), this toolkit
#       may be freely reproduced or redistributed.
#   4.  This software is provided "as-is", without express or implied
#       warranty.  In no event shall the author be liable for any direct,
#       indirect or consequential damages however caused.
#   5.  Subject to the above conditions being observed (1-4),
#       this toolkit may be used at no cost to the recipient.
#
# Farrell McKay			Farrell.McKay@mpx.com.au

init {
	grammar		1.1
	target		"navigator-v403b8-export.alpha-dec-osf3.2"
	text_offset	0x12000000
	data_offset	0x139ea000
	rodata_offset	0x12000000
}
version_str {
	segment         rodata
	base            0x12113274
	offset          0x15
	old_value       "Export,"
	new_value       "Fortify"
}
_main {
	segment		text
	msg		"main"
	base		0x121afa30
	offset		0x0
	context		0x00 0xf0 0xfe 0xa6	# ldq     t9, -4096(sp)
			0x10 0xe8 0xde 0x23	# lda     sp, -6128(sp)
			0x0d 0x02 0xbb 0x27	# ldah    gp, 34406400(t12)
			0x20 0x00 0x5e 0xb7	# stq     ra, 32(sp)
}
q2 {
	segment		text
	base		0x1255373c
	offset		0xd0
	old_value       0x18 0x54 0xe0 0x43	# addq zero, #2, t10
	new_value       0x18 0x34 0xe0 0x43	# addq zero, #1, t10
}
q0 {
	segment		text
	base		0x1255373c
	offset		0xdc
	old_value       0x20 0x00 0xe1 0xb3	# stl  zero, 32(t0)
	new_value       0x1f 0x04 0xff 0x47	# nop
}
s00 {
	segment		data
	base		0x142012f8
	offset		0x2f0
	old_value	0x00 0x00 0x00 0x00
	new_value	0x01 0x00 0x00 0x00
}
s01 {
	segment		data
	base		0x142012f8
	offset		0x338
	old_value	0x00 0x00 0x00 0x00
	new_value	0x01 0x00 0x00 0x00
}
s02 {
	segment		data
	base		0x142012f8
	offset		0x380
	old_value	0x00 0x00 0x00 0x00
	new_value	0x01 0x00 0x00 0x00
}
s03 {
	segment		data
	base		0x142012f8
	offset		0x4a0
	old_value	0x00 0x00 0x00 0x00
	new_value	0x01 0x00 0x00 0x00
}
s04 {
	segment		data
	base		0x142012f8
	offset		0x4e8
	old_value	0x00 0x00 0x00 0x00
	new_value	0x01 0x00 0x00 0x00
}
