binaryninja-api/python/basicblock.py at dev · defunctio/binaryninja-api

516 lines (439 loc) · 16.8 KB
# Copyright (c) 2015-2020 Vector 35 Inc
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to
# deal in the Software without restriction, including without limitation the
# rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
# sell copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
# The above copyright notice and this permission notice shall be included in
# all copies or substantial portions of the Software.
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
# IN THE SOFTWARE.
import ctypes
# Binary Ninja components
import binaryninja
from binaryninja import highlight
from binaryninja import _binaryninjacore as core
from binaryninja.enums import BranchType, HighlightColorStyle, HighlightStandardColor, InstructionTextTokenType
from binaryninja import log
# 2-3 compatibility
from binaryninja import range
class BasicBlockEdge(object):
	def __init__(self, branch_type, source, target, back_edge, fall_through):
		self._type = branch_type
		self._source = source
		self._target = target
		self._back_edge = back_edge
		self._fall_through = fall_through
	def __eq__(self, value):
		if not isinstance(value, BasicBlockEdge):
			return False
		return (self._type, self._source, self._target, self._back_edge, self._fall_through) == (value.type, value.source, value.target, value.back_edge, value.fall_through)
	def __hash__(self):
		return hash((self._type, self._source, self._target, self.back_edge, self.fall_through))
	def __repr__(self):
		if self._type == BranchType.UnresolvedBranch:
			return "<%s>" % BranchType(self._type).name
		elif self._target.arch:
			return "<%s: %s@%#x>" % (BranchType(self._type).name, self._target.arch.name, self._target.start)
			return "<%s: %#x>" % (BranchType(self._type).name, self._target.start)
	def type(self):
		return self._type
	@type.setter
	def type(self, value):
		self._type = value
	def source(self):
		return self._source
	@source.setter
	def source(self, value):
		self._source = value
	def target(self):
		return self._target
	@target.setter
	def target(self, value):
		self._target = value
	def back_edge(self):
		return self._back_edge
	@back_edge.setter
	def back_edge(self, value):
		self._back_edge = value
	def fall_through(self):
		return self._fall_through
	@fall_through.setter
	def fall_through(self, value):
		self._fall_through = value
class BasicBlock(object):
	def __init__(self, handle, view = None):
		self._view = view
		self.handle = core.handle_of_type(handle, core.BNBasicBlock)
		self._arch = None
		self._func = None
		self._instStarts = None
		self._instLengths = None
	def __del__(self):
		core.BNFreeBasicBlock(self.handle)
	def __eq__(self, value):
		if not isinstance(value, BasicBlock):
			return False
		return ctypes.addressof(self.handle.contents) == ctypes.addressof(value.handle.contents)
	def __ne__(self, value):
		if not isinstance(value, BasicBlock):
			return True
		return ctypes.addressof(self.handle.contents) != ctypes.addressof(value.handle.contents)
	def __setattr__(self, name, value):
			object.__setattr__(self, name, value)
		except AttributeError:
			raise AttributeError("attribute '%s' is read only" % name)
	def __len__(self):
		return int(core.BNGetBasicBlockLength(self.handle))
	def __repr__(self):
		arch = self.arch
			return "<block: %s@%#x-%#x>" % (arch.name, self.start, self.end)
			return "<block: %#x-%#x>" % (self.start, self.end)
	def __iter__(self):
		if self._instStarts is None:
			# don't and instruction start cache the object is likely ephemeral
			idx = self.start
			while idx < self.end:
				data = self._view.read(idx, min(self.arch.max_instr_length, self.end - idx))
				inst_text = self.arch.get_instruction_text(data, idx)
				if inst_text[1] == 0:
				yield inst_text
				idx += inst_text[1]
			for start, length in zip(self._instStarts, self._instLengths):
				inst_text = self.arch.get_instruction_text(self._view.read(start, length), start)
				if inst_text[1] == 0:
				yield inst_text
	def __getitem__(self, i):
		self._buildStartCache()
		start = self._instStarts[i]
		length = self._instLengths[i]
		data = self._view.read(start, length)
		return self.arch.get_instruction_text(data, start)
	def __hash__(self):
		return hash((self.start, self.end, self.arch.name))
	def _buildStartCache(self):
		if self._instStarts is None:
			# build the instruction start cache
			self._instLengths = []
			self._instStarts = []
			start = self.start
			while start < self.end:
				length = self.view.get_instruction_length(start)
				if length == 0: # invalid instruction. avoid infinite loop
				self._instLengths.append(length)
				self._instStarts.append(start)
				start += length
	def _create_instance(self, handle, view):
		"""Internal method used to instantiate child instances"""
		return BasicBlock(handle, view)
	def instruction_count(self):
		self._buildStartCache()
		return len(self._instStarts)
	def function(self):
		"""Basic block function (read-only)"""
		if self._func is not None:
			return self._func
		func = core.BNGetBasicBlockFunction(self.handle)
		if func is None:
			return None
		self._func =binaryninja.function.Function(self._view, func)
		return self._func
	def view(self):
		"""Binary view that contains the basic block (read-only)"""
		if self._view is not None:
			return self._view
		self._view = self.function.view
		return self._view
	def arch(self):
		"""Basic block architecture (read-only)"""
		# The arch for a BasicBlock isn't going to change so just cache
		# it the first time we need it
		if self._arch is not None:
			return self._arch
		arch = core.BNGetBasicBlockArchitecture(self.handle)
		if arch is None:
			return None
		self._arch = binaryninja.architecture.CoreArchitecture._from_cache(arch)
		return self._arch
	def source_block(self):
		"""Basic block source block (read-only)"""
		block = core.BNGetBasicBlockSource(self.handle)
		if block is None:
			return None
		return BasicBlock(block, self._view)
	def start(self):
		"""Basic block start (read-only)"""
		return core.BNGetBasicBlockStart(self.handle)
	def end(self):
		"""Basic block end (read-only)"""
		return core.BNGetBasicBlockEnd(self.handle)
	def length(self):
		"""Basic block length (read-only)"""
		return core.BNGetBasicBlockLength(self.handle)
	def index(self):
		"""Basic block index in list of blocks for the function (read-only)"""
		return core.BNGetBasicBlockIndex(self.handle)
	def outgoing_edges(self):
		"""List of basic block outgoing edges (read-only)"""
		count = ctypes.c_ulonglong(0)
		edges = core.BNGetBasicBlockOutgoingEdges(self.handle, count)
		result = []
		for i in range(0, count.value):
			branch_type = BranchType(edges[i].type)
			if edges[i].target:
				target = self._create_instance(core.BNNewBasicBlockReference(edges[i].target), self.view)
				target = None
			result.append(BasicBlockEdge(branch_type, self, target, edges[i].backEdge, edges[i].fallThrough))
		core.BNFreeBasicBlockEdgeList(edges, count.value)
		return result
	def incoming_edges(self):
		"""List of basic block incoming edges (read-only)"""
		count = ctypes.c_ulonglong(0)
		edges = core.BNGetBasicBlockIncomingEdges(self.handle, count)
		result = []
		for i in range(0, count.value):
			branch_type = BranchType(edges[i].type)
			if edges[i].target:
				target = self._create_instance(core.BNNewBasicBlockReference(edges[i].target), self.view)
				target = None
			result.append(BasicBlockEdge(branch_type, target, self, edges[i].backEdge, edges[i].fallThrough))
		core.BNFreeBasicBlockEdgeList(edges, count.value)
		return result
	def has_undetermined_outgoing_edges(self):
		"""Whether basic block has undetermined outgoing edges (read-only)"""
		return core.BNBasicBlockHasUndeterminedOutgoingEdges(self.handle)
	def can_exit(self):
		"""Whether basic block can return or is tagged as 'No Return' (read-only)"""
		return core.BNBasicBlockCanExit(self.handle)
	def has_invalid_instructions(self):
		"""Whether basic block has any invalid instructions (read-only)"""
		return core.BNBasicBlockHasInvalidInstructions(self.handle)
	def dominators(self):
		"""List of dominators for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominators(self.handle, count, False)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def post_dominators(self):
		"""List of dominators for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominators(self.handle, count, True)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def strict_dominators(self):
		"""List of strict dominators for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockStrictDominators(self.handle, count, False)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def immediate_dominator(self):
		"""Immediate dominator of this basic block (read-only)"""
		result = core.BNGetBasicBlockImmediateDominator(self.handle, False)
		if not result:
			return None
		return self._create_instance(result, self.view)
	def immediate_post_dominator(self):
		"""Immediate dominator of this basic block (read-only)"""
		result = core.BNGetBasicBlockImmediateDominator(self.handle, True)
		if not result:
			return None
		return self._create_instance(result, self.view)
	def dominator_tree_children(self):
		"""List of child blocks in the dominator tree for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominatorTreeChildren(self.handle, count, False)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def post_dominator_tree_children(self):
		"""List of child blocks in the post dominator tree for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominatorTreeChildren(self.handle, count, True)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def dominance_frontier(self):
		"""Dominance frontier for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominanceFrontier(self.handle, count, False)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def post_dominance_frontier(self):
		"""Post dominance frontier for this basic block (read-only)"""
		count = ctypes.c_ulonglong()
		blocks = core.BNGetBasicBlockDominanceFrontier(self.handle, count, True)
		result = []
		for i in range(0, count.value):
			result.append(self._create_instance(core.BNNewBasicBlockReference(blocks[i]), self.view))
		core.BNFreeBasicBlockList(blocks, count.value)
		return result
	def annotations(self):
		"""List of automatic annotations for the start of this block (read-only)"""
		return self.function.get_block_annotations(self.start, self.arch)
	def disassembly_text(self):
		``disassembly_text`` property which returns a list of binaryninja.function.DisassemblyTextLine objects for the current basic block.
		:Example:
			>>> current_basic_block.disassembly_text
			[<0x100000f30: _main:>, ...]
		return self.get_disassembly_text()
	def highlight(self):
		"""Gets or sets the highlight color for basic block
		:Example:
			>>> current_basic_block.highlight = HighlightStandardColor.BlueHighlightColor
			>>> current_basic_block.highlight
			<color: blue>
		return highlight.HighlightColor._from_core_struct(core.BNGetBasicBlockHighlight(self.handle))
	@highlight.setter
	def highlight(self, value):
		self.set_user_highlight(value)
	def is_il(self):
		"""Whether the basic block contains IL"""
		return core.BNIsILBasicBlock(self.handle)
	def is_low_level_il(self):
		"""Whether the basic block contains Low Level IL"""
		return core.BNIsLowLevelILBasicBlock(self.handle)
	def is_medium_level_il(self):
		"""Whether the basic block contains Medium Level IL"""
		return core.BNIsMediumLevelILBasicBlock(self.handle)
	@classmethod
	def get_iterated_dominance_frontier(self, blocks):
		if len(blocks) == 0:
			return []
		block_set = (ctypes.POINTER(core.BNBasicBlock) * len(blocks))()
		for i in range(len(blocks)):
			block_set[i] = blocks[i].handle
		count = ctypes.c_ulonglong()
		out_blocks = core.BNGetBasicBlockIteratedDominanceFrontier(block_set, len(blocks), count)
		result = []
		for i in range(0, count.value):
			result.append(BasicBlock(core.BNNewBasicBlockReference(out_blocks[i]), blocks[0].view))
		core.BNFreeBasicBlockList(out_blocks, count.value)
		return result
	def mark_recent_use(self):
		core.BNMarkBasicBlockAsRecentlyUsed(self.handle)
	def get_disassembly_text(self, settings=None):
		``get_disassembly_text`` returns a list of binaryninja.function.DisassemblyTextLine objects for the current basic block.
		:param DisassemblySettings settings: (optional) DisassemblySettings object
		:Example:
			>>> current_basic_block.get_disassembly_text()
			[<0x100000f30: _main:>, <0x100000f30: push    rbp>, ... ]
		settings_obj = None
		if settings:
			settings_obj = settings.handle
		count = ctypes.c_ulonglong()
		lines = core.BNGetBasicBlockDisassemblyText(self.handle, settings_obj, count)
		result = []
		for i in range(0, count.value):
			addr = lines[i].addr
			if (lines[i].instrIndex != 0xffffffffffffffff) and hasattr(self, 'il_function'):
				il_instr = self.il_function[lines[i].instrIndex]  # pylint: disable=no-member
				il_instr = None
			color = highlight.HighlightColor._from_core_struct(lines[i].highlight)
			tokens = binaryninja.function.InstructionTextToken.get_instruction_lines(lines[i].tokens, lines[i].count)
			result.append(binaryninja.function.DisassemblyTextLine(tokens, addr, il_instr, color))
		core.BNFreeDisassemblyTextLines(lines, count.value)
		return result
	def set_auto_highlight(self, color):
		``set_auto_highlight`` highlights the current BasicBlock with the supplied color.
		..warning:: Use only in analysis plugins. Do not use in regular plugins, as colors won't be saved to the database.
		:param HighlightStandardColor or highlight.HighlightColor color: Color value to use for highlighting
		if not isinstance(color, HighlightStandardColor) and not isinstance(color, highlight.HighlightColor):
			raise ValueError("Specified color is not one of HighlightStandardColor, highlight.HighlightColor")
		if isinstance(color, HighlightStandardColor):
			color = highlight.HighlightColor(color)
		core.BNSetAutoBasicBlockHighlight(self.handle, color._get_core_struct())
	def set_user_highlight(self, color):
		``set_user_highlight`` highlights the current BasicBlock with the supplied color
		:param HighlightStandardColor or highlight.HighlightColor color: Color value to use for highlighting
		:Example:
			>>> current_basic_block.set_user_highlight(highlight.HighlightColor(red=0xff, blue=0xff, green=0))
			>>> current_basic_block.set_user_highlight(HighlightStandardColor.BlueHighlightColor)
		if not isinstance(color, HighlightStandardColor) and not isinstance(color, highlight.HighlightColor):
			raise ValueError("Specified color is not one of HighlightStandardColor, highlight.HighlightColor")
		if isinstance(color, HighlightStandardColor):
			color = highlight.HighlightColor(color)
		core.BNSetUserBasicBlockHighlight(self.handle, color._get_core_struct())
Provide feedback

Saved searches

Use saved searches to filter your results more quickly

FilesExpand file tree

basicblock.py

Latest commit

History

basicblock.py

File metadata and controls
