Package com.ibm.wala.fixpoint
-
Interface Summary Interface Description FixedPointConstants Constants used in the fixed-point solver frameworkIFixedPointSolver<T extends IVariable> Solves a set of constraintsIFixedPointStatement<T extends IVariable> 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> Represents a set ofIFixedPointStatement
s to be solved by aIFixedPointSolver
IVariable<T extends IVariable> Represents a single variable in a fixed-point iterative system. -
Class Summary Class Description AbstractOperator<T extends IVariable> 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,O extends AbstractOperator<T>> Represents a single step in an iterative solverAbstractVariable<T extends AbstractVariable> Represents a single variable in a fixed-point system.BasicUnaryStatement<T extends IVariable> 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> A variable for dataflow analysis, representing a set of integers.TrueOperator Operator U(n) = trueUnaryOperator<T extends IVariable> An operator of the form lhs = op (rhs)UnaryOr Operator U(n) = U(n) | U(j)UnaryStatement<T extends IVariable> Represents a single step, restricted to a unary operator.