Class NullnessAnalysis

All Implemented Interfaces:
Analysis<NullnessValue,NullnessStore,NullnessTransfer>, ForwardAnalysis<NullnessValue,NullnessStore,NullnessTransfer>

public class NullnessAnalysis extends CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>
The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.