whitesymex.strategies.random module¶

class whitesymex.strategies.random.Random(path_group: PathGroup, find: Callable[[State], bool], avoid: Callable[[State], bool], loop_limit: Optional[int], num_find: int = 1)¶

Bases: whitesymex.strategies.strategy.Strategy

select_states()¶

Selects states to be executed in the next iteration.

This function is supposed to be implemented in subclasses.

Returns: A list of states to be executed.