Class DefUseInfo
java.lang.Object
com.pnfsoftware.jeb.core.units.code.DefUseInfo
- Direct Known Subclasses:
EDefUseInfo
Def-use information object provided by instruction for data-flow analysis purposes. Can be subclassed.
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
verified defines / never nullpotential defines
may be null (non-null IFF theFLAG_INCLUDE_POTENTIALS
flag was set)
must not intersectdef
static final int
static final int
spoiled variables, i.e.verified uses / never nullpotential uses
may be null (non-null IFF theFLAG_INCLUDE_POTENTIALS
flag was set)
must not intersectuse
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
clear()
getDef()
getUse()
void
setInstructionAddress
(long addr) boolean
boolean
toString()
-
Field Details
-
FLAG_INCLUDE_POTENTIALS
public static final int FLAG_INCLUDE_POTENTIALS- See Also:
-
FLAG_INCLUDE_SPOILED
public static final int FLAG_INCLUDE_SPOILED- See Also:
-
CONSERVATIVE
public static final int CONSERVATIVE- See Also:
-
insnAddress
-
def
verified defines / never null -
use
verified uses / never null -
defpot
potential defines
may be null (non-null IFF theFLAG_INCLUDE_POTENTIALS
flag was set)
must not intersectdef
-
usepot
potential uses
may be null (non-null IFF theFLAG_INCLUDE_POTENTIALS
flag was set)
must not intersectuse
-
spoiled
spoiled variables, i.e. vars defined to unusable values a.k.a. collateral writes
may be null (non-null IFF theFLAG_INCLUDE_SPOILED
flag was set)
-
-
Constructor Details
-
DefUseInfo
public DefUseInfo() -
DefUseInfo
public DefUseInfo(int flags)
-
-
Method Details
-
getInstructionAddress
-
setInstructionAddress
public void setInstructionAddress(long addr) -
clear
public void clear() -
shouldCollectPotentials
public boolean shouldCollectPotentials() -
shouldCollectSpoiled
public boolean shouldCollectSpoiled() -
getDef
-
getUse
-
getDefinedVarIds
-
getUsedVarIds
-
getPotentiallyDefinedVarIds
-
getPotentiallyUsedVarIds
-
getSpoiledVarIds
-
toString
-