Package com.ibm.wala.fixpoint
-
Interface Summary Interface Description FixedPointConstants Constants used in the fixed-point solver frameworkIFixedPointSolver<T extends IVariable<T>> Solves a set of constraintsIFixedPointStatement<T extends IVariable<T>> The general form of a statement definition in an iterative solver is: x >= term, where term can be any complex expression whose free variables are among the IVariables of the constraint system thisIFixedPointStatement
is part of (x represents the left-hand side of the constraint).IFixedPointSystem<T extends IVariable<T>> Represents a set ofIFixedPointStatement
s to be solved by aIFixedPointSolver
IVariable<T extends IVariable<T>> Represents a single variable in a fixed-point iterative system. -
Class Summary Class Description AbstractOperator<T extends IVariable<T>> operator for a step in an iterative solver This is an abstract class and not an interface in order to force subclasses to re-implement equals(), hashCode(), and toString()AbstractStatement<T extends IVariable<T>,O extends AbstractOperator<T>> Represents a single step in an iterative solverAbstractVariable<T extends AbstractVariable<T>> Represents a single variable in a fixed-point system.BasicUnaryStatement<T extends IVariable<T>> An implementation of UnaryStatement that carries its operator explicitlyBitVectorVariable A bit vector variable for dataflow analysis.BooleanVariable A boolean variable for dataflow analysis.IntSetVariable<T extends IntSetVariable<T>> A variable for dataflow analysis, representing a set of integers.TrueOperator Operator U(n) = trueUnaryOperator<T extends IVariable<T>> An operator of the form lhs = op (rhs)UnaryOr Operator U(n) = U(n) | U(j)UnaryStatement<T extends IVariable<T>> Represents a single step, restricted to a unary operator.