angr.exploration_techniques.slicecutor¶

class angr.exploration_techniques.slicecutor.Slicecutor¶

The Slicecutor is an exploration that executes provided code slices.

__init__(annotated_cfg, force_taking_exit=False, force_sat=False)¶

All parameters except annotated_cfg are optional.

Parameters:

annotated_cfg – The AnnotatedCFG that provides the code slice.
force_taking_exit – Set to True if you want to create a successor based on our slice in case of unconstrained successors.
force_sat (bool) – If a branch specified by the slice is unsatisfiable, set this option to True if you want to force it to be satisfiable and be taken anyway.