public
class
DFAUtil
extends Object| java.lang.Object | |
| ↳ | com.pnfsoftware.jeb.core.units.code.asm.cfg.DFAUtil |
Class Overview
Utility routines for Data Flow Analysis objects (see IDFA and its
implementations).
Summary
| Public Constructors | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| DFAUtil() | |||||||||||
| Public Methods | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| static <T extends Number> String |
formatChain(IDFA<?> dfa, Map<Integer, Collection<T>> chain)
Format a data chain as:
(regId)={pos0, pos1, ...} ... | ||||||||||
| static <T extends Number> String | formatVars(IDFA<?> dfa, Collection<Integer> vars, boolean reorder) | ||||||||||
| static <T extends Number> String | formatVars(IDFA<?> dfa, Collection<Integer> vars) | ||||||||||
|
[Expand]
Inherited Methods | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
From class
java.lang.Object
| |||||||||||
Public Constructors
public DFAUtil ()
Public Methods
public static String formatChain (IDFA<?> dfa, Map<Integer, Collection<T>> chain)
Format a data chain as: (regId)={pos0, pos1, ...} .... The ids are naturally
ordered. Positions for each id are also naturally ordered. Consequently, performing chain
comparison using string comparison on the rendered chain is a viable solution.
Parameters
| chain | chain |
|---|
Returns
- formatted chain