angr.knowledge_plugins.labels

class angr.knowledge_plugins.labels.Labels

Bases: KnowledgeBasePlugin

__init__(kb)

items()

get(addr, default=None)

Get a label as string for a given address Same as .labels[x]

lookup(name, default=None)

Returns an address to a given label To show all available labels, iterate over .labels or list(b.kb.labels)

copy()

get_unique_label(label)

Get a unique label name from the given label name.

Parameters:

label (str) – The desired label name.

Returns:

A unique label name.