angr.analyses.cfg_slice_to_sink.transitions

Some utilitary functions to manage our representation of transitions:

A dictionary, indexed by int (source addresses), which values are list of ints (target addresses).

angr.analyses.cfg_slice_to_sink.transitions.merge_transitions(transitions, existing_transitions)

Merge two dictionaries of transitions together.

Parameters:

• transitions (Dict[int,List[int]]) – Some transitions.

• existing_transitions (Dict[int,List[int]]) – Other transitions.

Return Dict[int,List[int]]:

The merge of the two parameters.