angr.analyses.cfg.cfb

class angr.analyses.cfg.cfb.CFBlanketView

Bases: object

A view into the control-flow blanket.

__init__(cfb)
class angr.analyses.cfg.cfb.MemoryRegion

Bases: object

__init__(addr, size, type_, object_, cle_region)
class angr.analyses.cfg.cfb.Unknown

Bases: object

__init__(addr, size, bytes_=None, object_=None, segment=None, section=None)
class angr.analyses.cfg.cfb.CFBlanket

Bases: Analysis

A Control-Flow Blanket is a representation for storing all instructions, data entries, and bytes of a full program.

Region types: - section - segment - extern - tls - kernel

__init__(exclude_region_types=None, on_object_added=None)
Parameters:
  • on_object_added (Callable[[int, Any], None] | None) – Callable with parameters (addr, obj) called after an object is added to the blanket.

  • exclude_region_types (set[str] | None)

property regions

Return all memory regions.

floor_addr(addr)
floor_item(addr)
floor_items(addr=None, reverse=False)
ceiling_addr(addr)
ceiling_item(addr)
ceiling_items(addr=None, reverse=False, include_first=True)
add_obj(addr, obj)

Adds an object obj to the blanket at the specified address addr

add_function(func)

Add a function func and all blocks of this function to the blanket.

dbg_repr()

The debugging representation of this CFBlanket.

Returns:

The debugging representation of this CFBlanket.

Return type:

str