angr.distributed.server

class angr.distributed.server.Server

Bases: object

Server implements the analysis server with a series of control interfaces exposed.

Variables:

  • project – An instance of angr.Project.

  • spill_yard (str) – A directory to store spilled states.

  • db (str) – Path of the database that stores information about spilled states.

  • max_workers (int) – Maximum number of workers. Each worker starts a new process.

  • max_states (int) – Maximum number of active states for each worker.

  • staging_max (int) – Maximum number of inactive states that are kept into memory before spilled onto the disk and potentially be picked up by another worker.

  • bucketizer (bool) – Use the Bucketizer exploration strategy.

  • _worker_exit_callback – A method that will be called upon the exit of each worker.

__init__(project, spill_yard=None, db=None, max_workers=None, max_states=10, staging_max=10, bucketizer=True, recursion_limit=1000, worker_exit_callback=None, techniques=None, add_options=None, remove_options=None)
inc_active_workers()
dec_active_workers()
stop()
property active_workers
property stopped
on_worker_exit(worker_id, stashes)
run()