docs: @Override
      public NonExceptionPostdominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
              throws CheckedAnalysisException {
          CFG cfg = getCFG(analysisCache, descriptor);
          ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);
          NonExceptionPostdominatorsAnalysis analysis = new NonExceptionPostdominatorsAnalysis(cfg, rdfs, getDepthFirstSearch(
                  analysisCache, descriptor));
          Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<>(cfg,
                  analysis);
          dataflow.execute();
          return analysis;
      }