module greed.exploration_techniques.simgrviz


class SimgrViz

This Exploration technique implements visualizes and dumps the simulation manager progress. The .dot output file will be logged during _dump_graph.

method __init__

__init__()

method check_stashes

check_stashes(simgr, stashes)

method check_state

check_state(simgr, state)

method check_successors

check_successors(simgr, successors)

method setup

setup(simgr)

This file was automatically generated via lazydocs.