public class ConditionNormalizer
extends java.lang.Object
| Constructor and Description |
|---|
ConditionNormalizer(SSAConditionalBranchInstruction cnd,
int lhs,
boolean branchIsTaken)
Creates a normalization of cnd such that lhs op rhs is true.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getLhs() |
com.ibm.wala.shrikeBT.IConditionalBranchInstruction.Operator |
getOp() |
int |
getRhs() |
public ConditionNormalizer(SSAConditionalBranchInstruction cnd, int lhs, boolean branchIsTaken)
Normalization means, that the given variable lhs, will be on the left hand side of the comparison, also if the branch is not taken, the operation needs to be negated.
p.a. the condition is !(rhs >= lhs), it will be normalized to lhs > rhs
cnd - condition to normalizelhs - variable, that should be on the left hand sidebranchIsTaken - if the condition is for the branching case or not