angr.exploration_techniques.threading

class angr.exploration_techniques.threading.Threading

Bases: ExplorationTechnique

Enable multithreading.

This is only useful in paths where a lot of time is taken inside z3, doing constraint solving. This is because of python’s GIL, which says that only one thread at a time may be executing python code.

__init__(threads=8, local_stash='thread_local')

inner_step(state, simgr, **kwargs)