*/
@Override
public IsNullValueDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
MethodGen methodGen = getMethodGen(analysisCache, descriptor);
if (methodGen == null) {
throw new MethodUnprofitableException(descriptor);
}
CFG cfg = getCFG(analysisCache, descriptor);
ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
AssertionMethods assertionMethods = getAssertionMethods(analysisCache, descriptor.getClassDescriptor());