module greed.exploration_techniques.prioritizer
class Prioritizer
This Exploration technique implements a DFS with prioritization of states. The prioritization is done by a scoring function that is applied to each state. For instance, the scoring function can be the distance (in basic blocks) from a target statement.
Args:
scoring_function
: the scoring functiondeferred_stash
: the name of the stash where deferred states are put
method __init__
__init__(scoring_function, deferred_stash='deferred')
method check_stashes
check_stashes(simgr, stashes, stash='active')
method is_complete
is_complete(simgr, stash='active')
method setup
setup(simgr)
This file was automatically generated via lazydocs.