angr.exploration_techniques.memory_watcher¶

class angr.exploration_techniques.memory_watcher.MemoryWatcher¶

Memory Watcher

Parameters:

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.