angr.knowledge_plugins.bookmarks

class angr.knowledge_plugins.bookmarks.Bookmark

Bases: object

A user-marked address with an optional label.

__init__(addr, label='', created_at=None)
Parameters:
Return type:

None

addr
label
created_at
class angr.knowledge_plugins.bookmarks.Bookmarks

Bases: KnowledgeBasePlugin, list

Tracks bookmarks as a list of Bookmark, in creation order.

get_bookmark(addr)
Return type:

Bookmark | None

Parameters:

addr (int)

has_bookmark(addr)
Return type:

bool

Parameters:

addr (int)

add_bookmark(addr, label='')

Bookmark addr, or relabel the bookmark already there if label is non-empty. Returns the bookmark and whether it was newly created.

Return type:

tuple[Bookmark, bool]

Parameters:
remove_bookmark(bookmark)

Remove bookmark if present. Returns whether it was removed.

Return type:

bool

Parameters:

bookmark (Bookmark)

toggle_bookmark(addr, label='')

Add a bookmark at addr, or remove the one already there. Returns the new one, if any.

Return type:

Bookmark | None

Parameters:
sorted_bookmarks()
Return type:

list[Bookmark]

next_bookmark(after_addr)

The next bookmark by address, wrapping around.

Return type:

Bookmark | None

Parameters:

after_addr (int | None)