angr.distributed.worker

class angr.distributed.worker.BadStatesDropper

Bases: ExplorationTechnique

Dumps and drops states that are not “active”.

__init__(vault, db)

class angr.distributed.worker.ExplorationStatusNotifier

Bases: ExplorationTechnique

Force the exploration to stop if the server.stop is True.

__init__(server_state)

Parameters:

server_state (dict)

class angr.distributed.worker.Worker

Bases: object

Worker implements a worker thread/process for conducting a task.

__init__(worker_id, server, server_state, recursion_limit=None, techniques=None, add_options=None, remove_options=None)

start()

run(initializer)

Parameters:

initializer (Initializer)