docs: @Override
      public ConstantDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
          MethodGen methodGen = getMethodGen(analysisCache, descriptor);
          if (methodGen == null) {
              return null;
          }
          ConstantAnalysis analysis = new ConstantAnalysis(methodGen, getDepthFirstSearch(analysisCache, descriptor));
          ConstantDataflow dataflow = new ConstantDataflow(getCFG(analysisCache, descriptor), analysis);
          dataflow.execute();
  
          return dataflow;
      }