Python force_loading Examples

Example #1

def read(vtl, size):
	ret = None
	while True:
		try:
			ret = execution_state.getMemoryService().read(vtl, size)
			break  # jump out of the while-loop
		except DebugException:
			mmu.init_page_table()
			force_loading.force_loading(vtl, size)
	assert ret is not None
	return ret

Example #2

def readMemory64(vtl):
	ret = None
	while True:
		try:
			ret = long(execution_state.getMemoryService().readMemory64(vtl)) & 0xffffffffffffffffL
			break  # jump out of the while-loop
		except DebugException:
			mmu.init_page_table()
			force_loading.force_loading(vtl, 32)
	assert ret is not None
	return ret

Example #3

File: virtual_memory.py Project: rewhy/happer

def dump(file, format, vtl_start_address, vtl_end_address):
	suffix = 0
	while os.path.exists(file):
		file = file + (".%#x" % suffix)
		suffix = suffix + 1
	
	while True:
		try:
			execution_state.getMemoryService().dump(file, format, vtl_start_address, vtl_end_address)
			break  # jump out of the while-loop
		except DebugException, e:
			mmu.init_page_table()
			force_loading.force_loading(vtl_start_address, (vtl_end_address - vtl_start_address) + 0x1)

Example #4

def dump_library(file, format, vtl_start_address, vtl_end_address):
	# we split the entire library file into several 4k memory pages and dump them respectively to form the entire in-memory file
	file_size = vtl_end_address - vtl_start_address + 0x1
	file_fragment_cnt = file_size / page_size
	for file_fragment_idx in range(file_fragment_cnt):
		cur_vtl_start_address = vtl_start_address + file_fragment_idx * page_size
		cur_vtl_end_address = cur_vtl_start_address + page_size - 0x1
		if file_fragment_idx == 0:
			while True:
				try:
					execution_state.getMemoryService().dump(file, format, cur_vtl_start_address, cur_vtl_end_address)
					break  # jump out of the while-loop
				except DebugException, e:
					mmu.init_page_table()
					force_loading.force_loading(cur_vtl_start_address, (cur_vtl_end_address - cur_vtl_start_address) + 0x1)
		else:
			while True:
				try:
					execution_state.getMemoryService().append(file, format, cur_vtl_start_address, cur_vtl_end_address)
					break  # jump out of the while-loop
				except DebugException, e:
					mmu.init_page_table()
					force_loading.force_loading(cur_vtl_start_address, (cur_vtl_end_address - cur_vtl_start_address) + 0x1)

Example #5

					break  # jump out of the while-loop
				except DebugException, e:
					mmu.init_page_table()
					force_loading.force_loading(cur_vtl_start_address, (cur_vtl_end_address - cur_vtl_start_address) + 0x1)
	file_size_remaining = file_size - file_fragment_cnt * page_size
	if file_size_remaining > 0:
		cur_vtl_start_address = vtl_start_address + file_fragment_cnt * page_size
		cur_vtl_end_address = vtl_end_address
		if file_fragment_cnt == 0:
			while True:
				try:
					execution_state.getMemoryService().dump(file, format, cur_vtl_start_address, cur_vtl_end_address)
					break  # jump out of the while-loop
				except DebugException, e:
					mmu.init_page_table()
					force_loading.force_loading(cur_vtl_start_address, (cur_vtl_end_address - cur_vtl_start_address) + 0x1)
		else:
			while True:
				try:
					execution_state.getMemoryService().append(file, format, cur_vtl_start_address, cur_vtl_end_address)
					break  # jump out of the while-loop
				except DebugException, e:
					mmu.init_page_table()
					force_loading.force_loading(cur_vtl_start_address, (cur_vtl_end_address - cur_vtl_start_address) + 0x1)


# char array -> string
def retrieve_char_array(vtl):
	char_array = ""
	char_offset = vtl
	single_char = readMemory8(char_offset)