Class ConditionNormalizer

java.lang.Object
com.ibm.wala.analysis.arraybounds.ConditionNormalizer

public class ConditionNormalizer extends Object
ConditionNormalizer normalizes a branch condition. See Constructor for more information.
Author:
Stephan Gocht <stephan@gobro.de>
  • Constructor Details

    • ConditionNormalizer

      public ConditionNormalizer(SSAConditionalBranchInstruction cnd, int lhs, boolean branchIsTaken)
      Creates a normalization of cnd such that lhs op rhs is true.

      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

      Parameters:
      cnd - condition to normalize
      lhs - variable, that should be on the left hand side
      branchIsTaken - if the condition is for the branching case or not
  • Method Details