public class

DFAUtil

extends Object
java.lang.Object
   ↳ com.pnfsoftware.jeb.core.units.code.DFAUtil

Class Overview

Utility routines for Data Flow Analysis objects (see IDFA and its implementation DFA4).

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

public static String formatVars (IDFA<?> dfa, Collection<Integer> vars, boolean reorder)

public static String formatVars (IDFA<?> dfa, Collection<Integer> vars)