Source code for angr.exploration_techniques.memory_watcher
from.importExplorationTechniqueimportpsutil
[docs]classMemoryWatcher(ExplorationTechnique):"""Memory Watcher Args: min_memory (int,optional): Minimum amount of free memory in MB before stopping execution (default: 95% memory use) memory_stash (str, optional): What to call the low memory stash (default: 'lowmem') At each step, keep an eye on how much memory is left on the system. Stash off states to effectively stop execution if we're below a given threshold. """