module greed.exploration_techniques.exploration_technique

class ExplorationTechnique

Base Exploration Technique

ALL THE STANDARD METHODS ARE NOT SUPPOSED TO BE CALLED MANUALLY

method check_stashes

check_stashes(simgr, stashes)

This method receives the current active stashes that can be manipulated/re-ordered/etc... MUST return the stashes.

Args:

• simgr: Simulation Manager
• stashes: All the active stashes

Returns: MUST return the stashes.

method check_state

check_state(simgr, state)

This method receives the state that we are going to generate the successors for. MUST return the state.

Args:

• simgr: Simulation Manager
• state: State that we are going to generate the successors for

Returns: MUST return the state.

method check_successors

check_successors(simgr, successors)

This method receives all the successors generated from a step of a state. MUST return the successors.

Args:

• simgr: Simulation Manager
• successors: All the successors generated from a step of a state

Returns: MUST return the filtered successors

method is_complete

is_complete(simgr)

This method indicate when the ET is done. If you just want to be done when there are no active states, just return True.

Args:

• simgr: Simulation Manager

Returns: Completion state

method setup

setup(simgr)

Any operations that needs to be done on the simulation manager before starting the exploration with this technique.

Args:

• simgr: Simulation Manager

Returns: None

This file was automatically generated via lazydocs.