Class CFAnalysis

All Implemented Interfaces:
Analysis<CFValue,CFStore,CFTransfer>, ForwardAnalysis<CFValue,CFStore,CFTransfer>
Direct Known Subclasses:
CalledMethodsAnalysis

public class CFAnalysis extends CFAbstractAnalysis<CFValue,CFStore,CFTransfer>
The default org.checkerframework.dataflow analysis used in the Checker Framework.