Package com.ibm.wala.analysis.arraybounds
package com.ibm.wala.analysis.arraybounds
-
ClassDescriptionSome thoughts about implementation details, not mentioned in [1]:The array out of bounds analysis uses the inequality graph as described in [1].Normalizes a binary operation with a constant by providing direct access to assigned = other op constant.ConditionNormalizer normalizes a branch condition.