Class NullPointerDetection

java.lang.Object
pascal.taie.analysis.Analysis
pascal.taie.analysis.MethodAnalysis<Set<BugInstance>>
pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection

public class NullPointerDetection extends MethodAnalysis<Set<BugInstance>>
  • Field Details

  • Constructor Details

    • NullPointerDetection

      public NullPointerDetection(AnalysisConfig config)
  • Method Details

    • analyze

      public Set<BugInstance> analyze(IR ir)
      Description copied from class: MethodAnalysis
      Runs this analysis for the given IR. The result will be stored in IR. If the result is not used by following analyses, then this method should return null.
      Specified by:
      analyze in class MethodAnalysis<Set<BugInstance>>
      Parameters:
      ir - IR of the method to be analyzed
      Returns:
      the analysis result for given ir.