binaryview module

Class

Description

binaryninja.binaryview.ActiveAnalysisInfo

binaryninja.binaryview.AdvancedILFunctionList

The purpose of this class is to generate IL functions IL function in the background improving…

binaryninja.binaryview.AnalysisCompletionEvent

TheAnalysisCompletionEvent object provides an asynchronous mechanism for receiving…

binaryninja.binaryview.AnalysisInfo

binaryninja.binaryview.AnalysisProgress

binaryninja.binaryview.BinaryDataNotification

classBinaryDataNotification provides an interface for receiving event notifications.

binaryninja.binaryview.BinaryDataNotificationCallbacks

binaryninja.binaryview.BinaryReader

classBinaryReader is a convenience class for reading binary data.

binaryninja.binaryview.BinaryView

classBinaryView implements a view on binary data, and presents a queryable interface of a…

binaryninja.binaryview.BinaryViewEvent

TheBinaryViewEvent object provides a mechanism for receiving callbacks when a…

binaryninja.binaryview.BinaryViewType

TheBinaryViewType object is used internally and should not be directly instantiated.

binaryninja.binaryview.BinaryWriter

classBinaryWriter is a convenience class for writing binary data.

binaryninja.binaryview.CoreDataVariable

binaryninja.binaryview.DataVariable

CoreDataVariable(_address: int, _type: ‘_types.Type’, _auto_discovered: bool)

binaryninja.binaryview.DataVariableAndName

CoreDataVariable(_address: int, _type: ‘_types.Type’, _auto_discovered: bool)

binaryninja.binaryview.DerivedString

Contains a string derived from code or data. The string does not need to be directly present in…

binaryninja.binaryview.DerivedStringLocation

Location associated with a derived string. Locations are optional.

binaryninja.binaryview.FunctionList

binaryninja.binaryview.MemoryMap

The MemoryMap object describes a system-level memory map into which a BinaryView is loaded.

binaryninja.binaryview.ReferenceSource

binaryninja.binaryview.Relocation

binaryninja.binaryview.RelocationInfo

binaryninja.binaryview.Section

TheSection object is returned during BinaryView creation and should not be directly…

binaryninja.binaryview.SectionDescriptorList

Built-in mutable sequence.

binaryninja.binaryview.Segment

TheSegment object is returned during BinaryView creation and should not be directly…

binaryninja.binaryview.SegmentDescriptorList

Built-in mutable sequence.

binaryninja.binaryview.StringRef

Deduplicated reference to a string owned by the Binary Ninja core. Usestr orbytes to…

binaryninja.binaryview.StringReference

binaryninja.binaryview.StructuredDataValue

binaryninja.binaryview.SymbolMapping

SymbolMapping object is used to improve performance of thebv.symbols API. This allows…

binaryninja.binaryview.Tag

TheTag object is created by other APIs (create_*_tag) and should not be directly instantiated.

binaryninja.binaryview.TagType

TheTagType object is created by the create_tag_type API and should not be directly…

binaryninja.binaryview.TypeMapping

TypeMapping object is used to improve performance of thebv.types API. This allows pythonic…

binaryninja.binaryview.TypedDataAccessor

binaryninja.binaryview.TypedDataReader

TypedDataAccessor(type: ‘_types.Type’, address: int, view: ‘BinaryView’, endian: binaryninja.enum…

ActiveAnalysisInfo

classActiveAnalysisInfo[source]

Bases:object

ActiveAnalysisInfo(func: ‘_function.Function’, analysis_time: int, update_count: int, submit_count: int)

__init__(func:Function,analysis_time:int,update_count:int,submit_count:int)None
Parameters:
  • func (Function) –

  • analysis_time (int) –

  • update_count (int) –

  • submit_count (int) –

Return type:

None

analysis_time:int
func:Function
submit_count:int
update_count:int

AdvancedILFunctionList

classAdvancedILFunctionList[source]

Bases:object

The purpose of this class is to generate IL functions IL function in the backgroundimproving the performance of iterating MediumLevelIL and HighLevelILFunctions.

Using this class or the associated helper methods BinaryView.mlil_functions / BinaryView.hlil_functionscan improve the performance of ILFunction iteration significantly

The prefetch_limit property is configurable and should be modified based upon your machines hardware and RAM limitations.

Warning

Setting the prefetch_limit excessively high can result in high memory utilization.

Example:
>>>importtimeit>>>len(bv.functions)4817>>># Calculate the average time to generate hlil for all functions withing 'bv':>>>timeit.timeit(lambda:[f.hlilforfinbv.functions],number=1)21.761621682000168>>>t1=_>>># Now try again with the advanced analysis iterator>>>timeit.timeit(lambda:[fforfinbv.hlil_functions(128)],number=1)6.3147709989998475>>>t1/_3.4461458199270947>>># This particular binary can iterate hlil functions 3.4x faster>>># If you don't need IL then its still much faster to just use `bv.functions`>>>timeit.timeit(lambda:[fforfinbv.functions],number=1)0.02230275600004461
__init__(view:BinaryView,preload_limit:int=15,functions:Iterable|None=None)[source]
Parameters:

AnalysisCompletionEvent

classAnalysisCompletionEvent[source]

Bases:object

TheAnalysisCompletionEvent object provides an asynchronous mechanism for receivingcallbacks when analysis is complete. The callback runs once. A completion event must be addedfor each new analysis in order to be notified of each analysis completion. TheAnalysisCompletionEvent class takes responsibility for keeping track of the object’s lifetime.

Example:
>>>defon_complete(self):...print("Analysis Complete",self._view)...>>>evt=AnalysisCompletionEvent(bv,on_complete)>>>
__init__(view:BinaryView,callback:Callable[[AnalysisCompletionEvent],None]|Callable[[],None])[source]
Parameters:
cancel()None[source]

Thecancel method will cancel analysis for anAnalysisCompletionEvent.

Warning

This method should only be used when the system is being shut down and no further analysis should be done afterward.

Return type:

None

propertyview:BinaryView

AnalysisInfo

classAnalysisInfo[source]

Bases:object

AnalysisInfo(state: binaryninja.enums.AnalysisState, analysis_time: int, active_info: List[binaryninja.binaryview.ActiveAnalysisInfo])

__init__(state:AnalysisState,analysis_time:int,active_info:List[ActiveAnalysisInfo])None
Parameters:
Return type:

None

active_info:List[ActiveAnalysisInfo]
analysis_time:int
state:AnalysisState

AnalysisProgress

classAnalysisProgress[source]

Bases:object

AnalysisProgress(state: binaryninja.enums.AnalysisState, count: int, total: int)

__init__(state:AnalysisState,count:int,total:int)None
Parameters:
Return type:

None

count:int
state:AnalysisState
total:int

BinaryDataNotification

classBinaryDataNotification[source]

Bases:object

classBinaryDataNotification provides an interface for receiving event notifications. Usage requires inheritingfrom this interface, overriding the relevant event handlers, and registering theBinaryDataNotification instancewith aBinaryView using theregister_notification method.

By default, aBinaryDataNotification instance receives notifications for all available notification types. Itis recommended for users of this interface to initialize theBinaryDataNotification base class with specificcallbacks of interest by passing the appropriateNotificationType flags into the__init__ constructor.

Handlers provided by the user should aim to limit the amount of processing within the callback. Thecallback context holds a global lock, preventing other threads from making progress during the callback phase.While most of the API can be used safely during this time, care must be taken when issuing a call that can block,as waiting for a thread requiring the global lock can result in deadlock.

TheNotificationBarrier is a specialNotificationType that is disabled by default. To enable it, theNotificationBarrier flag must be passed to__init__. This notification is designed to facilitate efficientbatch processing of other notification types. The idea is to collect other notifications of interest into a cache,which can be very efficient as it doesn’t require additional locks. After some time, the core generates aNotificationBarrier event, providing a safe context to move the cache for processing by a different thread.

To control the time of the nextNotificationBarrier event, return the desired number of milliseconds untilthe next event from theNotificationBarrier callback. Returning zero quiesces futureNotificationBarrierevents. If theNotificationBarrier is quiesced, the reception of a new callback of interest automaticallygenerates a newNotificationBarrier call after that notification is delivered. This mechanism effectivelyallows throttling and quiescing when necessary.

Note

Note that the core generates aNotificationBarrier as part of theBinaryDataNotification registration process. Registering the sameBinaryDataNotification instance again results in a gratuitousNotificationBarrier event, which can be useful in situations requiring a safe context for processing due to some other asynchronous event (e.g., user interaction).

Example:

>>>classNotifyTest(binaryninja.BinaryDataNotification):...def__init__(self):...super(NotifyTest,self).__init__(binaryninja.NotificationType.NotificationBarrier|binaryninja.NotificationType.FunctionLifetime|binaryninja.NotificationType.FunctionUpdated)...self.received_event=False...defnotification_barrier(self,view:'BinaryView')->int:...has_events=self.received_event...self.received_event=False...log_info("notification_barrier")...ifhas_events:...return250...else:...return0...deffunction_added(self,view:'BinaryView',func:'_function.Function')->None:...self.received_event=True...log_info("function_added")...deffunction_removed(self,view:'BinaryView',func:'_function.Function')->None:...self.received_event=True...log_info("function_removed")...deffunction_updated(self,view:'BinaryView',func:'_function.Function')->None:...self.received_event=True...log_info("function_updated")...>>>>>>bv.register_notification(NotifyTest())>>>
__init__(notifications:NotificationType|None=None)[source]
Parameters:

notifications (NotificationType |None) –

component_added(view:BinaryView,_component:Component)None[source]
Parameters:
Return type:

None

component_data_var_added(view:BinaryView,_component:Component,var:DataVariable)[source]
Parameters:
component_data_var_removed(view:BinaryView,_component:Component,var:DataVariable)[source]
Parameters:
component_function_added(view:BinaryView,_component:Component,func:Function)[source]
Parameters:
component_function_removed(view:BinaryView,_component:Component,func:Function)[source]
Parameters:
component_moved(view:BinaryView,formerParent:Component,newParent:Component,_component:Component)None[source]
Parameters:
Return type:

None

component_name_updated(view:BinaryView,previous_name:str,_component:Component)None[source]
Parameters:
Return type:

None

component_removed(view:BinaryView,formerParent:Component,_component:Component)None[source]
Parameters:
Return type:

None

data_inserted(view:BinaryView,offset:int,length:int)None[source]
Parameters:
Return type:

None

data_metadata_updated(view:BinaryView,offset:int)None[source]
Parameters:
Return type:

None

data_removed(view:BinaryView,offset:int,length:int)None[source]
Parameters:
Return type:

None

data_var_added(view:BinaryView,var:DataVariable)None[source]

Note

data_var_updated will be triggered instead when a user data variable is added over an auto data variable.

Parameters:
Return type:

None

data_var_removed(view:BinaryView,var:DataVariable)None[source]

Note

data_var_updated will be triggered instead when a user data variable is removed over an auto data variable.

Parameters:
Return type:

None

data_var_updated(view:BinaryView,var:DataVariable)None[source]
Parameters:
Return type:

None

data_written(view:BinaryView,offset:int,length:int)None[source]
Parameters:
Return type:

None

derived_string_found(view:BinaryView,string:DerivedString)None[source]
Parameters:
Return type:

None

derived_string_removed(view:BinaryView,string:DerivedString)None[source]
Parameters:
Return type:

None

function_added(view:BinaryView,func:Function)None[source]

Note

function_updated will be triggered instead when a user function is added over an auto function.

Parameters:
Return type:

None

function_removed(view:BinaryView,func:Function)None[source]

Note

function_updated will be triggered instead when a user function is removed over an auto function.

Parameters:
Return type:

None

function_update_requested(view:BinaryView,func:Function)None[source]
Parameters:
Return type:

None

function_updated(view:BinaryView,func:Function)None[source]
Parameters:
Return type:

None

notification_barrier(view:BinaryView)int[source]
Parameters:

view (BinaryView) –

Return type:

int

rebased(old_view:BinaryView,new_view:BinaryView)[source]
Parameters:
redo_entry_taken(view:BinaryView,entry:UndoEntry)[source]
Parameters:
section_added(view:BinaryView,section:Section)None[source]
Parameters:
Return type:

None

section_removed(view:BinaryView,section:Section)None[source]
Parameters:
Return type:

None

section_updated(view:BinaryView,section:Section)None[source]
Parameters:
Return type:

None

segment_added(view:BinaryView,segment:Segment)None[source]
Parameters:
Return type:

None

segment_removed(view:BinaryView,segment:Segment)None[source]
Parameters:
Return type:

None

segment_updated(view:BinaryView,segment:Segment)None[source]
Parameters:
Return type:

None

string_found(view:BinaryView,string_type:StringType,offset:int,length:int)None[source]
Parameters:
Return type:

None

string_removed(view:BinaryView,string_type:StringType,offset:int,length:int)None[source]
Parameters:
Return type:

None

symbol_added(view:BinaryView,sym:CoreSymbol)None[source]
Parameters:
Return type:

None

symbol_removed(view:BinaryView,sym:CoreSymbol)None[source]
Parameters:
Return type:

None

symbol_updated(view:BinaryView,sym:CoreSymbol)None[source]
Parameters:
Return type:

None

tag_added(view:BinaryView,tag:Tag,ref_type:TagReferenceType,auto_defined:bool,arch:Architecture|None,func:Function|None,addr:int)None[source]
Parameters:
Return type:

None

tag_removed(view:BinaryView,tag:Tag,ref_type:TagReferenceType,auto_defined:bool,arch:Architecture|None,func:Function|None,addr:int)None[source]
Parameters:
Return type:

None

tag_type_updated(view:BinaryView,tag_type)None[source]
Parameters:

view (BinaryView) –

Return type:

None

tag_updated(view:BinaryView,tag:Tag,ref_type:TagReferenceType,auto_defined:bool,arch:Architecture|None,func:Function|None,addr:int)None[source]
Parameters:
Return type:

None

type_archive_attached(view:BinaryView,id:str,path:str)[source]
Parameters:
type_archive_connected(view:BinaryView,archive:TypeArchive)[source]
Parameters:
type_archive_detached(view:BinaryView,id:str,path:str)[source]
Parameters:
type_archive_disconnected(view:BinaryView,archive:TypeArchive)[source]
Parameters:
type_defined(view:BinaryView,name:QualifiedName,type:Type)None[source]
Parameters:
Return type:

None

type_field_ref_changed(view:BinaryView,name:QualifiedName,offset:int)None[source]
Parameters:
Return type:

None

type_ref_changed(view:BinaryView,name:QualifiedName,type:Type)None[source]
Parameters:
Return type:

None

type_undefined(view:BinaryView,name:QualifiedName,type:Type)None[source]
Parameters:
Return type:

None

undo_entry_added(view:BinaryView,entry:UndoEntry)[source]
Parameters:
undo_entry_taken(view:BinaryView,entry:UndoEntry)[source]
Parameters:

BinaryDataNotificationCallbacks

classBinaryDataNotificationCallbacks[source]

Bases:object

__init__(view:BinaryView,notify:BinaryDataNotification)[source]
Parameters:
propertynotify:BinaryDataNotification
propertyview:BinaryView

BinaryReader

classBinaryReader[source]

Bases:object

classBinaryReader is a convenience class for reading binary data.

BinaryReader can be instantiated as follows and the rest of the document will start from this context

>>>frombinaryninjaimport*>>>bv=load("/bin/ls")>>>br=BinaryReader(bv)>>>hex(br.read32())'0xfeedfacfL'>>>

Or using the optional endian parameter

>>>frombinaryninjaimport*>>>br=BinaryReader(bv,Endianness.BigEndian)>>>hex(br.read32())'0xcffaedfeL'>>>
__init__(view:BinaryView,endian:Endianness|None=None,address:int|None=None)[source]
Parameters:
read(length:int,address:int|None=None)bytes|None[source]

read returnslength bytes read from the current offset, addinglength to offset.

Parameters:
  • length (int) – number of bytes to read.

  • address (int) – offset to set the internal offset before reading

Returns:

length bytes from current offset

Return type:

str, or None on failure

Example:
>>>br.read(8)'\xcf\xfa\xed\xfe\x07\x00\x00\x01'>>>
read16(address:int|None=None)int|None[source]

read16 returns a two byte integer from offset incrementing the offset by two, using specified endianness.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a two byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read16())'0xfacf'>>>
read16be(address:int|None=None)int|None[source]

read16be returns a two byte big endian integer from offset incrementing the offset by two.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a two byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read16be())'0xcffa'>>>
read16le(address:int|None=None)int|None[source]

read16le returns a two byte little endian integer from offset incrementing the offset by two.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a two byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read16le())'0xfacf'>>>
read32(address:int|None=None)int|None[source]

read32 returns a four byte integer from offset incrementing the offset by four, using specified endianness.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a four byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read32())'0xfeedfacfL'>>>
read32be(address:int|None=None)int|None[source]

read32be returns a four byte big endian integer from offset incrementing the offset by four.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a four byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read32be())'0xcffaedfe'
read32le(address:int|None=None)int|None[source]

read32le returns a four byte little endian integer from offset incrementing the offset by four.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a four byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read32le())'0xfeedfacf'>>>
read64(address:int|None=None)int|None[source]

read64 returns an eight byte integer from offset incrementing the offset by eight, using specified endianness.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

an eight byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read64())'0x1000007feedfacfL'>>>
read64be(address:int|None=None)int|None[source]

read64be returns an eight byte big endian integer from offset incrementing the offset by eight.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a eight byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read64be())'0xcffaedfe07000001L'
read64le(address:int|None=None)int|None[source]

read64le returns an eight byte little endian integer from offset incrementing the offset by eight.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

a eight byte integer at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>hex(br.read64le())'0x1000007feedfacf'>>>
read8(address:int|None=None)int|None[source]

read8 returns a one byte integer from offset incrementing the offset.

Parameters:

address (int) – offset to set the internal offset before reading

Returns:

byte at offset.

Return type:

int, or None on failure

Example:
>>>br.seek(0x100000000)>>>br.read8()207>>>
seek(offset:int,whence:int|None=0)None[source]

seek update internal offset tooffset.

Parameters:
  • offset (int) – offset to set the internal offset to

  • whence (int) – optional, defaults to 0 for absolute file positioning, or 1 for relative to current location

Return type:

None

Example:
>>>hex(br.offset)'0x100000008L'>>>br.seek(0x100000000)>>>hex(br.offset)'0x100000000L'>>>
seek_relative(offset:int)None[source]

seek_relative updates the internal offset byoffset.

Parameters:

offset (int) – offset to add to the internal offset

Return type:

None

Example:
>>>hex(br.offset)'0x100000008L'>>>br.seek_relative(-8)>>>hex(br.offset)'0x100000000L'>>>
propertyendianness:Endianness

The Endianness to read data. (read/write)

Getter:

returns the endianness of the reader

Setter:

sets the endianness of the reader (BigEndian or LittleEndian)

Type:

Endianness

propertyeof:bool

Is end of file (read-only)

Getter:

returns boolean, true if end of file, false otherwise

Type:

bool

propertyoffset:int

The current read offset (read/write).

Getter:

returns the current internal offset

Setter:

sets the internal offset

Type:

int

propertyvirtual_base:int

The current virtual base offset for the stream (read/write).

Getter:

returns the current virtual base

Setter:

sets the virtual base

Type:

int

BinaryView

classBinaryView[source]

Bases:object

classBinaryView implements a view on binary data, and presents a queryable interface of a binary file. One keyjob of BinaryView is file format parsing which allows Binary Ninja to read, write, insert, remove portionsof the file given a virtual address. For the purposes of this documentation we define a virtual address as thememory address that the various pieces of the physical file will be loaded at.

A binary file does not have to have just one BinaryView, thus much of the interface to manipulate disassembly existswithin or is accessed through a BinaryView. All files are guaranteed to have at least theRaw BinaryView. TheRaw BinaryView is simply a hex editor, but is helpful for manipulating binary files via their absolute addresses.

BinaryViews are plugins and thus registered with Binary Ninja at startup, and thus shouldnever be instantiateddirectly as this is already done. The list of available BinaryViews can be seen in the BinaryViewType class whichprovides an iterator and map of the various installed BinaryViews:

>>>list(BinaryViewType)[<view type: 'Raw'>, <view type: 'ELF'>, <view type: 'Mach-O'>, <view type: 'PE'>]>>>BinaryViewType['ELF']<view type: 'ELF'>

To open a file with a given BinaryView the following code is recommended:

>>>withload("/bin/ls")asbv:...bv<BinaryView: '/bin/ls', start 0x100000000, len 0x142c8>

By convention in the rest of this document we will use bv to mean an open and, analyzed, BinaryView of an executable file.When a BinaryView is open on an executable view analysis is automatically run unless specific named parameters are usedto disable updates. If such a parameter is used, updates can be triggered using theupdate_analysis_and_wait methodwhich disassembles the executable and returns when all disassembly and analysis is complete:

>>>bv.update_analysis_and_wait()>>>

Since BinaryNinja’s analysis is multi-threaded (depending on version) this can also be done in the backgroundby using theupdate_analysis method instead.

By standard python convention methods which start with ‘_’ should be considered private and should notbe called externally. Additionally, methods which begin withperform_ should not be called directlyeither and are used explicitly for subclassing a BinaryView.

Note

An important note on the*_user_*() methods. Binary Ninja makes a distinction between edits performed by the user and actions performed by auto analysis. Auto analysis actions that can quickly be recalculated are not saved to the database. Auto analysis actions that take a long time and all user edits are stored in the database (e.g.remove_user_function rather thanremove_function). Thus use_user_ methods if saving to the database is desired.

classQueueGenerator[source]

Bases:object

__init__(t,results)[source]
__init__(file_metadata:FileMetadata|None=None,parent_view:BinaryView|None=None,handle:LP_BNBinaryView|None=None)[source]
Parameters:
static__new__(cls,file_metadata=None,parent_view=None,handle=None)[source]
abort_analysis()None[source]

abort_analysis aborts analysis and suspends the workflow machine. This operation is recoverable, and the workflow machinecan be re-enabled via theenable API on WorkflowMachine.

Return type:

None

add_analysis_completion_event(callback:Callable[[],None])AnalysisCompletionEvent[source]

add_analysis_completion_event sets up a call back function to be called when analysis has been completed.This is helpful when usingupdate_analysis which does not wait for analysis completion before returning.

The callee of this function is not responsible for maintaining the lifetime of the returned AnalysisCompletionEvent object.

Note

The lock held by the callback thread on the BinaryView instance ensures that other BinaryView actions can be safely performed in the callback thread.

Warning

The built-in python console automatically updates analysis after every command is run, which means this call back may not behave as expected if entered interactively.

Parameters:

callback (callback) – A function to be called with no parameters when analysis has completed.

Returns:

An initialized AnalysisCompletionEvent object

Return type:

AnalysisCompletionEvent

Example:
>>>defcompletionEvent():...print("done")...>>>bv.add_analysis_completion_event(completionEvent)<binaryninja.AnalysisCompletionEvent object at 0x10a2c9f10>>>>bv.update_analysis()done>>>
add_analysis_option(name:str)None[source]

add_analysis_option adds an analysis option. Analysis options elaborate the analysis phase. The user muststart analysis by calling eitherupdate_analysis orupdate_analysis_and_wait.

Parameters:

name (str) – name of the analysis option. Available options are: “linearsweep”, and “signaturematcher”.

Return type:

None

Example:
>>>bv.add_analysis_option("linearsweep")>>>bv.update_analysis_and_wait()
add_auto_section(name:str,start:int,length:int,semantics:SectionSemantics=SectionSemantics.DefaultSectionSemantics,type:str='',align:int=1,entry_size:int=1,linked_section:str='',info_section:str='',info_data:int=0)None[source]
Parameters:
Return type:

None

add_auto_segment(start:int,length:int,data_offset:int,data_length:int,flags:SegmentFlag)None[source]

add_auto_segment Adds an analysis segment that specifies how data from the raw file is mapped into a virtual address space

Note that the segments added may have different size attributes than requested

Parameters:
Return type:

None

add_auto_segments(segments:List[BNSegmentInfo])None[source]

add_auto_segments Adds analysis segments that specify how data from the raw file is mapped into a virtual address space

Parameters:

segments (List[core.BNSegmentInfo]) – list of segments to add

Return type:

None

add_data_ref(from_addr:int,to_addr:int)None[source]

add_data_ref adds an auto data cross-reference (xref) from the addressfrom_addr to the addressto_addr.

Parameters:
  • from_addr (int) – the reference’s source virtual address.

  • to_addr (int) – the reference’s destination virtual address.

Return type:

None

Note

It is intended to be used from within workflows or binary view initialization.

add_entry_point(addr:int,plat:Platform|None=None)None[source]

add_entry_point adds a virtual address to start analysis from for a given plat.

Parameters:
  • addr (int) – virtual address to start analysis from

  • plat (Platform) – Platform for the entry point analysis

Return type:

None

Example:
>>>bv.add_entry_point(0xdeadbeef)>>>
add_expression_parser_magic_value(name:str,value:int)None[source]

Add a magic value to the expression parser.

If the magic value already exists, its value gets updated.The magic value can be used in the expression by a$ followed by its name, e.g.,$foobar.It is optional to include the$ when calling this function, i.e., calling withfoobar and$foobarhas the same effect.

Parameters:
  • name (str) – name for the magic value to add or update

  • value (int) – value for the magic value

Returns:

Return type:

None

add_expression_parser_magic_values(names:List[str],values:List[int])None[source]

Add a list of magic value to the expression parser.

The listnames andvalues must have the same size. The ith name in thenames will correspond tothe ith value in thevalues.

If a magic value already exists, its value gets updated.The magic value can be used in the expression by a$ followed by its name, e.g.,$foobar.It is optional to include the$ when calling this function, i.e., calling withfoobar and$foobarhas the same effect.

Parameters:
  • names (list(str)) – names for the magic values to add or update

  • values (list(int)) – value for the magic values

Returns:

Return type:

None

add_external_library(name:str,backing_file:ProjectFile|None=None,auto:bool=False)ExternalLibrary[source]

Add an ExternalLibrary to this BinaryView

Parameters:
  • name (str) – Name of the external library

  • backing_file (ProjectFile |None) – Optional ProjectFile that backs the external library

  • auto (bool) – Whether or not this action is the result of automated analysis

Returns:

The created ExternalLibrary

Return type:

ExternalLibrary

add_external_location(source_symbol:CoreSymbol,library:ExternalLibrary|None,target_symbol:str|None,target_address:int|None,auto:bool=False)ExternalLocation[source]

Add an ExternalLocation with its source in this BinaryView.ExternalLocations must have a target address and/or symbol.

Parameters:
  • source_symbol (CoreSymbol) – Symbol that the association is from

  • library (ExternalLibrary |None) – Library that the ExternalLocation belongs to

  • target_symbol (str |None) – Symbol that the ExternalLocation points to

  • target_address (int |None) – Address that the ExternalLocation points to

  • auto (bool) – Whether or not this action is the result of automated analysis

Returns:

The created ExternalLocation

Return type:

ExternalLocation

add_function(addr:int,plat:Platform|None=None,auto_discovered:bool=False,func_type:Function|None=None)Function|None[source]

add_function add a new function of the givenplat at the virtual addressaddr

Warning

This function is used to create auto functions, often used when writing loaders, etc. Most users will want to usecreate_user_function in their scripts.

Parameters:
  • addr (int) – virtual address of the function to be added

  • plat (Platform) – Platform for the function to be added

  • auto_discovered (bool) – True if function was automatically discovered, False if created by user

  • func_type (Function |None) – optional function type

Return type:

None

Example:
>>>bv.add_function(1)>>>bv.functions[<func: x86_64@0x1>]
add_tag(addr:int,tag_type_name:str,data:str,user:bool=True)[source]

add_tag creates and adds aTag object at a data address.

This API is appropriate for generic data tags. For functions,consider usingadd_tag.

Parameters:
  • addr (int) – address at which to add the tag

  • tag_type_name (str) – The name of the tag type for this Tag

  • data (str) – additional data for the Tag

  • user (bool) – Whether or not a user tag

Example:
>>>bv.add_tag(here,"Crashes","Null pointer dereference")>>>
add_to_entry_functions(func:Function)None[source]

add_to_entry_functions adds a function to theentry_functions list.

Parameters:

func (Function) – a Function object

Return type:

None

Example:
>>>bv.entry_functions[<func: x86@0x4014c8>, <func: x86@0x401618>]>>>bv.add_to_entry_functions(bv.get_function_at(0x4014da))>>>bv.entry_functions[<func: x86@0x4014c8>, <func: x86@0x401618>, <func: x86@0x4014da>]
add_type_library(lib:TypeLibrary)None[source]

add_type_library make the contents of a type library available for type/import resolution

Parameters:

lib (TypeLibrary) – library to register with the view

Return type:

None

add_user_data_ref(from_addr:int,to_addr:int)None[source]

add_user_data_ref adds a user-specified data cross-reference (xref) from the addressfrom_addr to the addressto_addr.If the reference already exists, no action is performed. To remove the reference, useremove_user_data_ref.

Parameters:
  • from_addr (int) – the reference’s source virtual address.

  • to_addr (int) – the reference’s destination virtual address.

Return type:

None

add_user_section(name:str,start:int,length:int,semantics:SectionSemantics=SectionSemantics.DefaultSectionSemantics,type:str='',align:int=1,entry_size:int=1,linked_section:str='',info_section:str='',info_data:int=0)None[source]

add_user_section creates a user-defined section that can help inform analysis by clarifying what types ofdata exist in what ranges. Note that all data specified must already be mapped by an existing segment.

Parameters:
  • name (str) – name of the section

  • start (int) – virtual address of the start of the section

  • length (int) – length of the section

  • semantics (SectionSemantics) – SectionSemantics of the section

  • type (str) – optional type

  • align (int) – optional byte alignment

  • entry_size (int) – optional entry size

  • linked_section (str) – optional name of a linked section

  • info_section (str) – optional name of an associated informational section

  • info_data (int) – optional info data

Return type:

None

add_user_segment(start:int,length:int,data_offset:int,data_length:int,flags:SegmentFlag)None[source]

add_user_segment creates a user-defined segment that specifies how data from the raw file is mapped into a virtual address space.

Parameters:
  • start (int) – virtual address of the start of the segment

  • length (int) – length of the segment (may be larger than the source data)

  • data_offset (int) – offset from the parent view

  • data_length (int) – length of the data from the parent view

  • flags (SegmentFlag) – SegmentFlags

Return type:

None

add_user_segments(segments:List[BNSegmentInfo])None[source]

add_user_segments Adds user-defined segments that specify how data from the raw file is mapped into a virtual address space

Parameters:

segments (List[core.BNSegmentInfo]) – list of segments to add

Return type:

None

always_branch(addr:int,arch:Architecture|None=None)bool[source]

always_branch convert the instruction of architecturearch at the virtual addressaddr to anunconditional branch.

Note

This API performs a binary patch, analysis may need to be updated afterward. Additionally the binary file must be saved in order to preserve the changes made.

Parameters:
  • addr (int) – virtual address of the instruction to be modified

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True on success, False on failure.

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012ef)'jg      0x100012f5'>>>bv.always_branch(0x100012ef)True>>>bv.get_disassembly(0x100012ef)'jmp     0x100012f5'>>>
apply_debug_info(value:DebugInfo)None[source]

Sets the debug info and applies its contents to the current binary view

Parameters:

value (DebugInfo) –

Return type:

None

attach_type_archive(archive:TypeArchive)[source]

Attach a given type archive to the analysis and try to connect to it.If attaching was successful, names from that archive will become available to pull,but no types will actually be associated by calling this.

Parameters:

archive (TypeArchive) – New archive

attach_type_archive_by_id(id:str,path:str)TypeArchive|None[source]

Attach a type archive to the owned analysis and try to connect to it.If attaching was successful, names from that archive will become available to pull,but no types will actually be associated by calling this.

The behavior of this function is rather complicated, in an attempt to enable theability to have attached, but disconnected Type Archives.

Normal operation:

If there was no previously connected Type Archive whose id matchesid, and thefile atpath contains a Type Archive whose id matchesid, it will beattached and connected.

Edge-cases:

If there was a previously connected Type Archive whose id matchesid, nothingwill happen, and it will simply be returned.If the file atpath does not exist, nothing will happen and None will be returned.If the file atpath exists but does not contain a Type Archive whose id matchesid,nothing will happen and None will be returned.If there was a previously attached but disconnected Type Archive whose id matchesid,and the file atpath contains a Type Archive whose id matchesid, thepreviously attached Type Archive will have its saved path updated to pointtopath. The Type Archive atpath will be connected and returned.

Parameters:
  • id (str) – Id of Type Archive to attach

  • path (str) – Path to file of Type Archive to attach

Returns:

Attached archive object, if it could be connected.

Return type:

TypeArchive |None

begin_bulk_add_segments()None[source]

begin_bulk_add_segments Begins a bulk segment addition operation.

This function prepares theBinaryView for bulk addition of both auto and user-defined segments.During the bulk operation, segments can be added usingadd_auto_segment or similar functionswithout immediately triggering the MemoryMap update process. The queued segments will not takeeffect untilend_bulk_add_segments is called.

Return type:

None

begin_undo_actions(anonymous_allowed:bool=True)str[source]

begin_undo_actions starts recording actions taken so they can be undone at some point.

Parameters:

anonymous_allowed (bool) – Legacy interop: prevent empty calls tocommit_undo_actions` fromaffecting this undo state. Specifically forundoable_transaction`

Returns:

Id of undo state, for passing tocommit_undo_actions` orrevert_undo_actions.

Return type:

str

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>state=bv.begin_undo_actions()>>>bv.convert_to_nop(0x100012f1)True>>>bv.commit_undo_actions(state)>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>
bulk_modify_symbols()[source]

bulk_modify_symbols returns a context manager that improves performance when adding orremoving a large number of symbols. Symbols added within the Pythonwith keyword willdefer processing until the end of the block. Many symbol getter APIs will return staleresults inside thewith block, so this function should only be used when symbolqueries are not needed at the same time as the modifications.

can_assemble(arch:Architecture|None=None)bool[source]

can_assemble queries the architecture plugin to determine if the architecture can assemble instructions.

Returns:

True if the architecture can assemble, False otherwise

Return type:

bool

Example:
>>>bv.can_assemble()True>>>
Parameters:

arch (Architecture |None) –

cancel_bulk_add_segments()None[source]

cancel_bulk_add_segments Cancels a bulk segment addition operation.

This function discards all auto and user segments that were queued since the last call tobegin_bulk_add_segments without applying them. It allows you to abandon the changes in casethey are no longer needed.

Note: If no bulk operation is in progress, calling this function has no effect.

Return type:

None

check_for_string_annotation_type(addr:int,allow_short_strings:bool=False,allow_large_strings:bool=False,child_width:int=0)Tuple[str,StringType]|None[source]

Check for string annotation at a given address. This returns the string (and type of the string) as annotated in the UI at a given address. If there’s no annotation, this function returnsNone.

Parameters:
  • addr (int) – address at which to check for string annotation

  • allow_short_strings (bool) – Allow string shorter than theanalysis.limits.minStringLength setting

  • allow_large_strings (bool) – Allow strings longer than therendering.strings.maxAnnotationLength setting (up toanalysis.limits.maxStringLength)

  • child_width (int) – What width of strings to look for, 1 for ASCII/UTF8, 2 for UTF16, 4 for UTF32, 0 to check for all

Return type:

None

clear_user_global_pointer_value()[source]

Clear a previously set user global pointer value, so the auto-analysis can calculate a new value

commit_undo_actions(id:str|None=None)None[source]

commit_undo_actions commits the actions taken since a call tobegin_undo_actionsPass asid the value returned bybegin_undo_actions. Empty values ofid will commit all changes since the last call tobegin_undo_actions.

Parameters:

id (Optional[str]) – id of undo state, frombegin_undo_actions

Return type:

None

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>state=bv.begin_undo_actions()>>>bv.convert_to_nop(0x100012f1)True>>>bv.commit_undo_actions(state)>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>
convert_to_nop(addr:int,arch:Architecture|None=None)bool[source]

convert_to_nop converts the instruction at virtual addressaddr to a nop of the provided architecture.

Note

This API performs a binary patch, analysis may need to be updated afterward. Additionally the binary file must be saved in order to preserve the changes made.

Parameters:
  • addr (int) – virtual address of the instruction to convert to nops

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True on success, False on failure.

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012fb)'call    0x10001629'>>>bv.convert_to_nop(0x100012fb)True>>>#The above 'call' instruction is 5 bytes, a nop in x86 is 1 byte,>>># thus 5 nops are used:>>>bv.get_disassembly(0x100012fb)'nop'>>>bv.get_disassembly(0x100012fb+1)'nop'>>>bv.get_disassembly(0x100012fb+2)'nop'>>>bv.get_disassembly(0x100012fb+3)'nop'>>>bv.get_disassembly(0x100012fb+4)'nop'>>>bv.get_disassembly(0x100012fb+5)'mov     byte [ebp-0x1c], al'
create_component(name:str|None=None,parent:Component|str|None=None)Component[source]

Create a new component with an optional name and parent.

Theparent argument can be either a Component or the Guid of a component to which the created componentwill be added as a child

Parameters:
  • name (str |None) – Optional name to create the component with

  • parent (Component |str |None) – Optional parent to which the component will be added

Returns:

The created component

Return type:

Component

create_database(filename:str,progress_func:Callable[[int,int],bool]|None=None,settings:SaveSettings|None=None)bool[source]

create_database writes the current database (.bndb) out to the specified file.

Warning

This API will only save a database, NOT the original file from a view. To save the original file, usesave. To update a database, usesave_auto_snapshot

Parameters:
  • filename (str) – path and filename to write the bndb to, this stringshould have “.bndb” appended to it.

  • progress_func (callback) – optional function to be called with the current progress and total count.

  • settings (SaveSettings) – optional argument for special save options.

Returns:

True on success, False on failure

Return type:

bool

Warning

The calling thread must not hold a lock on the BinaryView instance as this action is run on the main thread which requires the lock.

Example:
>>>settings=SaveSettings()>>>bv.create_database(f"{bv.file.filename}.bndb",None,settings)True
Parameters:
Return type:

bool

create_logger(logger_name:str)Logger[source]
Parameters:

logger_name (str) –

Return type:

Logger

create_structure_from_offset_access(name:QualifiedName)StructureType[source]
Parameters:

name (QualifiedName) –

Return type:

StructureType

create_structure_member_from_access(name:QualifiedName,offset:int)Type[source]
Parameters:
Return type:

Type

create_tag_type(name:str,icon:str)TagType[source]

create_tag_type creates a newTagType and adds it to the view

Parameters:
  • name (str) – The name for the tag

  • icon (str) – The icon (recommended 1 emoji or 2 chars) for the tag

Returns:

The created tag type

Return type:

TagType

Example:
>>>bv.create_tag_type("Crabby Functions","🦀")>>>
create_user_function(addr:int,plat:Platform|None=None)Function|None[source]

create_user_function add a newuser function of the givenplat at the virtual addressaddr

Parameters:
  • addr (int) – virtual address of theuser function to be added

  • plat (Platform) – Platform for the function to be added

Return type:

None

Example:
>>>bv.create_user_function(1)>>>bv.functions[<func: x86_64@0x1>]
define_auto_symbol(sym:CoreSymbol)None[source]

define_auto_symbol adds a symbol to the internal list of automatically discovered Symbol objects in a givennamespace.

Warning

If multiple symbols for the same address are defined, the symbol with the highest confidence andlowest SymbolType value will be used. Ties are broken by symbol name.

Parameters:

sym (CoreSymbol) – the symbol to define

Return type:

None

define_auto_symbol_and_var_or_function(sym:CoreSymbol,type:Type|None=None,plat:Platform|None=None,type_confidence:int|None=0)CoreSymbol|None[source]

define_auto_symbol_and_var_or_function Defines an “Auto” symbol, and a Variable/Function alongside it.

Warning

If multiple symbols for the same address are defined, the symbol with the highest confidence andlowest SymbolType value will be used. Ties are broken by symbol name.

Parameters:
  • sym (CoreSymbol) – Symbol to define

  • type (Type |None) – Type for the function/variable being defined (can be None)

  • plat (Platform |None) – Platform (optional)

  • type_confidence (int |None) – Optional confidence value for the type

Return type:

Optional[CoreSymbol]

define_data_var(addr:int,var_type:str|Type|TypeBuilder,name:str|CoreSymbol|None=None)None[source]

define_data_var defines a non-user data variablevar_type at the virtual addressaddr.

Parameters:
  • addr (int) – virtual address to define the given data variable

  • var_type (StringOrType) – type to be defined at the given virtual address

  • name (str |CoreSymbol |None) – Optionally additionally define a symbol at this location

  • name

Return type:

None

Example:
>>>t=bv.parse_type_string("int foo")>>>t(<type: int32_t>, 'foo')>>>bv.define_data_var(bv.entry_point,t[0])>>>bv.define_data_var(bv.entry_point+4,"int","foo")>>>bv.get_symbol_at(bv.entry_point+4)<DataSymbol: "foo" @ 0x23950>>>>bv.get_data_var_at(bv.entry_point+4)<var 0x23950: int32_t>
define_imported_function(import_addr_sym:CoreSymbol,func:Function,type:Type|None=None)None[source]

define_imported_function defines an imported Functionfunc with a ImportedFunctionSymbol type.

Parameters:
  • import_addr_sym (CoreSymbol) – A Symbol object with type ImportedFunctionSymbol

  • func (Function) – A Function object to define as an imported function

  • type (Type |None) – Optional type for the function

Return type:

None

define_type(type_id:str,default_name:_types.QualifiedNameType|None,type_obj:str|_types.Type|_types.TypeBuilder)_types.QualifiedName[source]

define_type registers aTypetype_obj of the givenname in the global list of types forthe currentBinaryView. This method should only be used for automatically generated types.

Parameters:
  • type_id (str) – Unique identifier for the automatically generated type

  • default_name (QualifiedName) – Name of the type to be registered

  • type_obj (StringOrType) – Type object to be registered

Returns:

Registered name of the type. May not be the same as the requested name if the user has renamed types.

Return type:

QualifiedName

Example:
>>>type,name=bv.parse_type_string("int foo")>>>registered_name=bv.define_type(Type.generate_auto_type_id("source",name),name,type)>>>bv.get_type_by_name(registered_name)<type: int32_t>>>>registered_name=bv.define_type("mytypeid",None,"int bar")>>>bv.get_type_by_name(registered_name)<type: int32_t>
define_types(types:List[Tuple[str,_types.QualifiedNameType|None,str|_types.Type|_types.TypeBuilder]],progress_func:Callable[[int,int],bool]|None)Mapping[str,_types.QualifiedName][source]

define_types registers multiple types as though callingdefine_type multiple times.The difference with this plural version is that it is optimized for adding many typesat the same time, using knowledge of all types at add-time to improve runtime.There is an optionalprogress_func callback function in case you want updates for a long-running call.

Warning

This method should only be used for automatically generated types, seedefine_user_types for interactive plugin uses.

The return values of this function provide a map of each type id and which name was chosen for that type(which may be different from the requested name).

Parameters:
  • types (List[Tuple[str,_types.QualifiedNameType |None,str |_types.Type |_types.TypeBuilder]]) – List of type ids/names/definitions for the new types. Checkdefine_type for more details.

  • progress – Function to call for progress updates

  • progress_func (Callable[[int,int],bool]|None) –

Returns:

A map of all the chosen names for the defined types with their ids.

Return type:

Mapping[str, _types.QualifiedName]

define_user_data_var(addr:int,var_type:str|Type|TypeBuilder,name:str|CoreSymbol|None=None)DataVariable|None[source]

define_user_data_var defines a user data variablevar_type at the virtual addressaddr.

Parameters:
  • addr (int) – virtual address to define the given data variable

  • var_type (binaryninja.Type) – type to be defined at the given virtual address

  • name (str |CoreSymbol |None) – Optionally, additionally define a symbol at this same address

  • name

Return type:

Optional[DataVariable]

Example:
>>>t=bv.parse_type_string("int foo")>>>t(<type: int32_t>, 'foo')>>>bv.define_user_data_var(bv.entry_point,t[0])<var 0x2394c: int32_t>>>>bv.define_user_data_var(bv.entry_point+4,"int","foo")<var 0x23950: int32_t>>>>bv.get_symbol_at(bv.entry_point+4)<DataSymbol: "foo" @ 0x23950>>>>bv.get_data_var_at(bv.entry_point+4)<var 0x23950: int32_t>
define_user_symbol(sym:CoreSymbol)None[source]

define_user_symbol adds a symbol to the internal list of user added Symbol objects.

Warning

If multiple symbols for the same address are defined, the symbol with the highest confidence andlowest SymbolType value will be used. Ties are broken by symbol name.

Parameters:

sym (Symbol) – the symbol to define

Return type:

None

define_user_type(name:_types.QualifiedNameType|None,type_obj:str|_types.Type|_types.TypeBuilder)None[source]

define_user_type registers aTypetype_obj of the givenname in the global list of usertypes for the currentBinaryView.

Parameters:
  • name (QualifiedName) – Name of the user type to be registered

  • type_obj (StringOrType) – Type object to be registered

Return type:

None

Example:
>>>type,name=bv.parse_type_string("int foo")>>>bv.define_user_type(name,type)>>>bv.get_type_by_name(name)<type: int32_t>>>>bv.define_user_type(None,"int bas")>>>bv.get_type_by_name("bas")<type: int32_t>
define_user_types(types:List[Tuple[_types.QualifiedNameType|None,str|_types.Type|_types.TypeBuilder]],progress_func:Callable[[int,int],bool]|None)[source]

define_user_types registers multiple types as though callingdefine_user_type multiple times.The difference with this plural version is that it is optimized for adding many typesat the same time, using knowledge of all types at add-time to improve runtime.There is an optionalprogress_func callback function in case you want updates for a long-running call.

Parameters:
  • types (List[Tuple[_types.QualifiedNameType |None,str |_types.Type |_types.TypeBuilder]]) – List of type names/definitions for the new types. Checkdefine_user_type for more details.

  • progress – Function to call for progress updates

  • progress_func (Callable[[int,int],bool]|None) –

detach_type_archive(archive:TypeArchive)[source]

Detach from a type archive, breaking all associations to types within the archive

Parameters:

archive (TypeArchive) – Type archive to detach

detach_type_archive_by_id(id:str)[source]

Detach from a type archive, breaking all associations to types within the archive

Parameters:

id (str) – Id of archive to detach

disassembly_text(addr:int,arch:Architecture|None=None)Generator[Tuple[str,int],None,None][source]

disassembly_text helper function for getting disassembly of a given address

Parameters:
  • addr (int) – virtual address of instruction

  • arch (Architecture) – optional Architecture,self.arch is used if this parameter is None

Returns:

a str representation of the instruction at virtual addressaddr or None

Return type:

str orNone

Example:
>>>next(bv.disassembly_text(bv.entry_point))'push    ebp', 1>>>
disassembly_tokens(addr:int,arch:Architecture|None=None)Generator[Tuple[List[InstructionTextToken],int],None,None][source]
Parameters:
Return type:

Generator[Tuple[List[InstructionTextToken],int],None,None]

disassociate_type_archive_type(type:_types.QualifiedNameType)bool[source]

Disassociate an associated type, so that it will no longer receive updates from its connected type archive

Parameters:

type (_types.QualifiedNameType) – Name of type in analysis

Returns:

True if successful

Return type:

bool

disassociate_type_archive_type_by_id(type_id:str)bool[source]

Disassociate an associated type id, so that it will no longer receive updates from its connected type archive

Parameters:

type_id (str) – Id of type in analysis

Returns:

True if successful

Return type:

bool

end_bulk_add_segments()None[source]

end_bulk_add_segments Finalizes and applies all queued segments (auto and user)added during a bulk segment addition operation.

This function commits all segments that were queued since the last call tobegin_bulk_add_segments.The MemoryMap update process is executed at this point, applying all changes in one batch forimproved performance.

Note: This function must be called afterbegin_bulk_add_segments to apply the queued segments.

Return type:

None

eval(expression:str,here:int=0)int[source]

Evaluates a string expression to an integer value. This is a more concise alias for theparse_expression API

Parameters:
  • expression (str) –

  • here (int) –

Return type:

int

export_object_to_library(lib:TypeLibrary,name:str|None,type_obj:str|Type|TypeBuilder)None[source]

Recursively exportstype_obj intolib as an object with aname.

This should be used to store definitions for functions, variables, and other things that are named symbols.For example,MessageBoxA might be the name of a function with the typeint ()(HWND, LPCSTR, LPCSTR, UINT).If you just want to store a type definition, you probably wantexport_type_to_library.

As other referenced types are encountered, they are either copied into the destination type library orelse the type library that provided the referenced type is added as a dependency for the destination library.

Parameters:
Return type:

None

export_type_to_library(lib:TypeLibrary,name:str|None,type_obj:str|Type|TypeBuilder)None[source]

Recursively exportstype_obj intolib as a type with aname.

This should be used to store type definitions with no symbol information. For example,color might be a typeofenum {RED=0, ORANGE=1, YELLOW=2, …} used by this library. If you have a function, variable, or otherobject that is exported, you probably wantexport_object_to_library instead.

As other referenced types are encountered, they are either copied into the destination type library orelse the type library that provided the referenced type is added as a dependency for the destination library.

Parameters:
Return type:

None

staticexternal_namespace()NameSpace[source]

External namespace for the current BinaryView

Return type:

NameSpace

finalize_new_segments()bool[source]

Performs “finalization” on segments added after initial Finalization (performed after an Init() has completed).

Finalizing a segment involves optimizing the relocation info stored in that segment, so if a segment is addedand relocations are defined for that segment by some automated process, this function should be called afterwards.

An example of this can be seen in the KernelCache plugin, inKernelCache::LoadImageWithInstallName.After we load an image, map new segments, and define relocations for all of them, we call this functionto let core know it is now safe to finalize the new segments

Returns:

Whether finalization was successful

Return type:

bool

find_all_constant(start:int,end:int,constant:int,settings:DisassemblySettings|None=None,graph_type:FunctionViewType|FunctionGraphType|str=FunctionGraphType.NormalFunctionGraph,progress_func:Callable[[int,int],bool]|None=None,match_callback:Callable[[int,LinearDisassemblyLine],bool]|None=None)QueueGenerator[source]

find_all_constant searches for the integer constantconstant starting at thevirtual addressstart until the virtual addressend. Once a match is found,thematch_callback is called.

Note

Aconstant is considered used if a line in the linear view expansion of the given function graph type contains a token with a value that matches that constant. This does not search for raw bytes/data in the binary, for that you want to usefind_all_data.

Parameters:
  • start (int) – virtual address to start searching from.

  • end (int) – virtual address to end the search.

  • constant (int) – constant to search for

  • settings (DisassemblySettings) – DisassemblySettings object used to render the text to be searched

  • graph_type (FunctionViewType) – the IL to search within

  • progress_func (callback) – optional function to be called with the current progress and total count. This function should return a boolean value that decides whether the search should continue or stop

  • match_callback (callback) – function that gets called when a match is found. The callback takes two parameters, i.e., the address of the match, and the LinearDisassemblyLine that contains the matching line. If this parameter is None, this function becomes a generator and yields the matching address and the matching LinearDisassemblyLine. This function can return a boolean value that decides whether the search should continue or stop

Rtype QueueGenerator:

A generator object that will yield all the found results

find_all_data(start:int,end:int,data:bytes,flags:FindFlag=FindFlag.FindCaseSensitive,progress_func:Callable[[int,int],bool]|None=None,match_callback:Callable[[int,DataBuffer],bool]|None=None)QueueGenerator[source]

find_all_data searches for the bytesdata starting at the virtual addressstartuntil the virtual addressend. Once a match is found, thematch_callback is called.

Parameters:
  • start (int) – virtual address to start searching from.

  • end (int) – virtual address to end the search.

  • data (bytes) – data to search for

  • flags (FindFlag) –

    (optional) defaults to case-insensitive data search

    FindFlag

    Description

    FindCaseSensitive

    Case-sensitive search

    FindCaseInsensitive

    Case-insensitive search

  • progress_func (callback) – optional function to be called with the current progress and total count. This function should return a boolean value that decides whether the search should continue or stop

  • match_callback (callback) – function that gets called when a match is found. The callback takes two parameters, i.e., the address of the match, and the actual DataBuffer that satisfies the search. If this parameter is None, this function becomes a generator and yields a tuple of the matching address and the matched DataBuffer. This function can return a boolean value that decides whether the search should continue or stop.

  • data

Rtype QueueGenerator:

A generator object that will yield all the found results

find_all_text(start:int,end:int,text:str,settings:DisassemblySettings|None=None,flags=FindFlag.FindCaseSensitive,graph_type:FunctionViewType|FunctionGraphType|str=FunctionGraphType.NormalFunctionGraph,progress_func=None,match_callback=None)QueueGenerator[source]

find_all_text searches for stringtext occurring in the linear view output startingat the virtual addressstart until the virtual addressend. Once a match is found,thematch_callback is called.

Parameters:
  • start (int) – virtual address to start searching from.

  • end (int) – virtual address to end the search.

  • text (str) – text to search for

  • settings (DisassemblySettings) – DisassemblySettings object used to render the text to be searched

  • flags (FindFlag) –

    (optional) bit-flags list of options, defaults to case-insensitive data search

    FindFlag

    Description

    FindCaseSensitive

    Case-sensitive search

    FindCaseInsensitive

    Case-insensitive search

    FindIgnoreWhitespace

    Ignore whitespace characters

  • graph_type (FunctionViewType) – the IL to search within

  • progress_func (callback) – optional function to be called with the current progress and total count. This function should return a boolean value that decides whether the search should continue or stop

  • match_callback (callback) – function that gets called when a match is found. The callback takes three parameters, i.e., the address of the match, and the actual string that satisfies the search, and the LinearDisassemblyLine that contains the matching line. If this parameter is None, this function becomes a generator and yields a tuple of the matching address, the matched string, and the matching LinearDisassemblyLine. This function can return a boolean value that decides whether the search should continue or stop

Rtype QueueGenerator:

A generator object that will yield all the found results

find_next_constant(start:int,constant:int,settings:DisassemblySettings|None=None,graph_type:FunctionViewType|FunctionGraphType|str=FunctionGraphType.NormalFunctionGraph)int|None[source]

find_next_constant searches for integer constantconstant occurring in the linear view output starting at the virtualaddressstart until the end of the BinaryView.

Parameters:
  • start (int) – virtual address to start searching from.

  • constant (int) – constant to search for

  • settings (DisassemblySettings) – disassembly settings

  • graph_type (FunctionViewType) – the IL to search within

Return type:

int |None

find_next_data(start:int,data:bytes,flags:FindFlag=FindFlag.FindCaseSensitive)int|None[source]

find_next_data searches for the bytesdata starting at the virtual addressstart until the end of the BinaryView.

Parameters:
  • start (int) – virtual address to start searching from.

  • data (bytes) – data to search for

  • flags (FindFlag) –

    (optional) defaults to case-insensitive data search

    FindFlag

    Description

    FindCaseSensitive

    Case-sensitive search

    FindCaseInsensitive

    Case-insensitive search

  • data

Return type:

int |None

find_next_text(start:int,text:str,settings:DisassemblySettings|None=None,flags:int=FindFlag.FindCaseSensitive,graph_type:FunctionViewType|FunctionGraphType|str=FunctionGraphType.NormalFunctionGraph)int|None[source]

find_next_text searches for stringtext occurring in the linear view output starting at the virtualaddressstart until the end of the BinaryView.

Parameters:
  • start (int) – virtual address to start searching from.

  • text (str) – text to search for

  • settings (DisassemblySettings) – disassembly settings

  • flags (FindFlag) –

    (optional) bit-flags list of options, defaults to case-insensitive data search

    FindFlag

    Description

    FindCaseSensitive

    Case-sensitive search

    FindCaseInsensitive

    Case-insensitive search

    FindIgnoreWhitespace

    Ignore whitespace characters

  • graph_type (FunctionViewType) – the IL to search within

Return type:

int |None

forget_undo_actions(id:str|None=None)None[source]

forget_undo_actions removes the actions taken since a call tobegin_undo_actionsPass asid the value returned bybegin_undo_actions. Empty values ofid will remove all changes since the last call tobegin_undo_actions.

Parameters:

id (Optional[str]) – id of undo state, frombegin_undo_actions

Return type:

None

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>state=bv.begin_undo_actions()>>>bv.convert_to_nop(0x100012f1)True>>>bv.forget_undo_actions(state)>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'nop'>>>
get_address_for_data_offset(offset:int)int|None[source]

get_address_for_data_offset returns the virtual address that maps to the specific file offset.

Parameters:

offset (int) – file offset

Returns:

the virtual address of the first segment that contains that file location

Return type:

Int

get_address_input(prompt:str,title:str,current_address:int|None=None)int|None[source]

get_address_input Gets a virtual address via a prompt displayed to the user

Parameters:
  • prompt (str) – Prompt for the dialog

  • title (str) – Window title, if used in the UI

  • current_address (int |None) – Optional current address, for relative inputs

Returns:

The value entered by the user, if one was entered

Return type:

int |None

get_all_fields_referenced(name:_types.QualifiedNameType)List[int][source]

get_all_fields_referenced returns a list of offsets in the QualifiedNamespecified by name, which are referenced by code.

Parameters:

name (QualifiedName) – name of type to query for references

Returns:

List of offsets

Return type:

list(integer)

Example:
>>>bv.get_all_fields_referenced('A')[0, 8, 16, 24, 32, 40]>>>
get_all_sizes_referenced(name:_types.QualifiedNameType)Mapping[int,List[int]][source]

get_all_sizes_referenced returns a map from field offset to a list of sizes ofthe accesses to it.

Parameters:

name (QualifiedName) – name of type to query for references

Returns:

A map from field offset to the size of the code accesses to it

Return type:

map

Example:
>>>bv.get_all_sizes_referenced('B'){0: [1, 8], 8: [8], 16: [1, 8]}>>>
get_all_types_referenced(name:_types.QualifiedNameType)Mapping[int,List[_types.Type]][source]

get_all_types_referenced returns a map from field offset to a list of incoming types written to the specified type.

Parameters:

name (QualifiedName) – name of type to query for references

Returns:

A map from field offset to a list of incoming types written to it

Return type:

map

Example:
>>>bv.get_all_types_referenced('B'){0: [<type: char, 0% confidence>], 8: [<type: int64_t, 0% confidence>],16: [<type: char, 0% confidence>, <type: bool>]}>>>
get_ascii_string_at(addr:int,min_length:int=4,max_length:int|None=None,require_cstring:bool=True)StringReference|None[source]

get_ascii_string_at returns an ascii string found ataddr.

Note

This returns an ascii string irrespective of whether the core analysis identified a string at that location. For an alternative API that uses existing identified strings, useget_string_at.

Parameters:
  • addr (int) – virtual address to start the string

  • min_length (int) – minimum length to define a string

  • max_length (int) – max length string to return

  • require_cstring (bool) – only return 0x0-terminated strings

Returns:

the string found ataddr or None if a string does not exist

Return type:

StringReference orNone

Example:
>>>s1=bv.get_ascii_string_at(0x70d0)>>>s1<AsciiString: 0x70d0, len 0xb>>>>s1.value'AWAVAUATUSH'>>>s2=bv.get_ascii_string_at(0x70d1)>>>s2<AsciiString: 0x70d1, len 0xa>>>>s2.value'WAVAUATUSH'
get_associated_type_archive_type_source(archive:TypeArchive,archive_type:_types.QualifiedNameType)_types.QualifiedName|None[source]

Determine the local source type name for a given archive type

Parameters:
  • archive (TypeArchive) – Target type archive

  • archive_type (_types.QualifiedNameType) – Name of target archive type

Returns:

Name of source analysis type, if this type is associated. None otherwise.

Return type:

_types.QualifiedName |None

get_associated_type_archive_type_source_by_id(archive_id:str,archive_type_id:str)str|None[source]

Determine the local source type id for a given archive type

Parameters:
  • archive_id (str) – Id of target type archive

  • archive_type_id (str) – Id of target archive type

Returns:

Id of source analysis type, if this type is associated. None otherwise.

Return type:

str |None

get_associated_type_archive_type_target(name:_types.QualifiedNameType)Tuple[TypeArchive|None,str]|None[source]

Determine the target archive / type id of a given analysis type

Parameters:

name (_types.QualifiedNameType) – Analysis type

Returns:

(archive, archive type id) if the type is associated. None otherwise.

Return type:

Tuple[TypeArchive |None,str] |None

get_associated_type_archive_type_target_by_id(type_id:str)Tuple[str,str]|None[source]

Determine the target archive / type id of a given analysis type

Parameters:

type_id (str) – Analysis type id

Returns:

(archive id, archive type id) if the type is associated. None otherwise.

Return type:

Tuple[str,str] |None

get_associated_types_from_archive(archive:TypeArchive)Mapping[QualifiedName,str][source]

Get a list of all types in the analysis that are associated with a specific type archive

Returns:

Map of all analysis types to their corresponding archive id

Parameters:

archive (TypeArchive) –

Return type:

Mapping[QualifiedName,str]

get_associated_types_from_archive_by_id(archive_id:str)Mapping[str,str][source]

Get a list of all types in the analysis that are associated with a specific type archive:return: Map of all analysis types to their corresponding archive id

Parameters:

archive_id (str) –

Return type:

Mapping[str,str]

get_basic_blocks_at(addr:int)List[BasicBlock][source]

get_basic_blocks_at get a list ofBasicBlock objects which exist at the provided virtual address.

Parameters:

addr (int) – virtual address of BasicBlock desired

Returns:

a list ofBasicBlock objects

Return type:

list(BasicBlock)

get_basic_blocks_starting_at(addr:int)List[BasicBlock][source]

get_basic_blocks_starting_at get a list ofBasicBlock objects which start at the provided virtual address.

Parameters:

addr (int) – virtual address of BasicBlock desired

Returns:

a list ofBasicBlock objects

Return type:

list(BasicBlock)

get_callees(addr:int,func:Function|None=None,arch:Architecture|None=None)List[int][source]

get_callees returns a list of virtual addresses called by the call site in the functionfunc,of the architecturearch, and at the addressaddr. If no function is specified, call sites fromall functions and containing the address will be considered. If no architecture is specified, thearchitecture of the function will be used.

Parameters:
  • addr (int) – virtual address of the call site to query for callees

  • func (Architecture) – (optional) the function that the call site belongs to

  • func – (optional) the architecture of the call site

  • arch (Architecture |None) –

Returns:

list of integers

Return type:

list(integer)

get_callers(addr:int)Generator[ReferenceSource,None,None][source]

get_callers returns a list of ReferenceSource objects (xrefs or cross-references) that call the provided virtual address.In this case, tail calls, jumps, and ordinary calls are considered.

Parameters:

addr (int) – virtual address of callee to query for callers

Returns:

List of References that call the given virtual address

Return type:

list(ReferenceSource)

Example:
>>>bv.get_callers(here)[<ref: x86@0x4165ff>]>>>
get_code_refs(addr:int,length:int|None=None,max_items:int|None=None)Generator[ReferenceSource,None,None][source]

get_code_refs returns a generator ofReferenceSource objects (xrefs or cross-references) that point to the provided virtual address.This function returns both autoanalysis (“auto”) and user-specified (“user”) xrefs.To add a user-specified reference, seeadd_user_code_ref.

The relatedget_data_refs is used to find data references to an address unlike this API which returns references that exist in code.

Note

Note thatget_code_refs returns xrefs to code that references the address being queried.get_data_refs on the other hand returns references that exist in data (pointers in global variables for example). The relatedget_code_refs_from looks for references that are outgoing from the queried address to other locations.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

  • max_items (int) – optional maximum number of references to fetch

Returns:

A generator of References for the given virtual address

Return type:

Generator[ReferenceSource,None,None]

Example:
>>>bv.get_code_refs(here)[<ref: x86@0x4165ff>]>>>
get_code_refs_for_type(name:str,max_items:int|None=None)Generator[ReferenceSource,None,None][source]

get_code_refs_for_type returns a Generator[ReferenceSource] objects (xrefs or cross-references) that reference the provided QualifiedName.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • max_items (int) – optional maximum number of references to fetch

Returns:

List of References for the given type

Return type:

list(ReferenceSource)

Example:
>>>bv.get_code_refs_for_type('A')[<ref: x86@0x4165ff>]>>>
get_code_refs_for_type_field(name:str,offset:int,max_items:int|None=None)Generator[TypeFieldReference,None,None][source]

get_code_refs_for_type returns a Generator[TypeFieldReference] objects (xrefs or cross-references) that reference the provided type field.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field, relative to the type

  • max_items (int) – optional maximum number of references to fetch

Returns:

Generator of References for the given type

Return type:

Generator[TypeFieldReference]

Example:
>>>bv.get_code_refs_for_type_field('A',0x8)[<ref: x86@0x4165ff>]>>>
get_code_refs_for_type_fields_from(addr:int,func:Function|None=None,arch:Architecture|None=None,length:int|None=None)List[TypeReferenceSource][source]

get_code_refs_for_type_fields_from returns a list of type fields referenced by code in the functionfunc,of the architecturearch, and at the addressaddr. If no function is specified, references fromall functions and containing the address will be returned. If no architecture is specified, thearchitecture of the function will be used.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

  • func (Function |None) –

  • arch (Architecture |None) –

Returns:

list of references

Return type:

list(TypeReferenceSource)

get_code_refs_for_type_from(addr:int,func:Function|None=None,arch:Architecture|None=None,length:int|None=None)List[TypeReferenceSource][source]

get_code_refs_for_type_from returns a list of types referenced by code in the functionfunc,of the architecturearch, and at the addressaddr. If no function is specified, references fromall functions and containing the address will be returned. If no architecture is specified, thearchitecture of the function will be used.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

  • func (Function |None) –

  • arch (Architecture |None) –

Returns:

list of references

Return type:

list(TypeReferenceSource)

get_code_refs_from(addr:int,func:Function|None=None,arch:Architecture|None=None,length:int|None=None)List[int][source]

get_code_refs_from returns a list of virtual addresses referenced by code in the functionfunc,of the architecturearch, and at the addressaddr. If no function is specified, references fromall functions and containing the address will be returned. If no architecture is specified, thearchitecture of the function will be used.This function returns both autoanalysis (“auto”) and user-specified (“user”) xrefs.To add a user-specified reference, seeadd_user_code_ref.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

  • arch (Architecture) – optional architecture of query

  • func (Function |None) –

Returns:

list of integers

Return type:

list(integer)

get_comment_at(addr:int)str[source]

get_comment_at returns the address-based comment attached to the given address in this BinaryViewNote that address-based comments are different from function-level comments which are specific to eachFunction.For more information, seeaddress_comments.

Parameters:

addr (int) – virtual address within the current BinaryView to apply the comment to

Return type:

str

get_component(guid:str)Component|None[source]

Lookup a Component by its GUID

Parameters:

guid (str) – GUID of the component to look up

Returns:

The Component with that Guid

Return type:

Component |None

get_component_by_path(path:str)Component|None[source]

Lookup a Component by its pathname

Note:

This is a convenience method, and for performance-sensitive lookups, GetComponentByGuid is very highly recommended.

Parameters:

path (str) –

Return type:

Component |None

Lookups are done based on the .display_name of the Component.

All lookups are absolute from the root component, and are case-sensitive. Pathnames are delimited with “/”

Parameters:

path (str) – Pathname of the desired Component

Returns:

The Component at that pathname

Example:
>>>c=bv.create_component(name="MyComponent")>>>c2=bv.create_component(name="MySubComponent",parent=c)>>>bv.get_component_by_path("/MyComponent/MySubComponent")==c2True>>>c3=bv.create_component(name="MySubComponent",parent=c)>>>c3<Component "MySubComponent (1)" "(20712aff...")>>>>bv.get_component_by_path("/MyComponent/MySubComponent (1)")==c3True
Return type:

Component |None

get_data_offset_for_address(address:int)int|None[source]

get_data_offset_for_address returns the file offset that maps to the given virtual address, if possible.

Ifaddress falls within a bss segment or an external segment, for example, no mapping is possible, andNone will be returned.

Parameters:

address (int) – virtual address

Returns:

the file location that is mapped to the given virtual address, or None if no such mapping is possible

Return type:

Int

get_data_refs(addr:int,length:int|None=None,max_items:int|None=None)Generator[int,None,None][source]

get_data_refs returns a list of virtual addresses of _data_ (not code) which referencesaddr, optionally specifyinga length. Whenlength is setget_data_refs returns the data which references in the rangeaddr-addr``+``length.This function returns both autoanalysis (“auto”) and user-specified (“user”) xrefs. To add a user-specifiedreference, seeadd_user_data_ref.

Warning

If you’re looking at this API, please double check that you don’t mean to useget_code_refs instead.get_code_refs returns references from code to the specified address while this API returns references from data (pointers in global variables for example). Also, note there existsget_data_refs_from.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

  • max_items (int |None) –

Returns:

list of integers

Return type:

list(integer)

Example:
>>>bv.get_data_refs(here)[4203812]>>>
get_data_refs_for_type(name:str,max_items:int|None=None)Generator[int,None,None][source]

get_data_refs_for_type returns a list of virtual addresses of data which references the typename.Note, the returned addresses are the actual start of the queried type. For example, suppose there is a DataVariableat 0x1000 that has type A, and type A contains type B at offset 0x10. Thenget_data_refs_for_type(‘B’) willreturn 0x1010 for it.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • max_items (int) – optional maximum number of references to fetch

Returns:

list of integers

Return type:

list(integer)

Example:
>>>bv.get_data_refs_for_type('A')[4203812]>>>
get_data_refs_for_type_field(name:_types.QualifiedNameType,offset:int,max_items:int|None=None)List[int][source]

get_data_refs_for_type_field returns a list of virtual addresses of data which references the typename.Note, the returned addresses are the actual start of the queried type field. For example, suppose there is aDataVariable at 0x1000 that has type A, and type A contains type B at offset 0x10.Thenget_data_refs_for_type_field(‘B’, 0x8) will return 0x1018 for it.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field, relative to the type

  • max_items (int) – optional maximum number of references to fetch

Returns:

list of integers

Return type:

list(integer)

Example:
>>>bv.get_data_refs_for_type_field('A',0x8)[4203812]>>>
get_data_refs_from(addr:int,length:int|None=None)Generator[int,None,None][source]

get_data_refs_from returns a list of virtual addresses referenced by the addressaddr. Optionally specifyinga length. Whenlength is setget_data_refs_from returns the data referenced in the rangeaddr-addr``+``length.This function returns both autoanalysis (“auto”) and user-specified (“user”) xrefs. To add a user-specifiedreference, seeadd_user_data_ref. Also, note there existsget_data_refs.

Parameters:
  • addr (int) – virtual address to query for references

  • length (int) – optional length of query

Returns:

list of integers

Return type:

list(integer)

Example:
>>>bv.get_data_refs_from(here)[4200327]>>>
get_data_refs_from_for_type_field(name:_types.QualifiedNameType,offset:int,max_items:int|None=None)List[int][source]

get_data_refs_from_for_type_field returns a list of virtual addresses of data which are referenced by the typename.

Only data referenced by structures with the__data_var_refs attribute are included.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field, relative to the type

  • max_items (int) – optional maximum number of references to fetch

Returns:

list of integers

Return type:

list(integer)

Example:
>>>bv.get_data_refs_from_for_type_field('A',0x8)[4203812]>>>
get_data_var_at(addr:int)DataVariable|None[source]

get_data_var_at returns the data type at a given virtual address.

Parameters:

addr (int) – virtual address to get the data type from

Returns:

returns the DataVariable at the given virtual address, None on error

Return type:

DataVariable

Example:
>>>t=bv.parse_type_string("int foo")>>>bv.define_data_var(bv.entry_point,t[0])>>>bv.get_data_var_at(bv.entry_point)<var 0x100001174: int32_t>
get_data_variable_parent_components(data_variable:DataVariable)List[Component][source]
Parameters:

data_variable (DataVariable) –

Return type:

List[Component]

get_derived_string_code_refs(str:DerivedString,max_items:int|None=None)Generator[ReferenceSource,None,None][source]
Parameters:
Return type:

Generator[ReferenceSource,None,None]

get_disassembly(addr:int,arch:Architecture|None=None)str|None[source]

get_disassembly simple helper function for printing disassembly of a given address

Parameters:
  • addr (int) – virtual address of instruction

  • arch (Architecture) – optional Architecture,self.arch is used if this parameter is None

Returns:

a str representation of the instruction at virtual addressaddr or None

Return type:

str orNone

Example:
>>>bv.get_disassembly(bv.entry_point)'push    ebp'>>>

Note

This API is very simplistic and only returns text. Seedisassembly_text andinstructions for more capable APIs.

get_entropy(addr:int,length:int,block_size:int=0)List[float][source]

get_entropy returns the shannon entropy given the startaddr,length in bytes, and optionally inblock_size chunks.

Parameters:
  • addr (int) – virtual address

  • length (int) – total length in bytes

  • block_size (int) – optional block size

Returns:

list of entropy values for each chunk

Return type:

list(float)

get_expression_parser_magic_value(name:str)int|None[source]

Get the value of an expression parser magic value

If the queried magic value exists, the function returns true and the magic value is returned invalue.If the queried magic value does not exist, the function returns None.

Parameters:

name (str) – name for the magic value to query

Returns:

Return type:

int |None

get_external_libraries()List[ExternalLibrary][source]

Get a list of all ExternalLibrary in this BinaryView

Returns:

A list of ExternalLibraries in this BinaryView

Return type:

List[ExternalLibrary]

get_external_library(name:str)ExternalLibrary|None[source]

Get an ExternalLibrary in this BinaryView by name

Parameters:

name (str) – Name of the external library

Returns:

An ExternalLibrary with the given name, or None

Return type:

ExternalLibrary |None

get_external_location(source_symbol:CoreSymbol)ExternalLocation|None[source]

Get the ExternalLocation with the given source symbol in this BinaryView

Parameters:

source_symbol (CoreSymbol) – The source symbol of the ExternalLocation

Returns:

An ExternalLocation with the given source symbol, or None

Return type:

ExternalLocation |None

get_external_locations()List[ExternalLocation][source]

Get a list of ExternalLocations in this BinaryView

Returns:

A list of ExternalLocations in this BinaryView

Return type:

List[ExternalLocation]

get_function_analysis_update_disabled()bool[source]

Returns True when functions are prevented from being marked as updates required, False otherwise.:return:

Return type:

bool

get_function_at(addr:int,plat:Platform|None=None)Function|None[source]

get_function_at gets a Function object for the function that starts at virtual addressaddr:

Parameters:
  • addr (int) – starting virtual address of the desired function

  • plat (Platform) – platform of the desired function

Returns:

returns a Function object or None for the function at the virtual address provided

Return type:

Function

Example:
>>>bv.get_function_at(bv.entry_point)<func: x86_64@0x100001174>>>>
get_function_parent_components(function:Function)List[Component][source]
Parameters:

function (Function) –

Return type:

List[Component]

get_functions_at(addr:int)List[Function][source]

get_functions_at get a list ofFunction objects (one for each valid platform) that start at thegiven virtual address. Binary Ninja does not limit the number of platforms in a given file thus there may bemultiple functions defined from different architectures at the same location. This API allows you to query allof valid platforms.

You may also be interested inget_functions_containing which is useful for requesting all functionthat contain a given address

Parameters:

addr (int) – virtual address of the desired Function object list.

Returns:

a list ofFunction objects defined at the provided virtual address

Return type:

list(Function)

get_functions_by_name(name:str,plat:Platform|None=None,ordered_filter:List[SymbolType]|None=None)List[Function][source]

get_functions_by_name returns a list ofFunction objectsfunction with aSymbol ofname.

Parameters:
  • name (str) – name of the functions

  • plat (Platform) – (optional) platform

  • ordered_filter (list(SymbolType)) – (optional) an ordered filter based on SymbolType

Returns:

returns a list ofFunction objects or an empty list

Return type:

list(Function)

Example:
>>>bv.get_functions_by_name("main")[<func: x86_64@0x1587>]>>>
get_functions_containing(addr:int,plat:Platform|None=None)List[Function][source]

get_functions_containing returns a list ofFunction objects which contain the given address.

Parameters:
  • addr (int) – virtual address to query.

  • plat (Platform |None) –

Return type:

list ofFunction objects

get_incoming_direct_type_references(name:_types.QualifiedNameType)List[_types.QualifiedName][source]
Parameters:

name (_types.QualifiedNameType) –

Return type:

List[_types.QualifiedName]

get_incoming_recursive_type_references(names:_types.QualifiedNameType|List[_types.QualifiedNameType])List[_types.QualifiedName][source]
Parameters:

names (_types.QualifiedNameType |List[_types.QualifiedNameType]) –

Return type:

List[_types.QualifiedName]

get_instruction_length(addr:int,arch:Architecture|None=None)int[source]

get_instruction_length returns the number of bytes in the instruction of Architecturearch at the virtualaddressaddr

Parameters:
  • addr (int) – virtual address of the instruction query

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

Number of bytes in instruction

Return type:

int

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>bv.get_instruction_length(0x100012f1)2L>>>
get_linear_disassembly(settings:DisassemblySettings|None=None)Iterator[LinearDisassemblyLine][source]

get_linear_disassembly gets an iterator for all lines in the linear disassembly of the view for the givendisassembly settings.

Note

  • linear_disassembly doesn’t just return disassembly; it will return a single line from the linear view, and thus will contain both data views, and disassembly.

  • Warning: In order to get deterministic output, the WaitForILDisassemblyOption should be set to True.

Parameters:

settings (DisassemblySettings) – instance specifying the desired output formatting. Defaults to None which will use default settings.

Returns:

An iterator containing formatted disassembly lines.

Return type:

LinearDisassemblyIterator

Example:
>>>settings=DisassemblySettings()>>>lines=bv.get_linear_disassembly(settings)>>>forlineinlines:...print(line)...break...cf fa ed fe 07 00 00 01  ........
get_linear_disassembly_position_at(addr:int,settings:DisassemblySettings|None=None)LinearViewCursor[source]

get_linear_disassembly_position_at instantiates aLinearViewCursor object for use inget_previous_linear_disassembly_lines orget_next_linear_disassembly_lines.

Parameters:
Returns:

An instantiatedLinearViewCursor object for the provided virtual address

Return type:

LinearViewCursor

Example:
>>>settings=DisassemblySettings()>>>pos=bv.get_linear_disassembly_position_at(0x1000149f,settings)>>>lines=bv.get_previous_linear_disassembly_lines(pos)>>>lines[<0x1000149a: pop     esi>, <0x1000149b: pop     ebp>,<0x1000149c: retn    0xc>, <0x1000149f: >]
get_load_settings(type_name:str)Settings|None[source]

get_load_settings retrieve aSettings object which defines the load settings for the givenBinaryViewTypetype_name

Parameters:

type_name (str) – theBinaryViewType name

Returns:

the load settings

Return type:

Settings, orNone

get_load_settings_type_names()List[str][source]

get_load_settings_type_names retrieve a listBinaryViewType names for which load settings exist in thisBinaryView context

Returns:

list ofBinaryViewType names

Return type:

list(str)

get_modification(addr:int,length:int|None=None)List[ModificationStatus][source]

get_modification returns the modified bytes of up tolength bytes from virtual addressaddr, or iflength is None returns the ModificationStatus.

Parameters:
  • addr (int) – virtual address to get modification from

  • length (int) – optional length of modification

Returns:

List of ModificationStatus values for each byte in range

Return type:

List[ModificationStatus]

get_next_basic_block_start_after(addr:int)int[source]
get_next_basic_block_start_after returns the virtual address of the BasicBlock that occurs after the virtual

addressaddr

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the next BasicBlock

Return type:

int

Example:
>>>hex(bv.get_next_basic_block_start_after(bv.entry_point))'0x100014a8L'>>>hex(bv.get_next_basic_block_start_after(0x100014a8))'0x100014adL'>>>
get_next_data_after(addr:int)int[source]

get_next_data_after retrieves the virtual address of the next non-code byte.

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the next data byte which is data, not code

Return type:

int

Example:
>>>hex(bv.get_next_data_after(0x10000000))'0x10000001L'
get_next_data_var_after(addr:int)DataVariable|None[source]

get_next_data_var_after retrieves the nextDataVariable, or None.

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the nextDataVariable

Return type:

DataVariable

Example:
>>>bv.get_next_data_var_after(0x10000000)<var 0x1000003c: int32_t>>>>
get_next_data_var_start_after(addr:int)int[source]

get_next_data_var_start_after retrieves the next virtual address of the nextDataVariable

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the nextDataVariable

Return type:

int

Example:
>>>hex(bv.get_next_data_var_start_after(0x10000000))'0x1000003cL'>>>bv.get_data_var_at(0x1000003c)<var 0x1000003c: int32_t>>>>
get_next_function_start_after(addr:int)int[source]

get_next_function_start_after returns the virtual address of the Function that occurs after the virtual addressaddr

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the next Function

Return type:

int

Example:
>>>bv.get_next_function_start_after(bv.entry_point)268441061L>>>hex(bv.get_next_function_start_after(bv.entry_point))'0x100015e5L'>>>hex(bv.get_next_function_start_after(0x100015e5))'0x10001629L'>>>hex(bv.get_next_function_start_after(0x10001629))'0x1000165eL'>>>
get_next_linear_disassembly_lines(pos:LinearViewCursor)List[LinearDisassemblyLine][source]

get_next_linear_disassembly_lines retrieves a list ofLinearDisassemblyLine objects for thenext disassembly lines, and updates the LinearViewCursor passed in. This function can be calledrepeatedly to get more lines of linear disassembly.

Parameters:

pos (LinearViewCursor) – Position to start retrieving linear disassembly lines from

Returns:

a list ofLinearDisassemblyLine objects for the next lines.

Example:
>>>settings=DisassemblySettings()>>>pos=bv.get_linear_disassembly_position_at(0x10001483,settings)>>>bv.get_next_linear_disassembly_lines(pos)[<0x10001483: xor     eax, eax  {0x0}>, <0x10001485: inc     eax  {0x1}>, ... , <0x10001488: >]>>>bv.get_next_linear_disassembly_lines(pos)[<0x10001488: push    dword [ebp+0x10 {arg_c}]>, ... , <0x1000149a: >]>>>
Return type:

List[LinearDisassemblyLine]

get_next_valid_offset(addr:int)int[source]

get_next_valid_offset returns the next valid offset in the BinaryView starting from the given virtual addressaddr.

Parameters:

addr (int) – a virtual address to start checking from.

Returns:

The minimum of the next valid offset in the BinaryView and the end address of the BinaryView

Return type:

int

get_outgoing_direct_type_references(name:_types.QualifiedNameType)List[_types.QualifiedName][source]
Parameters:

name (_types.QualifiedNameType) –

Return type:

List[_types.QualifiedName]

get_outgoing_recursive_type_references(names:_types.QualifiedNameType|List[_types.QualifiedNameType])List[_types.QualifiedName][source]
Parameters:

names (_types.QualifiedNameType |List[_types.QualifiedNameType]) –

Return type:

List[_types.QualifiedName]

get_previous_basic_block_end_before(addr:int)int[source]

get_previous_basic_block_end_before

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the previous BasicBlock end

Return type:

int

Example:
>>>hex(bv.entry_point)'0x1000149fL'>>>hex(bv.get_next_basic_block_start_after(bv.entry_point))'0x100014a8L'>>>hex(bv.get_previous_basic_block_end_before(0x100014a8))'0x100014a8L'
get_previous_basic_block_start_before(addr:int)int[source]

get_previous_basic_block_start_before returns the virtual address of the BasicBlock that occurs prior to theprovided virtual address

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the previous BasicBlock

Return type:

int

Example:
>>>hex(bv.entry_point)'0x1000149fL'>>>hex(bv.get_next_basic_block_start_after(bv.entry_point))'0x100014a8L'>>>hex(bv.get_previous_basic_block_start_before(0x100014a8))'0x1000149fL'>>>
get_previous_data_before(addr:int)int[source]

get_previous_data_before

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the previous data (non-code) byte

Return type:

int

Example:
>>>hex(bv.get_previous_data_before(0x1000001))'0x1000000L'>>>
get_previous_data_var_before(addr:int)DataVariable|None[source]

get_previous_data_var_before retrieves the previousDataVariable, or None.

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the previousDataVariable

Return type:

DataVariable

Example:
>>>bv.get_previous_data_var_before(0x1000003c)<var 0x10000000: int16_t>>>>
get_previous_data_var_start_before(addr:int)int[source]

get_previous_data_var_start_before

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the previousDataVariable

Return type:

int

Example:
>>>hex(bv.get_previous_data_var_start_before(0x1000003c))'0x10000000L'>>>bv.get_data_var_at(0x10000000)<var 0x10000000: int16_t>>>>
get_previous_function_start_before(addr:int)int[source]

get_previous_function_start_before returns the virtual address of the Function that occurs prior to thevirtual address provided

Parameters:

addr (int) – the virtual address to start looking from.

Returns:

the virtual address of the previous Function

Return type:

int

Example:
>>>hex(bv.entry_point)'0x1000149fL'>>>hex(bv.get_next_function_start_after(bv.entry_point))'0x100015e5L'>>>hex(bv.get_previous_function_start_before(0x100015e5))'0x1000149fL'>>>
get_previous_linear_disassembly_lines(pos:LinearViewCursor)List[LinearDisassemblyLine][source]

get_previous_linear_disassembly_lines retrieves a list ofLinearDisassemblyLine objects for theprevious disassembly lines, and updates the LinearViewCursor passed in. This function can be calledrepeatedly to get more lines of linear disassembly.

Parameters:

pos (LinearViewCursor) – Position to start retrieving linear disassembly lines from

Returns:

a list ofLinearDisassemblyLine objects for the previous lines.

Example:
>>>settings=DisassemblySettings()>>>pos=bv.get_linear_disassembly_position_at(0x1000149a,settings)>>>bv.get_previous_linear_disassembly_lines(pos)[<0x10001488: push    dword [ebp+0x10 {arg_c}]>, ... , <0x1000149a: >]>>>bv.get_previous_linear_disassembly_lines(pos)[<0x10001483: xor     eax, eax  {0x0}>, ... , <0x10001488: >]
Return type:

List[LinearDisassemblyLine]

get_recent_basic_block_at(addr:int)BasicBlock|None[source]
Parameters:

addr (int) –

Return type:

BasicBlock |None

get_recent_function_at(addr:int)Function|None[source]
Parameters:

addr (int) –

Return type:

Function |None

get_section_by_name(name:str)Section|None[source]
Parameters:

name (str) –

Return type:

Section |None

get_sections_at(addr:int)List[Section][source]
Parameters:

addr (int) –

Return type:

List[Section]

get_segment_at(addr:int)Segment|None[source]

get_segment_at gets the Segment a given virtual address is located in

Parameters:

addr (int) – A virtual address

Returns:

The segment, if it was found

Return type:

Segment |None

get_sizes_referenced(name:_types.QualifiedNameType,offset:int)List[int][source]

get_sizes_referenced returns a list of access sizes to the specified type.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field

Returns:

a list of sizes of the accesses to it.

Return type:

list

Example:
>>>bv.get_sizes_referenced('B',16)[1, 8]>>>
get_string_at(addr:int,partial:bool=False)StringReference|None[source]

get_string_at returns the string that falls on given virtual address.

Note

This returns discovered strings and is therefore governed byanalysis.limits.minStringLength and other settings. For an alternative API that simply returns any potential c-string at a given location, useget_ascii_string_at.

Parameters:
  • addr (int) – virtual address to get the string from

  • partial (bool) – whether to return a partial string reference or not

Returns:

returns the StringReference at the given virtual address, otherwise None.

Return type:

StringReference

Example:
>>>bv.get_string_at(0x40302f)<StringType.AsciiString: 0x403028, len 0x12>
get_strings(start:int|None=None,length:int|None=None)List[StringReference][source]

get_strings returns a list of strings defined in the binary in the optional virtual address range:start-(start+length)

Note that this API will only return strings that have been identified by the string-analysis and thus governed by the minimum and maximum length settings and unrelated to the type system.

Parameters:
  • start (int) – optional virtual address to start the string list from, defaults to start of the binary

  • length (int) – optional length range to return strings from, defaults to length of the binary

Returns:

a list of all strings or a list of strings defined betweenstart andstart+length

Return type:

list(StringReference)

Example:
>>>bv.get_strings(0x1000004d,1)[<AsciiString: 0x1000004d, len 0x2c>]>>>
get_symbol_at(addr:int,namespace:_types.NameSpaceType=None)_types.CoreSymbol|None[source]

get_symbol_at returns the Symbol at the provided virtual address.

Parameters:
  • addr (int) – virtual address to query for symbol

  • namespace (_types.NameSpaceType) – (optional) the namespace of the symbols to retrieve

Returns:

CoreSymbol for the given virtual address

Return type:

CoreSymbol

Example:
>>>bv.get_symbol_at(bv.entry_point)<FunctionSymbol: "_start" @ 0x100001174>>>>
get_symbol_by_raw_name(name:str,namespace:_types.NameSpaceType=None)_types.CoreSymbol|None[source]

get_symbol_by_raw_name retrieves a Symbol object for the given raw (mangled) name.

Parameters:
  • name (str) – raw (mangled) name of Symbol to be retrieved

  • namespace (_types.NameSpaceType) – (optional) the namespace to search for the given symbol

Returns:

CoreSymbol object corresponding to the provided raw name

Return type:

CoreSymbol

Example:
>>>bv.get_symbol_by_raw_name('?testf@Foobar@@SA?AW4foo@1@W421@@Z')<FunctionSymbol: "public: static enum Foobar::foo __cdecl Foobar::testf(enum Foobar::foo)" @ 0x10001100>>>>
get_symbols(start:int|None=None,length:int|None=None,namespace:_types.NameSpaceType=None)List[_types.CoreSymbol][source]

get_symbols retrieves the list of all Symbol objects in the optionally provided range.

Parameters:
  • start (int |None) – optional start virtual address

  • length (int |None) – optional length

  • namespace (_types.NameSpaceType) –

Returns:

list of all Symbol objects, or those Symbol objects in the range ofstart-start+length

Return type:

list(Symbol)

Example:
>>>bv.get_symbols(0x1000200c,1)[<ImportAddressSymbol: "KERNEL32!IsProcessorFeaturePresent" @ 0x1000200c>]>>>
get_symbols_by_name(name:str,namespace:_types.NameSpaceType=None,ordered_filter:List[SymbolType]|None=None)List[_types.CoreSymbol][source]

get_symbols_by_name retrieves a list of Symbol objects for the given symbol name and ordered filter

Parameters:
  • name (str) – name of Symbol object to be retrieved

  • namespace (_types.NameSpaceType) – (optional) the namespace to search for the given symbol

  • namespace – (optional) the namespace to search for the given symbol

  • ordered_filter (List[SymbolType]|None) – (optional) an ordered filter based on SymbolType

Returns:

Symbol object corresponding to the provided name

Return type:

Symbol

Example:
>>>bv.get_symbols_by_name('?testf@Foobar@@SA?AW4foo@1@W421@@Z')[<FunctionSymbol: "public: static enum Foobar::foo __cdecl Foobar::testf(enum Foobar::foo)" @ 0x10001100>]>>>
get_symbols_by_raw_name(name:str,namespace:_types.NameSpaceType=None)List[_types.CoreSymbol][source]
Parameters:
  • name (str) –

  • namespace (_types.NameSpaceType) –

Return type:

List[_types.CoreSymbol]

get_symbols_of_type(sym_type:SymbolType,start:int|None=None,length:int|None=None,namespace:_types.NameSpaceType=None)List[_types.CoreSymbol][source]
get_symbols_of_type retrieves a list of allSymbol objects of the provided symbol type in the optionally

provided range.

Parameters:
  • sym_type (SymbolType) – A Symbol type:SymbolType

  • start (int |None) – optional start virtual address

  • length (int |None) – optional length

  • namespace (_types.NameSpaceType) –

Returns:

list of allSymbol objects of typesym_type, or thoseSymbol objects in the range ofstart-start+length

Return type:

list(CoreSymbol)

Example:
>>>bv.get_symbols_of_type(SymbolType.ImportAddressSymbol,0x10002028,1)[<ImportAddressSymbol: "KERNEL32!GetCurrentThreadId" @ 0x10002028>]>>>
get_system_call_name(id:int,platform:Platform|None=None)str|None[source]
Parameters:
Return type:

str |None

get_system_call_type(id:int,platform:Platform|None=None)Type|None[source]
Parameters:
Return type:

Type |None

get_tag_type(name:str)TagType|None[source]

Get a tag type by its name.

Parameters:

name (str) – Name of the tag type

Returns:

The relevant tag type, if it exists

Return type:

TagType

get_tags(auto:bool|None=None)List[Tuple[int,Tag]][source]

tags gets a list of all dataTag objects in the view.Tags are returned as a list of (address,Tag) pairs.

Return type:

list(int,Tag)

Parameters:

auto (bool |None) –

get_tags_at(addr:int,auto:bool|None=None)List[Tag][source]

get_data_tags_at gets a list ofTag objects for a data address.

Parameters:
  • addr (int) – address to get tags at

  • auto (bool) – If None, gets all tags, if True, gets auto tags, if False, gets user tags

Returns:

A list of dataTag objects

Return type:

list(Tag)

get_tags_in_range(address_range:AddressRange,auto:bool|None=None)List[Tuple[int,Tag]][source]

get_data_tags_in_range gets a list of all dataTag objects in a given range.Range is inclusive at the start, exclusive at the end.

Parameters:
  • address_range (AddressRange) – address range from which to get tags

  • auto (bool) – If None, gets all tags, if True, gets auto tags, if False, gets auto tags

Returns:

A list of (address, data tag) tuples

Return type:

list((int,Tag))

get_type_archive(id:str)TypeArchive|None[source]

Look up a connected archive by its id

Parameters:

id (str) – Id of archive

Returns:

Archive, if one exists with that id. Otherwise None

Return type:

TypeArchive |None

get_type_archive_path(id:str)str|None[source]

Look up the path for an attached (but not necessarily connected) type archive by its id

Parameters:

id (str) – Id of archive

Returns:

Archive path, if it is attached. Otherwise None.

Return type:

str |None

get_type_archives_for_type_name(name:_types.QualifiedNameType)List[Tuple[TypeArchive,str]][source]

Get a list of all connected type archives that have a given type name

Returns:

(archive, archive type id) for all archives

Parameters:

name (_types.QualifiedNameType) –

Return type:

List[Tuple[TypeArchive,str]]

get_type_by_id(id:str)Type|None[source]

get_type_by_id returns the defined type whose unique identifier corresponds with the providedid

Parameters:

id (str) – Unique identifier to lookup

Returns:

AType or None if the type does not exist

Return type:

Type orNone

Example:
>>>type,name=bv.parse_type_string("int foo")>>>type_id=Type.generate_auto_type_id("source",name)>>>bv.define_type(type_id,name,type)>>>bv.get_type_by_id(type_id)<type: int32_t>>>>
get_type_by_name(name:_types.QualifiedNameType)_types.Type|None[source]

get_type_by_name returns the defined type whose name corresponds with the providedname

Parameters:

name (QualifiedName) – Type name to lookup

Returns:

AType or None if the type does not exist

Return type:

Type orNone

Example:
>>>type,name=bv.parse_type_string("int foo")>>>bv.define_user_type(name,type)>>>bv.get_type_by_name(name)<type: int32_t>>>>
get_type_id(name:_types.QualifiedNameType)str[source]

get_type_id returns the unique identifier of the defined type whose name corresponds with theprovidedname

Parameters:

name (QualifiedName) – Type name to lookup

Returns:

The unique identifier of the type

Return type:

str

Example:
>>>type,name=bv.parse_type_string("int foo")>>>type_id=Type.generate_auto_type_id("source",name)>>>registered_name=bv.define_type(type_id,name,type)>>>bv.get_type_id(registered_name)==type_idTrue>>>
get_type_library(name:str)TypeLibrary|None[source]

get_type_library returns the TypeLibrary

Parameters:

name (str) – Library name to lookup

Returns:

The Type Library object, if any

Return type:

TypeLibrary orNone

Example:

get_type_name_by_id(id:str)QualifiedName|None[source]

get_type_name_by_id returns the defined type name whose unique identifier corresponds with the providedid

Parameters:

id (str) – Unique identifier to lookup

Returns:

A QualifiedName or None if the type does not exist

Return type:

QualifiedName orNone

Example:
>>>type,name=bv.parse_type_string("int foo")>>>type_id=Type.generate_auto_type_id("source",name)>>>bv.define_type(type_id,name,type)'foo'>>>bv.get_type_name_by_id(type_id)'foo'>>>
get_type_refs_for_type(name:_types.QualifiedNameType,max_items:int|None=None)List[_types.TypeReferenceSource][source]

get_type_refs_for_type returns a list of TypeReferenceSource objects (xrefs or cross-references) that reference the provided QualifiedName.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • max_items (int) – optional maximum number of references to fetch

Returns:

List of references for the given type

Return type:

list(TypeReferenceSource)

Example:
>>>bv.get_type_refs_for_type('A')['<type D, offset 0x8, direct>', '<type C, offset 0x10, indirect>']>>>
get_type_refs_for_type_field(name:_types.QualifiedNameType,offset:int,max_items:int|None=None)List[_types.TypeReferenceSource][source]

get_type_refs_for_type returns a list of TypeReferenceSource objects (xrefs or cross-references) that reference the provided type field.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field, relative to the type

  • max_items (int) – optional maximum number of references to fetch

Returns:

List of references for the given type

Return type:

list(TypeReferenceSource)

Example:
>>>bv.get_type_refs_for_type_field('A',0x8)['<type D, offset 0x8, direct>', '<type C, offset 0x10, indirect>']>>>
get_types_referenced(name:QualifiedName,offset:int)List[Type][source]

get_types_referenced returns a list of types related to the type field access.

Parameters:
  • name (QualifiedName) – name of type to query for references

  • offset (int) – offset of the field

Returns:

a list of types related to the type field access.

Return type:

list

Example:
>>>bv.get_types_referenced('B',0x10)[<type: bool>, <type: char, 0% confidence>]>>>
get_unique_section_names(name_list:List[str])List[str][source]
Parameters:

name_list (List[str]) –

Return type:

List[str]

get_view_of_type(name:str)BinaryView|None[source]

get_view_of_type returns the BinaryView associated with the provided name if it exists.

Parameters:

name (str) – Name of the view to be retrieved

Returns:

BinaryView object associated with the provided name or None on failure

Return type:

BinaryView orNone

has_initial_analysis()bool[source]

has_initial_analysis check for the presence of an initial analysis in this BinaryView.

Returns:

True if the BinaryView has a valid initial analysis, False otherwise

Return type:

bool

hlil_functions(preload_limit:int|None=None,function_generator:Generator[Function,None,None]|None=None)Generator[HighLevelILFunction,None,None][source]

Generates a list of il functions. This method should be used instead of ‘functions’ property ifHLIL is needed and performance is a concern.

Parameters:
Return type:

Generator[HighLevelILFunction,None,None]

import_library_object(name:str,lib:TypeLibrary|None=None)Tuple[TypeLibrary,Type]|None[source]

import_library_object recursively imports an object from the specified type library, or, if no library was explicitly provided, the first type library associated with the currentBinaryView that provides the name requested.

This may have the impact of loading other type libraries as dependencies on other type libraries are lazily resolved when references to types provided by them are first encountered.

Note

If you are implementing a custom BinaryView and use this method to import object types, you should then callrecord_imported_object with the details of where the object is located.

Parameters:
Returns:

the object type, with any interiorNamedTypeReferences renamed as necessary to be appropriate for the current view

Return type:

Type

import_library_type(name:str,lib:TypeLibrary|None=None)Type|None[source]

import_library_type recursively imports a type from the specified type library, or, ifno library was explicitly provided, the first type library associated with the currentBinaryViewthat provides the name requested.

This may have the impact of loading other type libraries as dependencies on other type libraries are lazily resolvedwhen references to types provided by them are first encountered.

Note that the name actually inserted into the view may not match the name as it exists in the type library inthe event of a name conflict. To aid in this, theType object returned is aNamedTypeReference tothe deconflicted name used.

Parameters:
Returns:

aNamedTypeReference to the type, taking into account any renaming performed

Return type:

Type

import_type_by_guid(guid:str|UUID)Type|None[source]

import_type_by_guid recursively imports a type interface given its GUID.

Note

To support this type of lookup a type library must havecontain a metadata key called “type_guids” which is a mapDict[string_guid, string_type_name] orDict[string_guid, Tuple[string_type_name, type_library_name]]

Parameters:

guid (str) – GUID of the COM interface to import

Returns:

the object type, with any interiorNamedTypeReferences renamed as necessary to be appropriate for the current view

Return type:

Type

init()bool[source]
Return type:

bool

insert(addr:int,data:bytes)int[source]

insert inserts the bytes indata to the virtual addressaddr.

Parameters:
  • addr (int) – virtual address to write to.

  • data (bytes) – data to be inserted at addr.

Returns:

number of bytes inserted to virtual addressaddr

Return type:

int

Example:
>>>bv.insert(0,"BBBB")4>>>bv.read(0,8)'BBBBAAAA'
staticinternal_namespace()NameSpace[source]

Internal namespace for the current BinaryView

Return type:

NameSpace

invert_branch(addr:int,arch:Architecture|None=None)bool[source]

invert_branch convert the branch instruction of architecturearch at the virtual addressaddr to theinverse branch.

Note

This API performs a binary patch, analysis may need to be updated afterward. Additionally the binary file must be saved in order to preserve the changes made.

Parameters:
  • addr (int) – virtual address of the instruction to be modified

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True on success, False on failure.

Return type:

bool

Example:
>>>bv.get_disassembly(0x1000130e)'je      0x10001317'>>>bv.invert_branch(0x1000130e)True>>>>>>bv.get_disassembly(0x1000130e)'jne     0x10001317'>>>
is_always_branch_patch_available(addr:int,arch:Architecture|None=None)bool[source]

is_always_branch_patch_available queries the architecture plugin to determine if theinstruction ataddr can be made toalways branch. The actual logic of which is implemented in theperform_is_always_branch_patch_available in the corresponding architecture.

Parameters:
  • addr (int) – the virtual address of the instruction to be patched

  • arch (Architecture) – (optional) the architecture for the current view

Returns:

True if the instruction can be patched, False otherwise

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012ed)'test    eax, eax'>>>bv.is_always_branch_patch_available(0x100012ed)False>>>bv.get_disassembly(0x100012ef)'jg      0x100012f5'>>>bv.is_always_branch_patch_available(0x100012ef)True>>>
is_invert_branch_patch_available(addr:int,arch:Architecture|None=None)bool[source]

is_invert_branch_patch_available queries the architecture plugin to determine if the instruction ataddris a branch that can be inverted. The actual logic of which is implemented in theperform_is_invert_branch_patch_available in the corresponding architecture.

Parameters:
  • addr (int) – the virtual address of the instruction to be patched

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True if the instruction can be patched, False otherwise

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012ed)'test    eax, eax'>>>bv.is_invert_branch_patch_available(0x100012ed)False>>>bv.get_disassembly(0x100012ef)'jg      0x100012f5'>>>bv.is_invert_branch_patch_available(0x100012ef)True>>>
is_never_branch_patch_available(addr:int,arch:Architecture|None=None)bool[source]

is_never_branch_patch_available queries the architecture plugin to determine if the instruction at theinstruction ataddr can be made tonever branch. The actual logic of which is implemented in theperform_is_never_branch_patch_available in the corresponding architecture.

Parameters:
  • addr (int) – the virtual address of the instruction to be patched

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True if the instruction can be patched, False otherwise

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012ed)'test    eax, eax'>>>bv.is_never_branch_patch_available(0x100012ed)False>>>bv.get_disassembly(0x100012ef)'jg      0x100012f5'>>>bv.is_never_branch_patch_available(0x100012ef)True>>>
is_offset_code_semantics(addr:int)bool[source]

is_offset_code_semantics checks if a virtual addressaddr is semantically valid for code.

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid for code semantics, False if the virtual address is invalid or error

Return type:

bool

is_offset_executable(addr:int)bool[source]

is_offset_executable checks if a virtual addressaddr is valid for executing.

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid for executing, False if the virtual address is invalid or error

Return type:

bool

is_offset_extern_semantics(addr:int)bool[source]

is_offset_extern_semantics checks if a virtual addressaddr is semantically valid for external references.

Parameters:

addr (int) – a virtual address to be checked

Returns:

true if the virtual address is valid for external references, false if the virtual address is invalid or error

Return type:

bool

is_offset_readable(addr:int)bool[source]

is_offset_readable checks if a virtual addressaddr is valid for reading.

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid for reading, False if the virtual address is invalid or error

Return type:

bool

is_offset_writable(addr:int)bool[source]

is_offset_writable checks if a virtual addressaddr is valid for writing.

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid for writing, False if the virtual address is invalid or error

Return type:

bool

is_offset_writable_semantics(addr:int)bool[source]

is_offset_writable_semantics checks if a virtual addressaddr is semantically writable. Some sectionsmay have writable permissions for linking purposes but can be treated as read-only for the purposes ofanalysis.

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid for writing, False if the virtual address is invalid or error

Return type:

bool

is_skip_and_return_value_patch_available(addr:int,arch:Architecture|None=None)bool[source]

is_skip_and_return_value_patch_available queries the architecture plugin to determine if theinstruction ataddr is similar to an x86 “call” instruction which can be made to return a value. The actuallogic of which is implemented in theperform_is_skip_and_return_value_patch_available in the correspondingarchitecture.

Parameters:
  • addr (int) – the virtual address of the instruction to be patched

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True if the instruction can be patched, False otherwise

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012f6)'mov     dword [0x10003020], eax'>>>bv.is_skip_and_return_value_patch_available(0x100012f6)False>>>bv.get_disassembly(0x100012fb)'call    0x10001629'>>>bv.is_skip_and_return_value_patch_available(0x100012fb)True>>>
is_skip_and_return_zero_patch_available(addr:int,arch:Architecture|None=None)bool[source]

is_skip_and_return_zero_patch_available queries the architecture plugin to determine if theinstruction ataddr is similar to an x86 “call” instruction which can be made to return zero. The actuallogic of which is implemented in theperform_is_skip_and_return_zero_patch_available in the correspondingarchitecture.

Parameters:
  • addr (int) – the virtual address of the instruction to be patched

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True if the instruction can be patched, False otherwise

Return type:

bool

Example:
>>>bv.get_disassembly(0x100012f6)'mov     dword [0x10003020], eax'>>>bv.is_skip_and_return_zero_patch_available(0x100012f6)False>>>bv.get_disassembly(0x100012fb)'call    0x10001629'>>>bv.is_skip_and_return_zero_patch_available(0x100012fb)True>>>
is_type_auto_defined(name:_types.QualifiedNameType)bool[source]

is_type_auto_defined queries the user type list of name. If name is not in theuser type list then the nameis considered anauto type.

Parameters:

name (QualifiedName) – Name of type to query

Returns:

True if the type is not auser type. False if the type is auser type.

Example:
>>>bv.is_type_auto_defined("foo")True>>>bv.define_user_type("foo",bv.parse_type_string("struct {int x,y;}")[0])>>>bv.is_type_auto_defined("foo")False>>>
Return type:

bool

is_valid_offset(addr:int)bool[source]

is_valid_offset checks if a virtual addressaddr is valid .

Parameters:

addr (int) – a virtual address to be checked

Returns:

True if the virtual address is valid, False if the virtual address is invalid or error

Return type:

bool

staticload(source:str|bytes|bytearray|DataBuffer|PathLike|BinaryView|ProjectFile,update_analysis:bool=True,progress_func:Callable[[int,int],bool]|None=None,options:Mapping[str,Any]={})BinaryView|None[source]

load opens, generates default load options (which are overridable), and returns the first availableBinaryView. If noBinaryViewType is available, then aMappedBinaryViewType is used to load theBinaryView with the specified load options. TheMapped view type attempts to auto-detect the architecture of the file during initialization. If no architecture is detected or specified in the load options, then theMapped view type fails to initialize and returnsNone.

Note

Although general container file support is not complete, support for Universal archives exists. It’s possible to control the architecture preference with the‘files.universal.architecturePreference’ setting. This setting is scoped to SettingsUserScope and can be modified as follows

>>>Settings().set_string_list("files.universal.architecturePreference",["arm64"])

It’s also possible to override the‘files.universal.architecturePreference’ user setting by specifying it directly withload.This specific usage of this setting is experimental and may change in the future

>>>bv=binaryninja.load('/bin/ls',options={'files.universal.architecturePreference':['arm64']})

Warning

The recommended code pattern for opening a BinaryView is to use theload API as a context manager likewithload('/bin/ls')asbv: which will automatically clean up when done with the view. If using this API directly you will need to callbv.file.close() before the BinaryView leaves scope to ensure the reference is properly removed and prevents memory leaks.

Parameters:
Returns:

returns aBinaryView object for the given filename orNone

Return type:

BinaryView orNone

Example:
>>>binaryninja.load('/bin/ls',options={'loader.imageBase':0xfffffff0000,'loader.macho.processFunctionStarts':False})<BinaryView: '/bin/ls', start 0xfffffff0000, len 0xa290>>>>
lookup_imported_object_library(addr:int,platform:Platform|None=None)Tuple[TypeLibrary,QualifiedName]|None[source]

lookup_imported_object_library gives you details of which type library and name was used to determinethe type of a symbol at a given address

Parameters:
  • addr (int) – address of symbol at import site

  • platform (Platform |None) – Platform of symbol at import site

Returns:

A tuple of [TypeLibrary, QualifiedName] with the library and name used, or None if it was not imported

Return type:

Tuple[TypeLibrary,QualifiedName]

lookup_imported_type_library(name:_types.QualifiedNameType)Tuple[TypeLibrary,_types.QualifiedName]|None[source]

lookup_imported_type_library gives you details of from which type library and namea given type in the analysis was imported.

Parameters:

name (_types.QualifiedNameType) – Name of type in analysis

Returns:

A tuple of [TypeLibrary, QualifiedName] with the library and name used, or None if it was not imported

Return type:

Optional[Tuple[TypeLibrary,QualifiedName]]

lookup_imported_type_platform(name:_types.QualifiedNameType)Tuple[_platform.Platform,_types.QualifiedName]|None[source]

lookup_imported_type_platform gives you details of from which platform and namea given type in the analysis was imported.

Parameters:

name (_types.QualifiedNameType) – Name of type in analysis

Returns:

A tuple of [Platform, QualifiedName] with the platform and name used, or None if it was not imported

Return type:

Optional[Tuple[Platform,QualifiedName]]

mlil_functions(preload_limit:int|None=None,function_generator:Generator[Function,None,None]|None=None)Generator[MediumLevelILFunction,None,None][source]

Generates a list of il functions. This method should be used instead of ‘functions’ property ifMLIL is needed and performance is a concern.

Parameters:
Return type:

Generator[MediumLevelILFunction,None,None]

navigate(view_name:str,offset:int)bool[source]

navigate navigates the UI to the specified virtual address in the specified View

The View name is created by combining a View type (e.g. “Graph”) with a BinaryView type (e.g. “Mach-O”),separated by a colon, resulting in something like “Graph:Mach-O”.

Parameters:
  • view_name (str) – view name

  • offset (int) – address to navigate to

Returns:

whether navigation succeeded

Return type:

bool

Example:
>>>bv.navigate(bv.view,bv.start)True>>>bv.file.existing_views['Mach-O', 'Raw']>>>importbinaryninjaui>>>[i.getName()foriinbinaryninjaui.ViewType.getTypes()]['Graph', 'Hex', 'Linear', 'Strings', 'Types', 'Triage', 'Bytes']>>>bv.navigate('Graph:Mach-O',bv.entry_point)True
never_branch(addr:int,arch:Architecture|None=None)bool[source]

never_branch convert the branch instruction of architecturearch at the virtual addressaddr toa fall through.

Note

This API performs a binary patch, analysis may need to be updated afterward. Additionally the binary file must be saved in order to preserve the changes made.

Parameters:
  • addr (int) – virtual address of the instruction to be modified

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True on success, False on failure.

Return type:

bool

Example:
>>>bv.get_disassembly(0x1000130e)'jne     0x10001317'>>>bv.never_branch(0x1000130e)True>>>bv.get_disassembly(0x1000130e)'nop'>>>
staticnew(data:bytes|bytearray|DataBuffer|None=None,file_metadata:FileMetadata|None=None)BinaryView|None[source]

new creates a new, RawBinaryView for the provided data.

Parameters:
Returns:

returns aBinaryView object for the given filename orNone

Return type:

BinaryView orNone

Example:
>>>binaryninja.load('/bin/ls',options={'loader.imageBase':0xfffffff0000,'loader.macho.processFunctionStarts':False})<BinaryView: '/bin/ls', start 0xfffffff0000, len 0xa290>>>>
notify_data_inserted(offset:int,length:int)None[source]
Parameters:
  • offset (int) –

  • length (int) –

Return type:

None

notify_data_removed(offset:int,length:int)None[source]
Parameters:
  • offset (int) –

  • length (int) –

Return type:

None

notify_data_written(offset:int,length:int)None[source]
Parameters:
  • offset (int) –

  • length (int) –

Return type:

None

staticopen(src,file_metadata=None)BinaryView|None[source]
Return type:

BinaryView |None

parse_expression(expression:str,here:int=0)int[source]

Evaluates a string expression to an integer value.

The parser uses the following rules:

  • Symbols are defined by the lexer as[A-Za-z0-9_:<>][A-Za-z0-9_:$\-<>]+ or anything enclosed in either single or double quotes

  • Symbols are everything inbv.symbols, unnamed DataVariables (i.e.data_00005000), unnamed functions (i.e.sub_00005000), or section names (i.e..text)

  • Numbers are defaulted to hexadecimal thus_printf + 10 is equivalent toprintf + 0x10 If decimal numbers required use the decimal prefix.

  • Since numbers and symbols can be ambiguous its recommended that you prefix your numbers with the following:

    • 0x - Hexadecimal

    • 0n - Decimal

    • 0 - Octal

  • In the case of an ambiguous number/symbol (one with no prefix) for instance12345 we will first attemptto look up the string as a symbol, if a symbol is found its address is used, otherwise we attempt to convertit to a hexadecimal number.

  • The following operations are valid:+,-,\*,/,%,(),&,\|,^,~,==,!=,>,<,>=,<=

    • Comparison operators return 1 if the condition is true, 0 otherwise.

  • In addition to the above operators there are dereference operators similar to BNIL style IL:

    • [<expression>] - read thecurrent address size at<expression>

    • [<expression>].b - read the byte at<expression>

    • [<expression>].w - read the word (2 bytes) at<expression>

    • [<expression>].d - read the dword (4 bytes) at<expression>

    • [<expression>].q - read the quadword (8 bytes) at<expression>

  • The$here (or more succinctly:$) keyword can be used in calculations and is defined as thehere parameter, or the currently selected address

  • The$start/$end keyword represents the address of the first/last bytes in the file respectively

  • Arbitrary magic values (name-value-pairs) can be added to the expression parser via theadd_expression_parser_magic_value API. Notably, the debugger adds all register values into theexpression parser so they can be used directly when navigating. The register values can be referenced like$rbp,$x0, etc. For more details, refer to the relateddebugger docs.

Parameters:
  • expression (str) – Arithmetic expression to be evaluated

  • here (int) – (optional) Base address for relative expressions, defaults to zero

Return type:

int

parse_possiblevalueset(value:str,state:RegisterValueType,here:int=0)PossibleValueSet[source]

Evaluates a string representation of a PossibleValueSet into an instance of thePossibleValueSet value.

Note

Values are evaluated based on the rules as specified forparse_expression API. This implies that aConstantValue[0x4000].d can be provided given that 4 bytes can be read at0x4000. All constants are considered to be in hexadecimal form by default.

The parser uses the following rules:
  • ConstantValue -<value>

  • ConstantPointerValue -<value>

  • StackFrameOffset -<value>

  • SignedRangeValue -<value>:<value>:<value>{,<value>:<value>:<value>}* (Multiple ValueRanges can be provided by separating them by commas)

  • UnsignedRangeValue -<value>:<value>:<value>{,<value>:<value>:<value>}* (Multiple ValueRanges can be provided by separating them by commas)

  • InSetOfValues -<value>{,<value>}*

  • NotInSetOfValues -<value>{,<value>}*

Parameters:
  • value (str) – PossibleValueSet value to be parsed

  • state (RegisterValueType) – State for which the value is to be parsed

  • here (int) – (optional) Base address for relative expressions, defaults to zero

Return type:

PossibleValueSet

Example:
>>>psv_c=bv.parse_possiblevalueset("400",RegisterValueType.ConstantValue)>>>psv_c<const 0x400>>>>psv_ur=bv.parse_possiblevalueset("1:10:1",RegisterValueType.UnsignedRangeValue)>>>psv_ur<unsigned ranges: [<range: 0x1 to 0x10>]>>>>psv_is=bv.parse_possiblevalueset("1,2,3",RegisterValueType.InSetOfValues)>>>psv_is<in set([0x1, 0x2, 0x3])>>>>
parse_type_string(text:str,import_dependencies:bool=True)Tuple[Type,QualifiedName][source]

parse_type_string parses string containing C into a single typeType.In contrast to theparse_types_from_source orparse_types_from_source_file,parse_type_stringcan only load a single type, though it can take advantage of existing type information in the binaryview, while those two APIs do not.

Parameters:
  • text (str) – C source code string of type to create

  • import_dependencies (bool) – If Type Library types should be imported during parsing

Returns:

A tuple of aType and type name

Return type:

tuple(Type,QualifiedName)

Example:
>>>bv.parse_type_string("int foo")(<type: int32_t>, 'foo')>>>
parse_types_from_string(text:str,options:List[str]|None=None,include_dirs:List[str]|None=None,import_dependencies:bool=True)BasicTypeParserResult[source]

parse_types_from_string parses string containing C into aBasicTypeParserResult objects. This APIunlike theparse_types_from_source allows the reference of types already definedin the BinaryView.

Parameters:
  • text (str) – C source code string of types, variables, and function types, to create

  • options (List[str]|None) – Optional list of string options to be passed into the type parser

  • include_dirs (List[str]|None) – Optional list of header search directories

  • import_dependencies (bool) – If Type Library types should be imported during parsing

Returns:

BasicTypeParserResult (a SyntaxError is thrown on parse error)

Return type:

BasicTypeParserResult

Example:
>>>bv.parse_types_from_string('int foo;\nint bar(int x);\nstruct bas{int x,y;};\n')({types: {'bas': <type: struct bas>}, variables: {'foo': <type: int32_t>}, functions:{'bar':<type: int32_t(int32_t x)>}}, '')>>>
abstractperform_get_address_size()int[source]
Return type:

int

perform_get_default_endianness()Endianness[source]

perform_get_default_endianness implements a check which returns the Endianness of the BinaryView

Note

This methodmay be implemented for custom BinaryViews that are not LittleEndian.

Warning

This methodmust not be called directly.

Returns:

eitherEndianness.LittleEndian orEndianness.BigEndian

Return type:

Endianness

perform_get_entry_point()int[source]

perform_get_entry_point implements a query for the initial entry point for code execution.

Note

This methodshould be implemented for custom BinaryViews that are executable.

Warning

This methodmust not be called directly.

Returns:

the virtual address of the entry point

Return type:

int

perform_get_length()int[source]

perform_get_length implements a query for the size of the virtual address range used bythe BinaryView.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Returns:

returns the size of the virtual address range used by the BinaryView

Return type:

int

perform_get_modification(addr:int)ModificationStatus[source]

perform_get_modification implements query to the whether the virtual addressaddr is modified.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

addr (int) – a virtual address to be checked

Returns:

one of the following: Original = 0, Changed = 1, Inserted = 2

Return type:

ModificationStatus

perform_get_next_valid_offset(addr:int)int[source]

perform_get_next_valid_offset implements a query for the next valid readable, writable, or executable virtualmemory address.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

addr (int) – a virtual address to start checking from.

Returns:

the next readable, writable, or executable virtual memory address

Return type:

int

perform_get_start()int[source]

perform_get_start implements a query for the first readable, writable, or executable virtual address inthe BinaryView.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Returns:

returns the first virtual address in the BinaryView

Return type:

int

perform_insert(addr:int,data:bytes)int[source]

perform_insert implements a mapping between a virtual address and an absolute file offset, insertingthe bytesdata to rebased addressaddr.

Note

This methodmay be overridden by custom BinaryViews. If not overridden, inserting is disallowed

Warning

This methodmust not be called directly.

Parameters:
  • addr (int) – a virtual address

  • data (bytes) – the data to be inserted

Returns:

length of data inserted, should return 0 on error

Return type:

int

perform_is_executable()bool[source]

perform_is_executable implements a check which returns true if the BinaryView is executable.

Note

This methodmust be implemented for custom BinaryViews that are executable.

Warning

This methodmust not be called directly.

Returns:

true if the current BinaryView is executable, false if it is not executable or on error

Return type:

bool

perform_is_offset_executable(addr:int)bool[source]

perform_is_offset_executable implements a check if a virtual addressaddr is executable.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

addr (int) – a virtual address to be checked

Returns:

true if the virtual address is executable, false if the virtual address is not executable or error

Return type:

bool

perform_is_offset_readable(offset:int)bool[source]

perform_is_offset_readable implements a check if a virtual address is readable.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

offset (int) – a virtual address to be checked

Returns:

true if the virtual address is readable, false if the virtual address is not readable or error

Return type:

bool

perform_is_offset_writable(addr:int)bool[source]

perform_is_offset_writable implements a check if a virtual addressaddr is writable.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

addr (int) – a virtual address to be checked

Returns:

true if the virtual address is writable, false if the virtual address is not writable or error

Return type:

bool

perform_is_relocatable()bool[source]

perform_is_relocatable implements a check which returns true if the BinaryView is relocatable. Defaults to False

Note

This methodmay be implemented for custom BinaryViews that are relocatable.

Warning

This methodmust not be called directly.

Returns:

True if the BinaryView is relocatable, False otherwise

Return type:

boolean

perform_is_valid_offset(addr:int)bool[source]

perform_is_valid_offset implements a check if a virtual addressaddr is valid.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:

addr (int) – a virtual address to be checked

Returns:

true if the virtual address is valid, false if the virtual address is invalid or error

Return type:

bool

perform_read(addr:int,length:int)bytes[source]

perform_read implements a mapping between a virtual address and an absolute file offset, readinglength bytes from the rebased addressaddr.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:
  • addr (int) – a virtual address to attempt to read from

  • length (int) – the number of bytes to be read

Returns:

length bytes read from addr, should return empty string on error

Return type:

bytes

perform_remove(addr:int,length:int)int[source]

perform_remove implements a mapping between a virtual address and an absolute file offset, removinglength bytes from the rebased addressaddr.

Note

This methodmay be overridden by custom BinaryViews. If not overridden, removing data is disallowed

Warning

This methodmust not be called directly.

Parameters:
  • addr (int) – a virtual address

  • length (int) – the number of bytes to be removed

Returns:

length of data removed, should return 0 on error

Return type:

int

perform_save(accessor)bool[source]
Return type:

bool

perform_write(addr:int,data:bytes)int[source]

perform_write implements a mapping between a virtual address and an absolute file offset, writingthe bytesdata to rebased addressaddr.

Note

This methodmay be overridden by custom BinaryViews. Useadd_auto_segment to provide data without overriding this method.

Warning

This methodmust not be called directly.

Parameters:
  • addr (int) – a virtual address

  • data (bytes) – the data to be written

Returns:

length of data written, should return 0 on error

Return type:

int

pull_types_from_archive(archive:TypeArchive,names:List[_types.QualifiedNameType])Mapping[_types.QualifiedName,Tuple[_types.QualifiedName,_types.Type]]|None[source]

Pull types from a type archive, updating them and any dependencies

Parameters:
  • archive (TypeArchive) – Target type archive

  • names (List[_types.QualifiedNameType]) – Names of desired types in type archive

Returns:

{ name: (name, type) } Mapping from archive name to (analysis name, definition), None on error

Return type:

Mapping[_types.QualifiedName,Tuple[_types.QualifiedName, _types.Type]] |None

pull_types_from_archive_by_id(archive_id:str,archive_type_ids:List[str])Mapping[str,str]|None[source]

Pull types from a type archive by id, updating them and any dependencies

Parameters:
  • archive_id (str) – Target type archive id

  • archive_type_ids (List[str]) – Ids of desired types in type archive

Returns:

{ id: id } Mapping from archive type id to analysis type id, None on error

Return type:

Mapping[str,str] |None

push_types_to_archive(archive:TypeArchive,names:List[_types.QualifiedNameType])Mapping[_types.QualifiedName,Tuple[_types.QualifiedName,_types.Type]]|None[source]

Push a collection of types, and all their dependencies, into a type archive

Parameters:
  • archive (TypeArchive) – Target type archive

  • names (List[_types.QualifiedNameType]) – Names of types in analysis

Returns:

{ name: (name, type) } Mapping from analysis name to (archive name, definition), None on error

Return type:

Mapping[_types.QualifiedName,Tuple[_types.QualifiedName, _types.Type]] |None

push_types_to_archive_by_id(archive_id:str,type_ids:List[str])Mapping[str,str]|None[source]

Push a collection of types, and all their dependencies, into a type archive

Parameters:
  • archive_id (str) – Id of target type archive

  • type_ids (List[str]) – Ids of types in analysis

Returns:

True if successful

Return type:

Mapping[str,str] |None

query_metadata(key:str)metadata.MetadataValueType[source]

query_metadata retrieves a metadata associated with the given key stored in the current BinaryView.

Parameters:

key (str) – key to query

Return type:

metadata associated with the key

Example:
>>>bv.store_metadata("integer",1337)>>>bv.query_metadata("integer")1337L>>>bv.store_metadata("list",[1,2,3])>>>bv.query_metadata("list")[1L, 2L, 3L]>>>bv.store_metadata("string","my_data")>>>bv.query_metadata("string")'my_data'
range_contains_relocation(addr:int,size:int)bool[source]

Checks if the specified range overlaps with a relocation

Parameters:
Return type:

bool

read(addr:int,length:int)bytes[source]

read returns the data reads at mostlength bytes from virtual addressaddr.

Parameters:
  • addr (int) – virtual address to read from.

  • length (int) – number of bytes to read.

Returns:

at mostlength bytes from the virtual addressaddr, empty string on error or no data

Return type:

bytes

Example:
>>>#Opening a x86_64 Mach-O binary>>>bv=BinaryView.new("/bin/ls")# note that we are using `new` instead of `load` to get the raw view>>>bv.read(0,4)b'\xcf\xfa\xed\xfe'
read_int(address:int,size:int,sign:bool=True,endian:Endianness|None=None)int[source]
Parameters:
Return type:

int

read_pointer(address:int,size:int|None=None)int[source]
Parameters:
  • address (int) –

  • size (int |None) –

Return type:

int

read_uuid(address:int,ms_format:bool=True)UUID[source]

Reads a UUID from the specified address in the binary view.

Parameters:
  • address (int) – The address to read the UUID from.

  • ms_format (bool) – Whether to return the UUID in Microsoft format (True) or standard format (False).

Returns:

A UUID object

Raises:

ValueError – If 16 bytes couldn’t be read from the specified address.

Return type:

UUID

reader(address:int|None=None)BinaryReader[source]
Parameters:

address (int |None) –

Return type:

BinaryReader

reanalyze()None[source]

reanalyze causes all functions to be reanalyzed. This function does not wait for the analysis to finish.

Return type:

None

rebase(address:int,force:bool|None=False,progress_func:Callable[[int,int],bool]|None=None)BinaryView|None[source]

rebase rebase the existingBinaryView into a newBinaryView at the specified virtual address

Note

This method does not update corresponding UI components. If theBinaryView is associated with UI components then initiate the rebase operation within the UI, e.g. using the command palette orbinaryninjaui.UIContext.activeContext().rebaseCurrentView(). If working with views that are not associated with UI components while the UI is active, then setforce toTrue to enable rebasing.

Parameters:
Returns:

the newBinaryView object orNone on failure

Return type:

BinaryView orNone

Example:
>>>frombinaryninjaimportload>>>bv=load('/bin/ls')>>>print(bv)<BinaryView: '/bin/ls', start 0x100000000, len 0x182f8>>>>newbv=bv.rebase(0x400000)>>>print(newbv)<BinaryView: '/bin/ls', start 0x400000, len 0x182f8>>>>>>># For rebasing the current view in the UI:>>>importbinaryninjaui>>>execute_on_main_thread_and_wait(lambda:binaryninjaui.UIContext.activeContext().rebaseCurrentView(0x800000))
record_imported_object_library(lib:TypeLibrary,name:str,addr:int,platform:Platform|None=None)None[source]

record_imported_object_library should be called by custom py:py:class:BinaryView implementationswhen they have successfully imported an object from a type library (e.g. a symbol’s type).Values recorded with this function will then be queryable vialookup_imported_object_library.

Parameters:
  • lib (TypeLibrary) – Type Library containing the imported type

  • name (str) – Name of the object in the type library

  • addr (int) – address of symbol at import site

  • platform (Platform |None) – Platform of symbol at import site

Return type:

None

redo()None[source]

redo redo the last committed transaction in the undo database.

Return type:

None

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>withbv.undoable_transaction():>>>bv.convert_to_nop(0x100012f1)True>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>bv.redo()>>>bv.get_disassembly(0x100012f1)'nop'>>>
classmethodregister()None[source]
Return type:

None

register_notification(notify:BinaryDataNotification)None[source]

register_notification enables the receipt of callbacks for various analysis events. A fulllist of callbacks is available in theBinaryDataNotification class. If thenotification_barrier is enabled, then it is triggered upon the initial call toregister_notification. Subsequent calls for an already registerednotify instancealso trigger anotification_barrier callback.

Parameters:

notify (BinaryDataNotification) – notify is a subclassed instance ofBinaryDataNotification.

Return type:

None

register_platform_types(platform:Platform)None[source]

register_platform_types ensures that the platform-specific types for aPlatform are availablefor the currentBinaryView. This is automatically performed when adding a new function or settingthe default platform.

Parameters:

platform (Platform) – Platform containing types to be registered

Return type:

None

Example:
>>>platform=Platform["linux-x86"]>>>bv.register_platform_types(platform)>>>
relocation_ranges_at(addr:int)List[Tuple[int,int]][source]

List of relocation range tuples for a given address

Parameters:

addr (int) –

Return type:

List[Tuple[int,int]]

relocation_ranges_in_range(addr:int,size:int)List[Tuple[int,int]][source]

List of relocation range tuples for a given range

Parameters:
Return type:

List[Tuple[int,int]]

relocations_at(addr:int)List[Relocation][source]

List of relocations for a given address

Parameters:

addr (int) –

Return type:

List[Relocation]

remove(addr:int,length:int)int[source]

remove removes at mostlength bytes from virtual addressaddr.

Parameters:
  • addr (int) – virtual address to remove from.

  • length (int) – number of bytes to remove.

Returns:

number of bytes removed from virtual addressaddr

Return type:

int

Example:
>>>bv.read(0,8)'BBBBAAAA'>>>bv.remove(0,4)4>>>bv.read(0,4)'AAAA'
remove_auto_data_tag(addr:int,tag:Tag)[source]

remove_auto_data_tag removes a Tag object at a data address.

Parameters:
  • addr (int) – address at which to remove the tag

  • tag (Tag) – Tag object to be removed

Return type:

None

remove_auto_data_tags_of_type(addr:int,tag_type:str)[source]

remove_auto_data_tags_of_type removes all data tags at the given address of the given type.

Parameters:
  • addr (int) – address at which to add the tags

  • tag_type (str) – Tag type name to match for removing

Return type:

None

remove_auto_section(name:str)None[source]
Parameters:

name (str) –

Return type:

None

remove_auto_segment(start:int,length:int=0)None[source]

remove_auto_segment Removes an automatically generated segment from the current segment mapping. This method removes the most recently added ‘auto’ segment that either matches the specified start address or contains it.

Parameters:
  • start (int) – virtual address of the start of the segment

  • length (int) – length of the segment (unused)

Return type:

None

Warning

This action is not persistent across saving of a BNDB and must be re-applied each time a BNDB is loaded.

remove_component(_component:Component|str)bool[source]

Remove a component from the tree entirely.

Parameters:

_component (Component |str) – Component to remove

Returns:

Whether the removal was successful

Return type:

bool

remove_data_ref(from_addr:int,to_addr:int)None[source]

remove_data_ref removes an auto data cross-reference (xref) from the addressfrom_addr to the addressto_addr.This function will only remove ones generated during autoanalysis.If the reference does not exist, no action is performed.

Parameters:
  • from_addr (int) – the reference’s source virtual address.

  • to_addr (int) – the reference’s destination virtual address.

Return type:

None

Note

It is intended to be used from within workflows or other reoccurring analysis tasks. Removed references will be re-created whenever auto analysis is re-run for the

remove_expression_parser_magic_value(name:str)None[source]

Remove a magic value from the expression parser.

If the magic value gets referenced after removal, an error will occur during the parsing.

Parameters:

name (str) – name for the magic value to remove

Returns:

Return type:

None

remove_expression_parser_magic_values(names:List[str])None[source]

Remove a list of magic value from the expression parser

If any of the magic values gets referenced after removal, an error will occur during the parsing.

Parameters:

names (list(str)) – names for the magic value to remove

Returns:

Return type:

None

remove_external_library(name:str)[source]

Remove an ExternalLibrary from this BinaryView by name.Any associated ExternalLocations will be unassociated from the ExternalLibrary

Parameters:

name (str) – Name of the external library to remove

remove_external_location(source_symbol:CoreSymbol)[source]

Remove the ExternalLocation with the given source symbol from this BinaryView

Parameters:

source_symbol (CoreSymbol) – Source symbol that will be used to determine the ExternalLocation to remove

remove_function(func:Function,update_refs=False)None[source]

remove_function removes the functionfunc from the list of functions

Warning

This method should only be used when the function that is removed is expected to re-appear after any other analysis executes that could re-add it. Most users will want to useremove_user_function in their scripts.

Parameters:
  • func (Function) – a Function object.

  • update_refs (bool) – automatically update other functions that were referenced

Return type:

None

Example:
>>>bv.functions[<func: x86_64@0x1>]>>>bv.remove_function(next(bv.functions))>>>bv.functions[]
remove_metadata(key:str)None[source]

remove_metadata removes the metadata associated with key from the current BinaryView.

Parameters:

key (str) – key associated with metadata to remove from the BinaryView

Return type:

None

Example:
>>>bv.store_metadata("integer",1337)>>>bv.remove_metadata("integer")
remove_tag_type(tag_type:str)[source]

remove_tag_type removes aTagType and all tags that use it

Parameters:

tag_type (str) – The name of the tag type to remove

Return type:

None

remove_user_data_ref(from_addr:int,to_addr:int)None[source]

remove_user_data_ref removes a user-specified data cross-reference (xref) from the addressfrom_addr to the addressto_addr.This function will only remove user-specified references, not ones generated during autoanalysis.If the reference does not exist, no action is performed.

Parameters:
  • from_addr (int) – the reference’s source virtual address.

  • to_addr (int) – the reference’s destination virtual address.

Return type:

None

remove_user_data_tag(addr:int,tag:Tag)[source]

remove_user_data_tag removes aTag object at a data address.Since this removes a user tag, it will be added to the current undo buffer.

Parameters:
  • addr (int) – address at which to remove the tag

  • tag (Tag) –Tag object to be removed

Return type:

None

remove_user_data_tags_of_type(addr:int,tag_type:str)[source]

remove_user_data_tags_of_type removes all data tags at the given address of the given type.Since this removes user tags, it will be added to the current undo buffer.

Parameters:
  • addr (int) – address at which to add the tags

  • tag_type (str) – Tag type name to match for removing

Return type:

None

remove_user_function(func:Function)None[source]

remove_user_function removes the functionfunc from the list of functions as a user action.

Note

This API will prevent the function from being re-created if any analysis later triggers that would re-add it, unlikeremove_function.

Parameters:

func (Function) – a Function object.

Return type:

None

Example:
>>>bv.functions[<func: x86_64@0x1>]>>>bv.remove_user_function(next(bv.functions))>>>bv.functions[]
remove_user_section(name:str)None[source]
Parameters:

name (str) –

Return type:

None

remove_user_segment(start:int,length:int=0)None[source]

remove_user_segment Removes a user-defined segment from the current segment mapping. This method removes the most recently added ‘user’ segment that either matches the specified start address or contains it.

Parameters:
  • start (int) – virtual address of the start of the segment

  • length (int) – length of the segment (unused)

Return type:

None

rename_type(old_name:_types.QualifiedNameType,new_name:_types.QualifiedNameType)None[source]

rename_type renames a type in the global list of types for the currentBinaryView

Parameters:
Return type:

None

Example:
>>>type,name=bv.parse_type_string("int foo")>>>bv.define_user_type(name,type)>>>bv.get_type_by_name("foo")<type: int32_t>>>>bv.rename_type("foo","bar")>>>bv.get_type_by_name("bar")<type: int32_t>>>>
revert_undo_actions(id:str|None=None)None[source]

revert_undo_actions reverts the actions taken since a call tobegin_undo_actionsPass asid the value returned bybegin_undo_actions. Empty values ofid will revert all changes since the last call tobegin_undo_actions.

Parameters:

id (Optional[str]) – id of undo state, frombegin_undo_actions

Return type:

None

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>state=bv.begin_undo_actions()>>>bv.convert_to_nop(0x100012f1)True>>>bv.revert_undo_actions(state)>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>
save(dest:FileAccessor|str)bool[source]

save saves the original binary file to the provided destinationdest along with any modifications.

Warning

This API will only save the original file from a view. To save a database, usecreate_database.

Parameters:

dest (str) – destination path and filename of file to be written

Returns:

True on success, False on failure

Return type:

bool

save_auto_snapshot(progress_func:Callable[[int,int],bool]|None=None,settings:SaveSettings|None=None)bool[source]

save_auto_snapshot saves the current database to the already created file.

Note

create_database should have been called prior to executing this method

Parameters:
  • progress_func (callback) – optional function to be called with the current progress and total count.

  • settings (SaveSettings) – optional argument for special save options.

Returns:

True if it successfully saved the snapshot, False otherwise

Return type:

bool

search(pattern:str,start:int|None=None,end:int|None=None,raw:bool=False,ignore_case:bool=False,overlap:bool=False,align:int=1,limit:int|None=None,progress_callback:Callable[[int,int],bool]|None=None,match_callback:Callable[[int,DataBuffer],bool]|None=None)QueueGenerator[source]

Searches for matches of the specifiedpattern within this BinaryView with an optionally provided address range specified bystart andend.This is the API used by the advanced binary search UI option. The search pattern can be interpreted in various ways:

  • specified as a string of hexadecimal digits where whitespace is ignored, and the ‘?’ character acts as a wildcard

  • a regular expression suitable for working with bytes

  • or if theraw option is enabled, the pattern is interpreted as a raw string, and any special characters are escaped and interpreted literally

Parameters:
  • pattern (str) – The pattern to search for.

  • start (int) – The address to start the search from. (default: None)

  • end (int) – The address to end the search (inclusive). (default: None)

  • raw (bool) – Whether to interpret the pattern as a raw string (default: False).

  • ignore_case (bool) – Whether to perform case-insensitive matching (default: False).

  • overlap (bool) – Whether to allow matches to overlap (default: False).

  • align (int) – The alignment of matches, must be a power of 2 (default: 1).

  • limit (int) – The maximum number of matches to return (default: None).

  • progress_callback (callback) – An optional function to be called with the current progress and total count. This function should return a boolean value that decides whether the search should continue or stop.

  • match_callback (callback) – A function that gets called when a match is found. The callback takes two parameters: the address of the match, and the actual DataBuffer that satisfies the search. This function can return a boolean value that decides whether the search should continue or stop.

Returns:

A generator object that yields the offset and matched DataBuffer for each match found.

Return type:

QueueGenerator

Example:
>>>frombinaryninjaimportload>>>bv=load('/bin/ls')>>>print(bv)<BinaryView: '/bin/ls', start 0x100000000, len 0x182f8>>>>bytes(list(bv.search("50 ?4"))[0][1]).hex()'5004'>>>bytes(list(bv.search("[\x20-\x25][\x60-\x67]"))[0][1]).hex()'2062'
set_analysis_hold(enable:bool)None[source]

set_analysis_hold control the analysis hold for this BinaryView. Enabling analysis hold defers all futureanalysis updates, therefore causingupdate_analysis orupdate_analysis_and_wait to take no action.

Return type:

None

Parameters:

enable (bool) –

set_comment_at(addr:int,comment:str)None[source]

set_comment_at sets a comment for the BinaryView at the address specified

Note that these are different from function-level comments which are specific to eachFunction. For more information, seeaddress_comments.

Parameters:
  • addr (int) – virtual address within the current BinaryView to apply the comment to

  • comment (str) – string comment to apply

Return type:

None

Example:
>>>bv.set_comment_at(here,"hi")
staticset_default_session_data(name:str,value:str)None[source]

set_default_session_data saves a variable to the BinaryView. Session data is ephemeral not saved to a database. Consider usingstore_metadata if permanence is needed.

Parameters:
  • name (str) – name of the variable to be saved

  • value (str) – value of the variable to be saved

Example:
>>>BinaryView.set_default_session_data("variable_name","value")>>>bv.session_data.variable_name'value'
Return type:

None

set_function_analysis_update_disabled(disabled:bool)None[source]

set_function_analysis_update_disabled prevents any function from being marked as updates required, so thatthey would NOT be re-analyzed when the analysis is updated. The main difference between this API andset_analysis_hold is thatset_analysis_hold only temporarily holds the analysis, and the functionsare still arranged to be updated when the hold is turned off. However, withset_function_analysis_update_disabled, functions would not be put into the analysis queue at all.

Use with caution – in most cases, this is NOT what you want, and you should useset_analysis_hold instead.

Parameters:

disabled (bool) –

Returns:

Return type:

None

set_load_settings(type_name:str,settings:Settings|None)None[source]

set_load_settings set aSettings object which defines the load settings for the givenBinaryViewTypetype_name

Parameters:
Return type:

None

set_manual_type_source_override(entries:Mapping[QualifiedName,Tuple[QualifiedName,str]])[source]

This allows for fine-grained control over how types from this BinaryView are exported to a TypeLibrarybyexport_type_to_library andexport_object_to_library. Types identified by the keys of the dictwill NOT be exported to the destination TypeLibrary, but will instead be treated as a type that hadcome from the string component of the value tuple. This results in the destination TypeLibrary gaininga new dependency.

This is useful if a BinaryView was automatically marked up with a lot of debug information but youwant to export only a subset of that information into a new TypeLibrary. By creating a description ofwhich local types correspond to types in other already extant libraries, those types will be avoidedduring the recursive export.

This data is not persisted and does not impact analysis.

For example, if a BinaryView contains the following types:

structRECT{...};// omittedstructContrivedExample{RECTrect;};

Then the following python:

overrides={"RECT":("tagRECT","winX64common")}bv.set_manual_type_source_override(overrides)bv.export_type_to_library(dest_new_typelib,"ContrivedExample",bv.get_type_by_name("ContrivedExample"))

Results in dest_new_typelib only having ContrivedExample added, and “RECT” being inserted as a dependencyto a the type “tagRECT” found in the typelibrary “winX64common”

Parameters:

entries (Mapping[QualifiedName,Tuple[QualifiedName,str]]) –

set_user_global_pointer_value(value:RegisterValue,confidence=255)[source]

Set a user global pointer value. This is useful when the auto analysis fails to find out the value of the globalpointer, or the value is wrong. In this case, we can callset_user_global_pointer_value with aConstantRegisterValue orConstantPointerRegisterValue to provide a user global pointer value to assist theanalysis.

On the other hand, if the auto analysis figures out a global pointer value, but there should not be one, we cancallset_user_global_pointer_value with anUndetermined value to override it.

Whenever a user global pointer value is set/cleared, an analysis update must occur for it to take effect andall functions using the global pointer to be updated.

We can useuser_global_pointer_value_set to query whether a user global pointer value is set, and useclear_user_global_pointer_value to clear a user global pointer value. Note,clear_user_global_pointer_valueis different from callingset_user_global_pointer_value with anUndetermined value. The former clears theuser global pointer value and let the analysis decide the global pointer value, whereas the latte forces theglobal pointer value to become undetermined.

Parameters:
  • value (RegisterValue) – the user global pointer value to be set

  • confidence (int) – the confidence value of the user global pointer value. In most cases this should be set to 255. Setting a value lower than the confidence of the global pointer value from the auto analysis will cause undesired effect.

Returns:

None

Return type:

None

Example:
>>>bv.global_pointer_value<const ptr 0x3fd4>>>>bv.set_user_global_pointer_value(ConstantPointerRegisterValue(0x12345678))>>>bv.global_pointer_value<const ptr 0x12345678>>>>bv.user_global_pointer_value_setTrue>>>bv.clear_user_global_pointer_value()>>>bv.global_pointer_value<const ptr 0x3fd4>>>>bv.set_user_global_pointer_value(Undetermined())>>>bv.global_pointer_value<undetermined>
should_skip_target_analysis(source_location:ArchAndAddr,source_function:Function,end:int,target_location:ArchAndAddr)bool[source]

should_skip_target_analysis checks if target analysis should be skipped.

Note

This method is intended for use by architecture plugins only.

Parameters:
  • source_location (_function.ArchAndAddr) – The source location.

  • source_function (_function.Function) – The source function.

  • end (int) – The end address of the source branch instruction.

  • target_location (_function.ArchAndAddr) – The target location.

Returns:

True if the target analysis should be skipped, False otherwise

Return type:

bool

show_graph_report(title:str,graph:FlowGraph)None[source]

show_graph_report displays aFlowGraph objectgraph in a new tab withtitle.

Parameters:
  • title (Text string title ofthe tab) – Title of the graph

  • graph (FlowGraph object) – The graph you wish to display

Return type:

None

show_html_report(title:str,contents:str,plaintext:str='')None[source]

show_html_report displays the HTML contents in UI applications and plaintext in command-lineapplications. HTML reports support hyperlinking into the BinaryView. Hyperlinks can be specified as follows:binaryninja://?expr=_start Whereexpr= specifies an expression parsable by theparse_expression API.

Note

This API function differently on the command-line vs the UI. In the UI a pop-up is used. On the command-line a simple text prompt is used.

Parameters:
  • contents (str) – HTML contents to display

  • plaintext (str) – Plain text version to display (used on the command-line)

  • title (str) –

Return type:

None

Example:
>>>bv.show_html_report("title","<h1>Contents</h1>","Plain text contents")Plain text contents
show_markdown_report(title:str,contents:str,plaintext:str='')None[source]

show_markdown_report displays the markdown contents in UI applications and plaintext in command-lineapplications. Markdown reports support hyperlinking into the BinaryView. Hyperlinks can be specified as follows:binaryninja://?expr=_start Whereexpr= specifies an expression parsable by theparse_expression API.

Note

This API functions differently on the command-line vs the UI. In the UI a pop-up is used. On the command-line a simple text prompt is used.

Parameters:
  • contents (str) – markdown contents to display

  • plaintext (str) – Plain text version to display (used on the command-line)

  • title (str) –

Return type:

None

Example:
>>>bv.show_markdown_report("title","##Contents","Plain text contents")Plain text contents
show_plain_text_report(title:str,contents:str)None[source]
Parameters:
  • title (str) –

  • contents (str) –

Return type:

None

skip_and_return_value(addr:int,value:int,arch:Architecture|None=None)bool[source]

skip_and_return_value convert thecall instruction of architecturearch at the virtual addressaddr to the equivalent of returning a value.

Parameters:
  • addr (int) – virtual address of the instruction to be modified

  • value (int) – value to make the instructionreturn

  • arch (Architecture) – (optional) the architecture of the instructions if different from the default

Returns:

True on success, False on failure.

Return type:

bool

Example:
>>>bv.get_disassembly(0x1000132a)'call    0x1000134a'>>>bv.skip_and_return_value(0x1000132a,42)True>>>#The return value from x86 functions is stored in eax thus:>>>bv.get_disassembly(0x1000132a)'mov     eax, 0x2a'>>>
store_metadata(key:str,md:Metadata|int|bool|str|bytes|float|List[MetadataValueType]|Tuple[MetadataValueType]|dict,isAuto:bool=False)None[source]

store_metadata stores an object for the given key in the current BinaryView. Objects stored usingstore_metadata can be retrieved when the database is reopened. Objects stored are not arbitrary pythonobjects! The values stored must be able to be held in a Metadata object. SeeMetadatafor more information. Python objects could obviously be serialized using pickle but this intentionallya task left to the user since there is the potential security issues.

Parameters:
  • key (str) – key value to associate the Metadata object with

  • md (Varies) – object to store.

  • isAuto (bool) – whether the metadata is an auto metadata. Most metadata should keep this as False. Only those automatically generated metadata should have this set to True. Auto metadata is not saved into the database and is presumably re-generated when re-opening the database.

Return type:

None

Example:
>>>bv.store_metadata("integer",1337)>>>bv.query_metadata("integer")1337L>>>bv.store_metadata("list",[1,2,3])>>>bv.query_metadata("list")[1L, 2L, 3L]>>>bv.store_metadata("string","my_data")>>>bv.query_metadata("string")'my_data'
stringify_unicode_data(arch:Architecture|None,buffer:DataBuffer,null_terminates:bool=True,allow_short_strings:bool=False)Tuple[str|None,StringType|None][source]

stringify_unicode_data converts a buffer of unicode data into a string representation.:param arch: The architecture to use for stringification, or None to use the current architecture of the BinaryView:param buffer: The DataBuffer containing the unicode data to stringify:param null_terminates: If True, stops stringification at the first null character, otherwise continues until the end of the buffer:param allow_short_strings: If True, allows short strings to be returned, otherwise only long strings are returned:return: A tuple containing the string representation and its type, or (None, None) if the stringification fails:rtype: Tuple[Optional[str], Optional[StringType]]

Parameters:
Return type:

Tuple[str |None,StringType |None]

tags_by_type(tag_type:TagType)List[Tuple[int,Tag]][source]

tags_by_type fetches tags of a specific type.

Parameters:

tag_type (TagType) – The type of tags to fetch.

Return type:

List[Tuple[int,Tag]]

tags_for_data_by_type(tag_type:TagType)List[Tuple[int,Tag]][source]

tags_for_data_by_type fetches data-specific tags of a specific type.

Parameters:

tag_type (TagType) – The type of tags to filter by.

Return type:

list(int,Tag)

tags_for_data_with_source(auto:bool=True)List[Tuple[int,Tag]][source]

tags_for_data_with_source fetches data-specific tags filtered by source.

Parameters:

auto (bool) – If True, fetch auto tags. If False, fetch user tags.

Return type:

list(int,Tag)

typed_data_accessor(address:int,type:Type)TypedDataAccessor[source]
Parameters:
Return type:

TypedDataAccessor

undefine_auto_symbol(sym:CoreSymbol)None[source]

undefine_auto_symbol removes a symbol from the internal list of automatically discovered Symbol objects.

Parameters:

sym (Symbol) – the symbol to undefine

Return type:

None

undefine_data_var(addr:int,blacklist:bool=True)None[source]

undefine_data_var removes the non-user data variable at the virtual addressaddr.

Parameters:
  • addr (int) – virtual address to define the data variable to be removed

  • blacklist (bool) – whether to add the address to the data variable black list so that the auto analysiswould not recreat the variable on re-analysis

Return type:

None

Example:
>>>bv.undefine_data_var(bv.entry_point)>>>
undefine_type(type_id:str)None[source]

undefine_type removes aType from the global list of types for the currentBinaryView

Parameters:

type_id (str) – Unique identifier of type to be undefined

Return type:

None

Example:
>>>type,name=bv.parse_type_string("int foo")>>>type_id=Type.generate_auto_type_id("source",name)>>>bv.define_type(type_id,name,type)>>>bv.get_type_by_name(name)<type: int32_t>>>>bv.undefine_type(type_id)>>>bv.get_type_by_name(name)>>>
undefine_user_data_var(addr:int)None[source]

undefine_user_data_var removes the user data variable at the virtual addressaddr.

Parameters:

addr (int) – virtual address to define the data variable to be removed

Return type:

None

Example:
>>>bv.undefine_user_data_var(bv.entry_point)>>>
undefine_user_symbol(sym:CoreSymbol)None[source]

undefine_user_symbol removes a symbol from the internal list of user added Symbol objects.

Parameters:

sym (CoreSymbol) – the symbol to undefine

Return type:

None

undefine_user_type(name:_types.QualifiedNameType)None[source]

undefine_user_type removes aType from the global list of user types for the currentBinaryView

Parameters:

name (QualifiedName) – Name of user type to be undefined

Return type:

None

Example:
>>>type,name=bv.parse_type_string("int foo")>>>bv.define_user_type(name,type)>>>bv.get_type_by_name(name)<type: int32_t>>>>bv.undefine_user_type(name)>>>bv.get_type_by_name(name)>>>
undo()None[source]

undo undo the last committed transaction in the undo database.

Return type:

None

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>withbv.undoable_transaction():>>>bv.convert_to_nop(0x100012f1)True>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>>bv.redo()>>>bv.get_disassembly(0x100012f1)'nop'>>>
undoable_transaction()Generator[source]

undoable_transaction gives you a context in which you can make changes to analysis,and creates an Undo state containing those actions. If an exception is thrown, anychanges made to the analysis inside the transaction are reverted.

Returns:

Transaction context manager, which will commit/revert actions depending on if an exceptionis thrown when it goes out of scope.

Return type:

Generator

Example:
>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>># Actions inside the transaction will be committed to the undo state upon exit>>>withbv.undoable_transaction():>>>bv.convert_to_nop(0x100012f1)True>>>bv.get_disassembly(0x100012f1)'nop'>>>bv.undo()>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'>>># A thrown exception inside the transaction will undo all changes made inside it>>>withbv.undoable_transaction():>>>bv.convert_to_nop(0x100012f1)# Reverted on thrown exception>>>raiseRuntimeError("oh no")RuntimeError: oh no>>>bv.get_disassembly(0x100012f1)'xor     eax, eax'
unregister_notification(notify:BinaryDataNotification)None[source]

unregister_notification unregisters theBinaryDataNotification object passed toregister_notification

Parameters:

notify (BinaryDataNotification) – notify is a subclassed instance ofBinaryDataNotification.

Return type:

None

update_analysis()None[source]

update_analysis asynchronously starts the analysis process and returns immediately.

Usage:Callupdate_analysis after making changes that could affect the analysis results, such as adding or modifyingfunctions. This ensures that the analysis is updated to reflect the latest changes. The analysis runs in the background,allowing other operations to continue.

Return type:

None

update_analysis_and_wait()None[source]

update_analysis_and_wait starts the analysis process and blocks until it is complete. This method should beused when it is necessary to ensure that analysis results are fully updated before proceeding with further operations.If an update is already in progress, this method chains a new update request to ensure that the update processesall pending changes before the call was made.

Usage:Callupdate_analysis_and_wait after making changes that could affect the analysis results, such as adding or modifyingfunctions, to ensure that the analysis reflects the latest changes. Unlikeupdate_analysis, this method waits for theanalysis to finish before returning.

Thread Restrictions:

  • Worker Threads: This function cannot be called from a worker thread. If called from a worker thread, an error will belogged, and the function will return immediately.

  • UI Threads: This function cannot be called from a UI thread. If called from a UI thread, an error will be logged, andthe function will return immediately.

Return type:

None

write(addr:int,data:bytes,except_on_relocation:bool=True)int[source]

write writes the bytes indata to the virtual addressaddr.

Parameters:
  • addr (int) – virtual address to write to.

  • data (bytes) – data to be written at addr.

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

number of bytes written to virtual addressaddr

Return type:

int

Example:
>>>bv.read(0,4)b'BBBB'>>>bv.write(0,b"AAAA")4>>>bv.read(0,4)b'AAAA'
writer(address:int|None=None)BinaryWriter[source]
Parameters:

address (int |None) –

Return type:

BinaryWriter

propertyaddress_comments:Mapping[int,str]

Returns a read-only dict of the address comments attached to this BinaryView

Note that these are different from function-level comments which are specific to eachFunction.For annotating code, it is recommended to use comments attached to functions rather than addresscomments attached to the BinaryView. On the other hand, BinaryView comments can be attached to datawhereas function comments cannot.

To create a function-level comment, useset_comment_at.

propertyaddress_size:int

Address size of the binary (read-only)

propertyallocated_ranges:List[AddressRange]

List of valid address ranges for this view (read-only) Deprecated: 4.1.5902 Use mapped_address_ranges instead.

propertyanalysis_changed:bool

boolean analysis state changed of the currently running analysis (read-only)

propertyanalysis_info:AnalysisInfo

Provides instantaneous analysis state information and a list of current functions under analysis (read-only).All times are given in units of milliseconds (ms). Per-functionanalysis_time is the aggregation of time spentperforming incremental updates and is reset on a full function update. Per-functionupdate_count tracks thecurrent number of incremental updates and is reset on a full function update. Per-functionsubmit_count tracks thecurrent number of full updates that have completed.

Note

submit_count is currently not reset across analysis updates.

propertyanalysis_is_aborted:bool

analysis_is_aborted checks if the analysis has been aborted.

Note

This property is intended for use by architecture plugins only.

Returns:

True if the analysis has been aborted, False otherwise

Return type:

bool

propertyanalysis_progress:AnalysisProgress

Status of current analysis (read-only)

propertyanalysis_state:AnalysisState

State of current analysis (read-only)

propertyarch:Architecture|None

The architecture associated with the currentBinaryView (read/write)

propertyassociated_type_archive_type_ids:Mapping[str,Tuple[str,str]]

Get a list of all types in the analysis that are associated with type archives

Returns:

Map of all analysis types to their corresponding archive / id

propertyassociated_type_archive_types:Mapping[QualifiedName,Tuple[TypeArchive|None,str]]

Get a list of all types in the analysis that are associated with attached type archives

Returns:

Map of all analysis types to their corresponding archive / id. If a type is associated with a disconnected type archive, the archive will be None.

propertyattached_type_archives:Mapping[str,str]

All attached type archive ids and paths (read-only)

propertyauto_metadata:Dict[str,metadata.MetadataValueType]

metadata retrieves the metadata associated with the current BinaryView.

Return type:

metadata associated with the BinaryView

Example:
>>>bv.metadata<metadata: {}>
propertyauto_type_container:TypeContainer

Type Container for ONLY auto types in the BinaryView. Any changes to types willNOT promote auto types to user types.:return: Auto types only Type Container

propertyavailable_view_types:List[BinaryViewType]

Available view types (read-only)

propertybacked_address_ranges:List[AddressRange]

List of backed address ranges for this view (read-only)

propertybasic_blocks:Generator[BasicBlock,None,None]

A generator of all BasicBlock objects in the BinaryView

propertyconnected_type_archives:List[TypeArchive]

All connected type archive objects (read-only)

propertydata_vars:Mapping[int,DataVariable]

List of data variables (read-only)

propertydebug_info:DebugInfo

The current debug info object for this binary view

propertydependency_sorted_types:TypeMapping

List of all types, sorted such that types are after all types on which they depend (read-only)

Order is guaranteed for any collection of types with no cycles. If you have cycles in type dependencies, order for types in a cycle is not guaranteed.

Note

Dependency order is based on named type references for all non-structure types, i.e.structFoom_foo will induce a dependency, whereasstructFoo*m_pFoo will not.

Returns:

sorted types as defined above

propertyderived_strings:List[DerivedString]
propertyend:int

End offset of the binary (read-only)

propertyendianness:Endianness

Endianness of the binary (read-only)

propertyentry_function:Function|None

Entry function (read-only)

propertyentry_functions:FunctionList

A List of entry functions (read-only)This list contains vanilla entry function, and functions like init_array, fini_array, and TLS callbacks etc.User-added entry functions(viaadd_entry_point) are also included.

We seeentry_functions as good starting points for analysis, these functions normally don’t have internal references.However, note that exported functions in a dll/so file are not included.

Note the difference withentry_function

Example:
>>>bv.entry_function<func: x86@0x4014c8>>>>bv.entry_functions[<func: x86@0x4014c8>, <func: x86@0x401618>]
Returns:

a list of functions, containing the vanilla entry and other platform-specific entry functions

Return type:

list(Function)

propertyentry_point:int

Entry point of the binary (read-only)

propertyexecutable:bool

Whether the binary is an executable (read-only)

propertyfile:FileMetadata

FileMetadata backing the BinaryView

propertyfunctions:FunctionList

returns a FunctionList object (read-only)

propertyglobal_pointer_value:RegisterValue

Discovered value of the global pointer register, if the binary uses one (read-only)

propertyhas_data_variables:bool

Boolean whether the binary has data variables (read-only)

propertyhas_database:bool

boolean has a database been written to disk (read-only)

propertyhas_functions:bool

Boolean whether the binary has functions (read-only)

propertyhas_symbols:bool

Boolean whether the binary has symbols (read-only)

propertyhlil_basic_blocks:Generator[HighLevelILBasicBlock,None,None]

A generator of all HighLevelILBasicBlock objects in the BinaryView

propertyhlil_instructions:highlevelil.HLILInstructionsType

A generator of hlil instructions

propertyimage_base:int

Image base of the binary

propertyinstructions:Generator[Tuple[List[InstructionTextToken],int],None,None]

A generator of instruction tokens and their start addresses

propertylength
propertylibraries:List[str]
propertylinear_disassembly:Iterator[LinearDisassemblyLine]

Iterator for all lines in the linear disassembly of the view

propertyllil_basic_blocks:Generator[LowLevelILBasicBlock,None,None]

A generator of all LowLevelILBasicBlock objects in the BinaryView

propertyllil_instructions:lowlevelil.LLILInstructionsType

A generator of llil instructions

long_name:str|None=None
propertymapped_address_ranges:List[AddressRange]

List of mapped address ranges for this view (read-only)

propertymax_function_size_for_analysis:int

Maximum size of function (sum of basic block sizes in bytes) for auto analysis

propertymemory_map

memory_map returns the MemoryMap object for the current BinaryView. TheMemoryMap object is a proxy objectthat provides a high-level view of the memory map, allowing you to query and manipulate memory regions. This proxyensures that the memory map always reflects the latest state of the coreMemoryMap object in the underlyingBinaryView.

propertymetadata:Dict[str,metadata.MetadataValueType]

metadata retrieves the metadata associated with the current BinaryView.

Return type:

metadata associated with the BinaryView

Example:
>>>bv.metadata<metadata: {}>
propertymlil_basic_blocks:Generator[MediumLevelILBasicBlock,None,None]

A generator of all MediumLevelILBasicBlock objects in the BinaryView

propertymlil_instructions:Generator[MediumLevelILInstruction,None,None]

A generator of mlil instructions

propertymodified:bool

boolean modification state of the BinaryView (read/write)

name:str|None=None
propertynamespaces:List[NameSpace]

Returns a list of namespaces for the current BinaryView

propertynew_auto_function_analysis_suppressed:bool

Whether or not automatically discovered functions will be analyzed

propertyoffset:int
propertyoriginal_base:int

Original image base of the binary. Deprecated: 4.1.5902 Useoriginal_image_base instead.

propertyoriginal_image_base:int

Original image base of the binary

propertyparameters_for_analysis
propertyparent_view:BinaryView|None

View that contains the raw data used by this view (read-only)

propertyparse_only:bool
propertyplatform:Platform|None

The platform associated with the current BinaryView (read/write)

propertypreload_limit:int
propertyproject:Project|None
propertyproject_file:ProjectFile|None
registered_view_type=None
propertyrelocatable:bool

Boolean - is the binary relocatable (read-only)

propertyrelocation_ranges:List[Tuple[int,int]]

List of relocation range tuples (read-only)

propertyroot_component:Component

The root component for the BinaryView (read-only)

This Component cannot be removed, and houses all unparented Components.

Returns:

The root component

propertysaved:bool

boolean state of whether or not the file has been saved (read/write)

propertysections:Mapping[str,Section]

Dictionary of sections (read-only)

propertysegments:List[Segment]

List of resolved segments (read-only)

propertysession_data

Dictionary object where plugins can store arbitrary data associated with the view. This data is ephemeral and not saved to a database. Consider usingstore_metadata if permanence is needed.

propertystart:int

Start offset of the binary (read-only)

propertystrings:List[StringReference]

List of strings (read-only)

propertysymbols:SymbolMapping

Dict of symbols (read-only)Items in the dict are lists of all symbols matching that name.

Example:
>>>bv.symbols['_main'][<FunctionSymbol: "_main" @ 0x1dd0>]>>>list(bv.symbols)['_start', '_main', '_printf', '_scanf', ...]>>>bv.symbols['foo']KeyError: "'foo': symbol not found"
Returns:

a dict-like generator of symbol names and values

Return type:

Generator[str,None,None]

propertytag_types:Mapping[str,TagType|List[TagType]]

tag_types gets a dictionary of all Tag Types present for the view,structured as {Tag Type Name => Tag Type}.

Warning

This method inconsistently returns a list ofTagType objects or a singleTagType this behavior will change in future revisions

Return type:

dict of (str,TagType)

propertytags:List[Tuple[int,Tag]]

tags gets a list of all dataTag objects in the view.Tags are returned as a list of (address,Tag) pairs.

Return type:

list(int,Tag)

propertytags_all_scopes:List[Tuple[int,Tag]]

tags_all_scopes fetches all tags in all scopes.

propertytags_for_address:List[Tuple[int,Tag]]

tags_for_address fetches all address-specific tags.

propertytags_for_data:List[Tuple[int,Tag]]

tags_for_data fetches all data-specific tags.

propertytags_for_function:List[Tuple[int,Tag]]

tags_for_function fetches all function-specific tags.

propertytype_archive_type_names:Mapping[QualifiedName,List[Tuple[TypeArchive,str]]]

Get a list of all available type names in all connected archives, and their archive/type id pair

Returns:

name <-> [(archive, archive type id)] for all type names

propertytype_container:TypeContainer

Type Container for all types (user and auto) in the BinaryView. Any auto typesmodified through the Type Container will be converted into user types.:return: Full view Type Container

propertytype_libraries:List[TypeLibrary]

List of imported type libraries (read-only)

propertytype_names:List[QualifiedName]

List of defined type names (read-only)

Note

Sort order is not guaranteed in 5.2 and later.

propertytypes:TypeMapping
propertyuser_global_pointer_value_set:bool

Check whether a user global pointer value has been set

propertyuser_type_container:TypeContainer

Type Container for ONLY user types in the BinaryView.:return: User types only Type Container

propertyview:str
propertyview_type:str

View type (read-only)

propertyworkflow:Workflow|None

BinaryViewEvent

classBinaryViewEvent[source]

Bases:object

TheBinaryViewEvent object provides a mechanism for receiving callbacks when a BinaryViewis Finalized or the initial analysis is finished. The BinaryView finalized callbacks run before theinitial analysis starts. The callbacks run one-after-another in the same order as they get registered.It is a good place to modify the BinaryView to add extra information to it.

For newly opened binaries, the initial analysis completion callbacks run after the initial analysis,as well as linear sweep and signature matcher (if they are configured to run), completed. For loadingold databases, the callbacks run after the database is loaded, as well as any automatic analysisupdate finishes.

The callback function receives a BinaryView as its parameter. It is possible to callBinaryView.add_analysis_completion_event() on it to set up other callbacks for analysis completion.

Example:
>>>defcallback(bv):...print('start: 0x%x'%bv.start)...>>>BinaryViewType.add_binaryview_finalized_event(callback)
classmethodregister(event_type:BinaryViewEventType,callback:Callable[[BinaryView],None])None[source]
Parameters:
Return type:

None

BinaryViewEventCallback

alias ofCallable[[BinaryView],None]

BinaryViewType

classBinaryViewType[source]

Bases:object

TheBinaryViewType object is used internally and should not be directly instantiated.

__init__(handle:LP_BNBinaryViewType)[source]
Parameters:

handle (LP_BNBinaryViewType) –

staticadd_binaryview_finalized_event(callback:Callable[[BinaryView],None])None[source]

add_binaryview_finalized_event adds a callback that gets executedwhen new binaryview is finalized.For more details, please refer to the documentation of BinaryViewEvent.

Warning

The callback providedmust stay in scope for the lifetime of the process, deletion or garbage collection of the callback will result in a crash.

Parameters:

callback (Callable[[BinaryView],None]) –

Return type:

None

staticadd_binaryview_initial_analysis_completion_event(callback:Callable[[BinaryView],None])None[source]

add_binaryview_initial_analysis_completion_event adds a callbackthat gets executed after the initial analysis, as well as linearsweep and signature matcher (if they are configured to run) completed.For more details, please refer to the documentation of BinaryViewEvent.

Warning

The callback providedmust stay in scope for the lifetime of the process, deletion or garbage collection of the callback will result in a crash.

Parameters:

callback (Callable[[BinaryView],None]) –

Return type:

None

create(data:BinaryView)BinaryView|None[source]
Parameters:

data (BinaryView) –

Return type:

BinaryView |None

get_arch(ident:int,endian:Endianness)Architecture|None[source]
Parameters:
Return type:

Architecture |None

get_load_settings_for_data(data:BinaryView)Settings|None[source]
Parameters:

data (BinaryView) –

Return type:

Settings |None

get_platform(ident:int,arch:Architecture)Platform|None[source]
Parameters:
Return type:

Platform |None

is_valid_for_data(data:BinaryView)bool[source]
Parameters:

data (BinaryView) –

Return type:

bool

open(src:str|PathLike,file_metadata:FileMetadata|None=None)BinaryView|None[source]
Parameters:
Return type:

BinaryView |None

parse(data:BinaryView)BinaryView|None[source]
Parameters:

data (BinaryView) –

Return type:

BinaryView |None

recognize_platform(ident,endian:Endianness,view:BinaryView,metadata)[source]
Parameters:
register_arch(ident:int,endian:Endianness,arch:Architecture)None[source]
Parameters:
Return type:

None

register_default_platform(arch:Architecture,plat:Platform)None[source]
Parameters:
Return type:

None

register_platform(ident:int,arch:Architecture,plat:Platform)None[source]
Parameters:
Return type:

None

register_platform_recognizer(ident,endian,cb)[source]
propertyis_deprecated:bool

returns if the BinaryViewType is deprecated (read-only)

propertyis_force_loadable:bool

returns if the BinaryViewType is force loadable (read-only)

propertylong_name:str

BinaryView long name (read-only)

propertyname:str

BinaryView name (read-only)

BinaryWriter

classBinaryWriter[source]

Bases:object

classBinaryWriter is a convenience class for writing binary data.

BinaryWriter can be instantiated as follows and the rest of the document will start from this context

>>>frombinaryninjaimport*>>>bv=load("/bin/ls")>>>br=BinaryReader(bv)>>>br.offset4294967296>>>bw=BinaryWriter(bv)>>>

Or using the optional endian parameter

>>>frombinaryninjaimport*>>>bv=load("/bin/ls")>>>br=BinaryReader(bv,Endianness.BigEndian)>>>bw=BinaryWriter(bv,Endianness.BigEndian)>>>
__init__(view:BinaryView,endian:Endianness|None=None,address:int|None=None)[source]
Parameters:
seek(offset:int)None[source]

seek update internal offset tooffset.

Parameters:

offset (int) – offset to set the internal offset to

Return type:

None

Example:
>>>hex(bw.offset)'0x100000008L'>>>bw.seek(0x100000000)>>>hex(bw.offset)'0x100000000L'>>>
seek_relative(offset:int)None[source]

seek_relative updates the internal offset byoffset.

Parameters:

offset (int) – offset to add to the internal offset

Return type:

None

Example:
>>>hex(bw.offset)'0x100000008L'>>>bw.seek_relative(-8)>>>hex(bw.offset)'0x100000000L'>>>
write(value:bytes,address:int|None=None,except_on_relocation=True)bool[source]

write writeslen(value) bytes to the internal offset, without regard to endianness.

Parameters:
  • bytes (str) – bytes to be written at current offset

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

  • value (bytes) –

Returns:

boolean True on success, False on failure.

Return type:

bool

Example:
>>>bw.write("AAAA")True>>>br.read(4)'AAAA'>>>
write16(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write16 writes the lowest order two bytes from the integervalue to the current offset, using internal endianness.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write16be(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write16be writes the lowest order two bytes from the big endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write16le(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write16le writes the lowest order two bytes from the little endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write32(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write32 writes the lowest order four bytes from the integervalue to the current offset, using internal endianness.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write32be(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write32be writes the lowest order four bytes from the big endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write32le(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write32le writes the lowest order four bytes from the little endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write64(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write64 writes the lowest order eight bytes from the integervalue to the current offset, using internal endianness.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write64be(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write64be writes the lowest order eight bytes from the big endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write64le(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write64le writes the lowest order eight bytes from the little endian integervalue to the current offset.

Parameters:
  • value (int) – integer value to write.

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean True on success, False on failure.

Return type:

bool

write8(value:int,address:int|None=None,except_on_relocation=True)bool[source]

write8 lowest order byte from the integervalue to the current offset.

Parameters:
  • value (str) – bytes to be written at current offset

  • address (int) – offset to set the internal offset before writing

  • except_on_relocation (bool) – (default True) raise exception when write overlaps a relocation

Returns:

boolean

Return type:

bool

Example:
>>>bw.write8(0x42)True>>>br.read(1)'B'>>>
propertyendianness:Endianness

The Endianness to written data. (read/write)

Getter:

returns the endianness of the reader

Setter:

sets the endianness of the reader (BigEndian or LittleEndian)

Type:

Endianness

propertyoffset:int

The current write offset (read/write).

Getter:

returns the current internal offset

Setter:

sets the internal offset

Type:

int

CoreDataVariable

classCoreDataVariable[source]

Bases:object

CoreDataVariable(_address: int, _type: ‘_types.Type’, _auto_discovered: bool)

__init__(_address:int,_type:Type,_auto_discovered:bool)None
Parameters:
  • _address (int) –

  • _type (Type) –

  • _auto_discovered (bool) –

Return type:

None

propertyaddress:int
propertyauto_discovered:bool
propertytype:Type

DataVariable

classDataVariable[source]

Bases:CoreDataVariable

__init__(view:BinaryView,address:int,type:Type,auto_discovered:bool)[source]
Parameters:
classmethodfrom_core_struct(var:BNDataVariable,view:BinaryView)DataVariable[source]
Parameters:
Return type:

DataVariable

propertycode_refs:Generator[ReferenceSource,None,None]

code references to this data variable (read-only)

propertycomponents:List[Component]
propertydata_refs:Generator[int,None,None]|None

data cross references to this data variable (read-only)

propertydata_refs_from:Generator[int,None,None]|None

data cross references from this data variable (read-only)

propertyname:str|None
propertysymbol:CoreSymbol|None
propertytype:Type
propertyvalue:Any

DataVariableAndName

classDataVariableAndName[source]

Bases:CoreDataVariable

__init__(addr:int,var_type:Type,var_name:str,auto_discovered:bool)None[source]
Parameters:
  • addr (int) –

  • var_type (Type) –

  • var_name (str) –

  • auto_discovered (bool) –

Return type:

None

DerivedString

classDerivedString[source]

Bases:object

Contains a string derived from code or data. The string does not need to be directly present inthe binary in its raw form. Derived strings can have optional locations to data or code. Whencreating new derived strings, a custom type should be registered withregister onCustomStringType.

__init__(value:StringRef|str|bytes|bytearray|DataBuffer,location:DerivedStringLocation|None,custom_type:CustomStringType|None)[source]
Parameters:
custom_type:CustomStringType|None
location:DerivedStringLocation|None
value:StringRef

DerivedStringLocation

classDerivedStringLocation[source]

Bases:object

Location associated with a derived string. Locations are optional.

__init__(location_type:DerivedStringLocationType,address:int,length:int)None
Parameters:
Return type:

None

address:int
length:int
location_type:DerivedStringLocationType

FunctionList

classFunctionList[source]

Bases:object

__init__(view:BinaryView)[source]
Parameters:

view (BinaryView) –

MemoryMap

classMemoryMap[source]

Bases:object

The MemoryMap object describes a system-level memory map into which a BinaryView is loaded. Each BinaryViewexposes its portion of the MemoryMap through the Segments defined within that view.

A MemoryMap can contain multiple, arbitrarily overlapping memory regions. When modified, address spacesegmentation is automatically managed. If multiple regions overlap, the most recently added region takesprecedence by default.

All MemoryMap APIs support undo and redo operations. During BinaryView::Init, these APIs should be used conditionally:

  • Initial load: Use the MemoryMap APIs to define the memory regions that compose the system.

  • Database load: Do not use the MemoryMap APIs, as the regions are already persisted and will be restored automatically.

This conditional usage prevents redundant operations and ensures database consistency. Using these APIs when loadingfrom a database will also mark the analysis as modified, which is undesirable.

Example:

>>>base=0x10000>>>rom_base=0xc0000000>>>segments=SegmentDescriptorList(base)>>>segments.append(start=base,length=0x1000,data_offset=0,data_length=0x1000,flags=SegmentFlag.SegmentReadable|SegmentFlag.SegmentExecutable)>>>segments.append(start=rom_base,length=0x1000,flags=SegmentFlag.SegmentReadable)>>>view=load(bytes.fromhex('5054ebfe'),options={'loader.imageBase':base,'loader.platform':'x86','loader.segments':json.dumps(segments)})>>>view.memory_map        <region: 0x10000 - 0x10004>                size: 0x4                objects:                        'origin<Mapped>@0x0' | Mapped<Absolute> | <r-x>        <region: 0xc0000000 - 0xc0001000>                size: 0x1000                objects:                        'origin<Mapped>@0xbfff0000' | Unmapped | <r--> | FILL<0x0>        <region: 0xc0001000 - 0xc0001014>                size: 0x14                objects:                        'origin<Mapped>@0xbfff1000' | Unmapped | <---> | FILL<0x0>>>>view.memory_map.add_memory_region("rom",rom_base,b'\x90'*4096,SegmentFlag.SegmentReadable|SegmentFlag.SegmentExecutable)True>>>view.memory_map        <region: 0x10000 - 0x10004>                size: 0x4                objects:                        'origin<Mapped>@0x0' | Mapped<Absolute> | <r-x>        <region: 0xc0000000 - 0xc0001000>                size: 0x1000                objects:                        'rom' | Mapped<Relative> | <r-x>                        'origin<Mapped>@0xbfff0000' | Unmapped | <r--> | FILL<0x0>        <region: 0xc0001000 - 0xc0001014>                size: 0x14                objects:                        'origin<Mapped>@0xbfff1000' | Unmapped | <---> | FILL<0x0>>>>view.read(rom_base,16)b'\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90'>>>view.memory_map.add_memory_region("pad",rom_base,b'\xa5'*8)True>>>view.read(rom_base,16)b'\xa5\xa5\xa5\xa5\xa5\xa5\xa5\xa5\x90\x90\x90\x90\x90\x90\x90\x90'>>>view.memory_map        <region: 0x10000 - 0x10004>                size: 0x4                objects:                        'origin<Mapped>@0x0' | Mapped<Absolute> | <r-x>        <region: 0xc0000000 - 0xc0000008>                size: 0x8                objects:                        'pad' | Mapped<Relative> | <--->                        'rom' | Mapped<Relative> | <r-x>                        'origin<Mapped>@0xbfff0000' | Unmapped | <r--> | FILL<0x0>        <region: 0xc0000008 - 0xc0001000>                size: 0xff8                objects:                        'rom' | Mapped<Relative> | <r-x>                        'origin<Mapped>@0xbfff0000' | Unmapped | <r--> | FILL<0x0>        <region: 0xc0001000 - 0xc0001014>                size: 0x14                objects:                        'origin<Mapped>@0xbfff1000' | Unmapped | <---> | FILL<0x0>
__init__(handle:BinaryView)[source]
Parameters:

handle (BinaryView) –

add_memory_region(name:str,start:int,source:PathLike|str|bytes|bytearray|BinaryView|DataBuffer|FileAccessor|None=None,flags:SegmentFlag=0,fill:int=0,length:int|None=None)bool[source]

Adds a memory region to the memory map. Depending on the source parameter, the memory region is created as one of the following types:

  • BinaryMemoryRegion (*Unimplemented*): Represents a memory region loaded from a binary format.

  • DataMemoryRegion: Region backed by flat file or raw data (str, bytes, DataBuffer).

  • RemoteMemoryRegion: Ephemeral memory region via FileAccessor.

  • UnbackedMemoryRegion: Region not backed by any data source (requireslength to be set).

Thesource parameter determines the type:

  • os.PathLike orstr: File path to be loaded into memory as aDataMemoryRegion.

  • bytes orbytearray: Directly loaded into memory as aDataMemoryRegion.

  • databuffer.DataBuffer: Loaded as aDataMemoryRegion.

  • fileaccessor.FileAccessor: Remote proxy source.

  • BinaryView: (Reserved for future).

  • None: Creates an unbacked memory region (must specifylength).

Note

If no flags are specified and the new memory region overlaps with one or more existing regions, the overlapping portions of the new region will inherit the flags of the respective underlying regions.

Parameters:

name (str): A unique name for the memory region.start (int): Starting address.source (Optional[Union[os.PathLike, str, bytes, bytearray, BinaryView, databuffer.DataBuffer, fileaccessor.FileAccessor]]): Source of data orNone for unbacked.length (Optional[int]): Required if source is None (unbacked).flags (SegmentFlag): Flags to apply to the memory region. Defaults to 0 (no flags).fill (int): Fill byte for unbacked regions. Defaults to 0.

Returns:

bool:True if the memory region was successfully added,False otherwise.

Raises:

NotImplementedError: If source type is unsupported.ValueError: If source is None and length is not specified.

Parameters:
Return type:

bool

description(base:bool=False)dict[source]
Parameters:

base (bool) –

Return type:

dict

format_description(description:dict)str[source]
Parameters:

description (dict) –

Return type:

str

get_active_memory_region_at(addr:int)str[source]
Parameters:

addr (int) –

Return type:

str

get_memory_region_display_name(name:str)str[source]
Parameters:

name (str) –

Return type:

str

get_memory_region_fill(name:str)int[source]
Parameters:

name (str) –

Return type:

int

get_memory_region_flags(name:str)set[source]
Parameters:

name (str) –

Return type:

set

is_memory_region_enabled(name:str)bool[source]
Parameters:

name (str) –

Return type:

bool

is_memory_region_local(name:str)bool[source]
Parameters:

name (str) –

Return type:

bool

is_memory_region_rebaseable(name:str)bool[source]
Parameters:

name (str) –

Return type:

bool

remove_memory_region(name:str)bool[source]
Parameters:

name (str) –

Return type:

bool

reset()[source]
set_logical_memory_map_enabled(enabled:bool)None[source]

Enable or disable the logical memory map.

When enabled, the memory map will present a simplified, logical view that merges and abstracts virtual memoryregions based on criteria such as contiguity and flag consistency. This view is designed to provide a higher-levelrepresentation for user analysis, hiding underlying mapping details.

When disabled, the memory map will revert to displaying the virtual view, which corresponds directly to the individualsegments mapped from the raw file without any merging or abstraction.

Parameters:

enabled (bool) – True to enable the logical view, False to revert to the virtual view.

Return type:

None

set_memory_region_display_name(name:str,display_name:str)bool[source]
Parameters:
  • name (str) –

  • display_name (str) –

Return type:

bool

set_memory_region_enabled(name:str,enabled:bool=True)bool[source]
Parameters:
Return type:

bool

set_memory_region_fill(name:str,fill:int)bool[source]
Parameters:
Return type:

bool

set_memory_region_flags(name:str,flags:SegmentFlag)bool[source]
Parameters:
Return type:

bool

set_memory_region_rebaseable(name:str,rebaseable:bool=True)bool[source]
Parameters:
  • name (str) –

  • rebaseable (bool) –

Return type:

bool

propertybase

Formatted string of the base memory map, consisting of unresolved auto and user segments (read-only).

propertyis_activated

Whether the memory map is activated for the associated view.

ReferenceSource

classReferenceSource[source]

Bases:object

ReferenceSource(function: Optional[ForwardRef(‘_function.Function’)], arch: Optional[ForwardRef(‘architecture.Architecture’)], address: int)

__init__(function:Function|None,arch:Architecture|None,address:int)None
Parameters:
Return type:

None

address:int
arch:Architecture|None
function:Function|None
propertyhlil:HighLevelILInstruction|None

Returns the high level il instruction at the current location if one exists

propertyhlils:Iterator[HighLevelILInstruction]

Returns the high level il instructions at the current location if any exists

propertyllil:LowLevelILInstruction|None

Returns the low level il instruction at the current location if one exists

propertyllils:Iterator[LowLevelILInstruction]

Returns the low level il instructions at the current location if any exists

propertymlil:MediumLevelILInstruction|None

Returns the medium level il instruction at the current location if one exists

propertymlils:Iterator[MediumLevelILInstruction]

Returns the medium level il instructions at the current location if any exists

Relocation

classRelocation[source]

Bases:object

__init__(handle:LP_BNRelocation)[source]
Parameters:

handle (LP_BNRelocation) –

propertyarch:Architecture|None

The architecture associated with theRelocation (read/write)

propertyinfo:RelocationInfo
propertyreloc:int

The actual pointer that needs to be relocated

propertysymbol:CoreSymbol|None
propertytarget:int

Where the reloc needs to point to

RelocationInfo

classRelocationInfo[source]

Bases:object

RelocationInfo(info: binaryninja._binaryninjacore.BNRelocationInfo)

__init__(info:BNRelocationInfo)[source]
Parameters:

info (BNRelocationInfo) –

addend:int
address:int
base:int
base_relative:bool
data_relocation:bool
external:bool
has_sign:bool
implicit_addend:bool
native_type:int
pc_relative:bool
section_index:int
size:int
symbol_index:int
target:int
truncate_size:int
type:RelocationType

Section

classSection[source]

Bases:object

TheSection object is returned during BinaryView creation and should not be directly instantiated.

__init__(handle:LP_BNSection)[source]
Parameters:

handle (LP_BNSection) –

classmethodserialize(image_base:int,name:str,start:int,length:int,semantics:SectionSemantics=SectionSemantics.DefaultSectionSemantics,type:str='',align:int=1,entry_size:int=0,link:str='',info_section:str='',info_data:int=0,auto_defined:bool=True,sections:str='[]')[source]

Serialize section parameters into a JSON string. This is useful for generating a properly formatted section description as options when usingload.

Parameters:
  • image_base (int) – The base address of the image.

  • name (str) – The name of the section.

  • start (int) – The start address of the section.

  • length (int) – The length of the section.

  • semantics (SectionSemantics) – The semantics of the section.

  • type (str) – The type of the section.

  • align (int) – The alignment of the section.

  • entry_size (int) – The entry size of the section.

  • link (str) – The linked section of the section.

  • info_section (str) – The info section of the section.

  • info_data (int) – The info data of the section.

  • auto_defined (bool) – Whether the section is auto-defined.

  • sections (str) – An optional, existing array of sections to append to.

Returns:

A JSON string representing the section.

Return type:

str

Deprecated since version 4.3.6653:UseSectionDescriptorList instead.

propertyalign:int
propertyauto_defined:bool
propertyend:int
propertyentry_size:int
propertyinfo_data:int
propertyinfo_section:str
propertylength
propertylinked_section:str
propertyname:str
propertysemantics:SectionSemantics
propertystart:int
propertytype:str

SectionDescriptorList

classSectionDescriptorList[source]

Bases:list

__init__(image_base:int)[source]

Initialize the SectionDescriptorList with a base image address.

Parameters:

image_base (int) – The base address of the image.

append(name:str,start:int,length:int,semantics:SectionSemantics=SectionSemantics.DefaultSectionSemantics,type:str='',align:int=1,entry_size:int=0,link:str='',info_section:str='',info_data:int=0,auto_defined:bool=True)[source]

Append a section descriptor to the list.

Parameters:
  • name (str) – The name of the section.

  • start (int) – The start address of the section.

  • length (int) – The length of the section.

  • semantics (SectionSemantics) – The semantics of the section.

  • type (str) – The type of the section.

  • align (int) – The alignment of the section.

  • entry_size (int) – The size of each entry in the section.

  • link (str) – An optional link field.

  • info_section (str) – An optional info_section field.

  • info_data (int) – An optional info_data field.

  • auto_defined (bool) – Whether the section is auto-defined.

Segment

classSegment[source]

Bases:object

TheSegment object is returned during BinaryView creation and should not be directly instantiated.

__init__(handle:LP_BNSegment)[source]
Parameters:

handle (LP_BNSegment) –

classmethodserialize(image_base:int,start:int,length:int,data_offset:int=0,data_length:int=0,flags:SegmentFlag=SegmentFlag.SegmentReadable,auto_defined=True,segments:str='[]')[source]

Serialize segment parameters into a JSON string. This is useful for generating a properly formatted segment description as options when usingload.

Parameters:
  • image_base (int) – The base address of the image.

  • start (int) – The start address of the segment.

  • length (int) – The length of the segment.

  • data_offset (int) – The offset of the data within the segment.

  • data_length (int) – The length of the data within the segment.

  • flags (SegmentFlag) – The flags of the segment.

  • auto_defined (bool) – Whether the segment is auto-defined.

  • segments (str) – An optional, existing array of segments to append to.

Returns:

A JSON string representing the segment.

Return type:

str

Example::
>>>base=0x400000>>>rom_base=0xffff0000>>>segments=SegmentDescriptorList(base)>>>segments.append(start=base,length=0x1000,data_offset=0,data_length=0x1000,flags=SegmentFlag.SegmentReadable|SegmentFlag.SegmentExecutable)>>>segments.append(start=rom_base,length=0x1000,flags=SegmentFlag.SegmentReadable)>>>view=load(bytes.fromhex('5054ebfe'),options={'loader.imageBase':base,'loader.platform':'x86','loader.segments':json.dumps(segments)})

Deprecated since version 4.3.6653:UseSegmentDescriptorList instead.

propertyauto_defined:bool
propertydata_end:int
propertydata_length:int
propertydata_offset:int
propertyend:int
propertyexecutable:bool
propertylength
propertyreadable:bool
propertystart:int
propertywritable:bool

SegmentDescriptorList

classSegmentDescriptorList[source]

Bases:list

__init__(image_base:int)[source]

Initialize the SegmentDescriptorList with a base image address.

Parameters:

image_base (int) – The base address of the image.

append(start:int,length:int,data_offset:int=0,data_length:int=0,flags:SegmentFlag=SegmentFlag.SegmentReadable,auto_defined:bool=True)[source]

Append a segment descriptor to the list.

Parameters:
  • start (int) – The start address of the segment.

  • length (int) – The length of the segment.

  • data_offset (int) – The offset of the data within the segment.

  • data_length (int) – The length of the data within the segment.

  • flags (SegmentFlag) – The flags of the segment.

  • auto_defined (bool) – Whether the segment is auto-defined.

StringRef

classStringRef[source]

Bases:object

Deduplicated reference to a string owned by the Binary Ninja core. Usestr orbytes to convertthis to a standard Python string or sequence of bytes.

__init__(handle)[source]

StringReference

classStringReference[source]

Bases:object

__init__(bv:BinaryView,string_type:StringType,start:int,length:int)[source]
Parameters:
propertylength:int
propertyraw:bytes
propertystart:int
propertytype:StringType
propertyvalue:str
propertyview:BinaryView

StructuredDataValue

classStructuredDataValue[source]

Bases:object

StructuredDataValue()

address:int
endian:Endianness
propertyint:int
propertystr:str
type:Type
value:bytes
propertywidth:int

SymbolMapping

classSymbolMapping[source]

Bases:Mapping

SymbolMapping object is used to improve performance of thebv.symbols API.This allows pythonic code like this to have reasonable performance characteristics

>>>my_symbols=get_my_symbols()>>>forsymbolinmy_symbols:>>>ifbv.symbols[symbol].address==0x41414141:>>>print("Found")
__init__(view:BinaryView)[source]
Parameters:

view (BinaryView) –

get(k[,d])D[k]ifkinD,elsed. ddefaultstoNone.[source]
Parameters:
Return type:

List[CoreSymbol] |None

items()aset-likeobjectprovidingaviewonD'sitems[source]
Return type:

ItemsView[str,List[CoreSymbol]]

keys()aset-likeobjectprovidingaviewonD'skeys[source]
Return type:

KeysView[str]

values()anobjectprovidingaviewonD'svalues[source]
Return type:

ValuesView[List[CoreSymbol]]

Tag

classTag[source]

Bases:object

TheTag object is created by other APIs (create_*_tag) and should not be directly instantiated.

__init__(handle:LP_BNTag)[source]
Parameters:

handle (LP_BNTag) –

propertydata:str
propertyid:str
propertytype:TagType

TagType

classTagType[source]

Bases:object

TheTagType object is created by the create_tag_type API and should not be directly instantiated.

__init__(handle:LP_BNTagType)[source]
Parameters:

handle (LP_BNTagType) –

propertyicon:str

Unicode str containing an emoji to be used as an icon

propertyid:str

Unique id of the TagType

propertyname:str

Name of the TagType

propertytype:TagTypeType

Type from enums.TagTypeType

propertyvisible:bool

Boolean for whether the tags of this type are visible

TypeMapping

classTypeMapping[source]

Bases:Mapping

TypeMapping object is used to improve performance of thebv.types API.This allows pythonic code like this to have reasonable performance characteristics

>>>my_types=get_my_types()>>>fortype_nameinmy_types:>>>ifbv.types[type_name].width==4:>>>print("Found")
__init__(view:~binaryninja.binaryview.BinaryView,get_list_fn=<functionBNGetAnalysisTypeList>)[source]
Parameters:

view (BinaryView) –

get(k[,d])D[k]ifkinD,elsed. ddefaultstoNone.[source]
items()aset-likeobjectprovidingaviewonD'sitems[source]
keys()aset-likeobjectprovidingaviewonD'skeys[source]
values()anobjectprovidingaviewonD'svalues[source]

TypedDataAccessor

classTypedDataAccessor[source]

Bases:object

TypedDataAccessor(type: ‘_types.Type’, address: int, view: ‘BinaryView’, endian: binaryninja.enums.Endianness)

__init__(type:Type,address:int,view:BinaryView,endian:Endianness)None
Parameters:
Return type:

None

as_uuid(ms_format:bool=True)UUID[source]

Converts the object to a UUID object using Microsoft byte ordering.

Parameters:

ms_format (bool) – Flag indicating whether to use Microsoft byte ordering. Default is True.

Returns:

The UUID object representing the byte array.

Return type:

UUID

Raises:

ValueError – If the byte array representation of this data is not exactly 16 bytes long.

staticbyte_order(endian)str[source]
Return type:

str

staticint_from_bytes(data:bytes,width:int,sign:bool,endian:Endianness|None=None)int[source]
Parameters:
Return type:

int

address:int
endian:Endianness
type:Type
propertyvalue:Any
view:BinaryView

TypedDataReader

TypedDataReader

alias ofTypedDataAccessor