Add a symbol for the address. This function is useful when we can obtain extra symbol information from outside of B2R2.

The base address of this binary at which this binary is prefered to be loaded in memory.

The corresponding binary reader.

The entry point of this binary (the start address that this binary runs at). Note that some binaries (e.g., PE DLL files) do not have a specific entry point, and EntryPoint will return None in such a case.

An exception table, which is a mapping from a function address to a set of landing pads. The landing pads are mappings from a range of instruction addresses to a landing pad address.

The format of this file: ELF, PE, Mach-O, or etc.

The file path where this file is located.

What kind of binary is this?

Return a list of all the dynamic symbols from the binary. Dynamic symbols are the ones that are required to run the binary. The "excludeImported" argument indicates whether to exclude external symbols that are imported from other files. However, even if "excludeImported" is true, returned symbols may include a forwarding entry that redirects to another function in an external file (cf. SymbolKind.ForwardType). When "excludeImported" argument is not given, this function will simply return all possible dynamic symbols.

Get a sequence of executable sections including linkage table code sections such as PLT.

Returns a sequence of local function addresses (excluding external functions) from a given FileInfo. If the argument is true, then this funciton utilizes exception information of the binary to infer function entries. Note that the inference process is not necessarily precise, so this is really just an experimental feature, and will be removed in the future.

Returns a sequence of local function addresses (excluding external functions) from a given FileInfo. This function only considers addresses that are certain.

Returns a sequence of local function symbols (excluding external functions) from a given FileInfo.

Return a list of all the linkage table entries from the binary.

Given a range r, return a list of address ranges (intervals) that are within r, and that are not in-file.

Return a list of all relocation symbols from the binary.

Return a section that has the specified name.

Return a section that contains the given address.

Return a list of all the sections from the binary.

For a given permission, return a list of segments that satisfy the permission. For a given "READ-only" permission, this function may return a segment whose permission is "READABLE and WRITABLE", as an instance.

Return a list of the segments from the binary, which contain the given address.

Return a list of segments from the binary. If the isLoadable parameter is true, it will only return a list of "loadable" segments. Otherwise, it will return all possible segments. By default, this function returns only loadable segments, e.g., PT_LOAD segment of ELF.

Return a list of all the static symbols from the binary. Static symbols can be removed when we strip the binary. Unlike dynamic symbols, static symbols are not required to run the binary, thus they can be safely removed before releasing it.

Return a list of all the symbols from the binary.

Return a sequence text sections.

The ISA that this file expects to run on.

Check if the given address is executable address for this binary. We say a given address is executable if the address is within an executable section.

Check if the given address is valid and there is an actual mapping from the binary file to the corresponding memory. Unlike IsValidAddr, this function checks if we can decide the actual value of the given address from the binary. For example, a program header of an ELF file may contain 100 bytes in size, but when it is mapped to a segment in memory, the size of the segment can be larger than the size of the program header. This function checks if the given address is in the range of the segment that has a direct mapping to the file's program header.

Check if the given address range is valid and there exists a corresponding region in the actual binary file. This function returns true only if the whole range of the addressess are valid (for every address in the range, IsInFileAddr should return true).

Return if a given address is an address of a linkage table entry.

Is NX enabled for this binary? (DEP enabled or not)

Is this binary relocatable (position-independent)?

Is this binary stripped?

Check if the given address is valid for this binary. We say a given address is valid for the binary if the address is within the range of statically computable segment ranges.

Check if the given address range is valid. This function returns true only if the whole range of the addressess are valid (for every address in the range, IsValidAddr should return true).

The beginning of the text section of this binary.

Convert the section of the name (string) into a binary pointer, which can exclusively point to binary contents of the section.

Convert the section at the address (Addr) into a binary pointer, which can exclusively point to binary contents of the section.

Translate a virtual address into a relative offset to this binary.

Find the symbol name for a given address.

Word size of the CPU that this binary can run on.

Convert from entrypoint information to string.

Convert FileType to string.

Convert from permission to string.