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 function
  • deferred_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.